Thomas Thüm - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged rule-based

Type Checking Annotation-Based Product LinesChristian Kästner, Sven Apel, Thomas Thüm, Gunter Saake. ACM Transactions on Software Engineering and Methodology, 21(3):1-39, jul 2012.

Family-Based Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Sven Apel, Martin Hentschel. In International Conference on Generative Programming and Component Engineering. 2012: 11-20

A Machine-Checked Proof for a Product-Line-Aware Type SystemThomas Thüm. Master's thesis, University of Magdeburg, Germany, January 2010.

SLM-based PAPR reduction method using partial data circulation and side information insertion in OFDM systemsJyh-Horng Wen, Shu-Hong Lee, Chu-Hsuan Cheng. ijcomsys, 22(1):87-100, 2009. [doi]

EventScript: an event-processing language based on regular expressions with actionsNorman H. Cohen, Karl Trygve Kalleberg. lctrts 2008: 111-120 [doi]

Wavelet-Based Speech Enhancement Using Time-Adapted Noise EstimationSheau-Fang Lei, Ying-Kai Tung. ieicet, 91-A(9):2555-2563, 2008. [doi]

2 dB Better Than CP-OFDM with OFDM/OQAM for Preamble-Based Channel EstimationChrislin Lele, Pierre Siohan, Rodophe Legouable. icc 2008: 1302-1306 [doi]

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007Arnd Poetzsch-Heffter, editor, ACM, 2007.

20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 20-22 June 2007, Maribor, SloveniaIEEE Computer Society, 2007.

GA-Based Iris/Sclera Boundary Detection for Biometric Iris IdentificationTatiana Tambouratzis, Michael Masouris. icannga 2007: 457-466 [doi]

Document Retrieval by Projection Based Frequency DistributionIsamu Shioya, Hirohito Oh uchi, Takao Miura. ijait, 16(4):647-659, 2007. [doi]

Numerical Time-Series Pattern Extraction Based on Irregular Piecewise Aggregate Approximation and Gradient SpecificationMiho Ohsaki, Hidenao Abe, Takahira Yamaguchi. ngc, 25(3):213-222, 2007. [doi]

Discontinuity in Organizations: Developing a Knowledge-Based Organizational Performance Model for Discontinuous MembershipR. Ibrahim, M. Nissen. ijkm, 3(1):10-28, 2007. [doi]

SOM-based estimation of climatic profilesTatiana Tambouratzis. ijis, 21(5):503-522, 2006. [doi]

A Parallel Solution to the HIP Game Based on Genetic AlgorithmsTatiana Tambouratzis. seal 2006: 672-679 [doi]

Advanced Video and Signal Based Surveillance, 2006 IEEE International Conference on Video and Signal Based Surveillance (AVSS 06), 22-24 November 2006, Sydney, AustraliaIEEE Computer Society, 2006.

Flexible Organic Field-Effect Transistors Based on the Composites with the Same Thiophene Backbone by Wet ProcessHirotake Kajii, Hiroshi Okuya, Shohei Fukuda, Akinori Sakakibara, Yutaka Ohmori. ieicet, 89-C(12):1779-1780, 2006. [doi]

18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 23-24 June 2005, Dublin, IrelandIEEE Computer Society, 2005.

12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USAIEEE Computer Society, 2005.

A polar-plane-based method for natural illumination of plants and treesMaria J. Vicent, Vicente Rosell, Roberto Vivó. cg, 29(2):203-208, 2005. [doi]

The T-detectors maturation algorithm based on match range modelDongyong Yang, Jungan Chen. SAC 2005: 43-44 [doi]

17th IEEE Symposium on Computer-Based Medical Systems (CBMS 2004), 24-25 June 2004, Bethesda, MD, USAIEEE Computer Society, 2004.

Fast correspondence-based system for shape retrieval, Boaz J. Super. prl, 25(2):217-225, 2004. [doi]

Package-Based Software DevelopmentMerijn de Jonge. euromicro 2003: 76-85 [doi]

2003 IEEE Conference on Advanced Video and Signal Based Surveillance (AVSS 2003), 21-22 July 2003, Miami, FL, USAIEEE Computer Society, 2003.

