Sciweavers

4790 search results - page 841 / 958
» Reverse Query Processing
Sort
View
AB
2007
Springer
15 years 8 months ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
134
Voted
CLEF
2007
Springer
15 years 8 months ago
Priberam's Question Answering System in QA@CLEF 2007
This paper accounts for Priberam's participation in the monolingual question answering (QA) track of CLEF 2007. In previous participations, Priberam’s QA system obtained en...
Carlos Amaral, Adán Cassan, Helena Figueira...
MODELS
2007
Springer
15 years 8 months ago
Finding the Pattern You Need: The Design Pattern Intent Ontology
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
Holger Kampffmeyer, Steffen Zschaler
PPDP
2007
Springer
15 years 8 months ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
PSIVT
2007
Springer
245views Multimedia» more  PSIVT 2007»
15 years 8 months ago
Grayscale Template-Matching Invariant to Rotation, Scale, Translation, Brightness and Contrast
In this paper, we consider the grayscale template-matching problem, invariant to rotation, scale, translation, brightness and contrast, without previous operations that discard gra...
Hae Yong Kim, Sidnei Alves de Araújo