COTS-Based Software Systems, First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, ProceedingsJohn C. Dean, Andrée Gravel, editors, Volume 2255 of Lecture Notes in Computer Science, Springer, 2002.

Towards sketch-based exploration of terrainP.-L. Lesage, Mahes Visvalingam. cg, 26(2):309-328, 2002. [doi]

Fast and Accurate Phylogeny Reconstruction Algorithms Based on the Minimum-Evolution PrincipleRichard Desper, Olivier Gascuel. jcb, 9(5):687-706, 2002.

Pulling it all Together with WIT: A Tool for Integrating Web-based InformationW. David Reese, Dennis Heimbigner, Alexander L. Wolf. wiiw 2001: 58-65

Multiscale color invariants based on the human visual systemJuliana F. Camapum Wanderley, Mark H. Fisher. TIP, 10(11):1630-1638, 2001. [doi]

Ask Smartypants: A Web-based tool to help busy educators keep up with research about new and emerging technologiesTammy McGraw, Krista Burdette, Chris Corallo. webnet 2001: 133-134

The Clipper Project: Designing Effective Web-based Courses for Pre-Baccalaureate StudentsTammy Chapman, Stephen Bronack, James DiPerna. webnet 2001: 174

The Impact of Culture in Designing Web-Based SystemsJantawan Noiwan, Thawatchai Piyawat, Anthony F. Norcio. webnet 2001: 913-918

Conceptual Interactive Learning Tools Based on Computer SimulatorsDamjan Zazula, Bogdan Viher, Dean Korosec, Enis Avdicausevic, Mitja Lenic, Bozidar Potocnik. informaticaSI, 23(3), 1999.

Shape-based word recognitionA. Lawrence Spitz. ijdar, 1(4):178-190, 1999. [doi]

An Efficient Implementation of Distance-Based Diversity Measures Based on k-d TreesDimitris K. Agrafiotis, Victor S. Lobanov. jcisd, 39(1):51-58, 1999. [doi]

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental StudyFrançois Noël, Luke Hornof, Charles Consel, Julia L. Lawall. iccl 1998: 132-142 [doi]

An Association-Based Method for Automatic Indexing with a Controlled VocabularyChristian Plaunt, Barbara A. Norgard. jasis, 49(10):888-902, 1998.

Index-Based HyperlinksJohn H. Hartman, Todd A. Proebsting, Rajesh Sundaram. cn, 29(8-13):1129-1135, 1997. [doi]

Method for Evaluation of Stemming Algorithms Based on Error CountingChris D. Paice. jasis, 47(8):632-649, 1996.

An OCR based on character shape codes and lexical informationA. Lawrence Spitz. icdar 1995: 723-728 [doi]

A Trace Based Performance Evaluation Tool for Parallel Real Time SystemsRolf Borgeest, Bernward Dimke, Olav Hansen. pc, 21(4):551-564, 1995.

D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc ProjectRobert Neches. ai, 61(1):65-79, 1993.

Subject and citation indexing, Part II: The optimal, cluster-based retrieval performance of composite representationsWilliam M. Shaw Jr.. jasis, 42(9):676-684, 1991.

Mixin-based InheritanceGilad Bracha, William R. Cook. OOPSLA 1990: 303-311

Estimation of the publication potential in 50 U.S. states and in the District of Columbia based on the frequency distribution of scientific productivityAndrés Schubert, Andrés Telcs. jasis, 40(4):291-297, 1989.

Knowledge-Based Tools to Promote Shared Goals and Terminology Between Interface DesignersRobert Neches. tois, 6(3):215-231, 1988. [doi]

A robust method for picture segmentation based on a split-and-merge procedureFusak Cheevasuvit, Henri Maître, Daniel Vidal-Madjar. cvgip, 34(3):268-281, 1986. [doi]

Representing Quantitative and Qualitative Knowledge in a Knowledge-Based Storm-Forecasting SystemRenee Elio, Johannes de Haan. ijmms, 25(5):523-547, 1986.

Consistent-Labeling Problems and Their Algorithms: Expected-Complexities and Theory-Based HeuristicsBernard Nudel. ai, 21(1-2):135-178, 1983.

runs on WebDSL