1317 search results - page 154 / 264 » Fusions of Description Logics and Abstract Description Syste... |
174
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
178
click to vote
CSLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the basis of Property Grammars, a fully constraintbased theory. In this approach, all kinds of linguistic information is represented by means of const...
176
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
118
click to vote
SCALESPACE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The behaviour of critical points of Gaussian scale-space images is mainly described by their creation and annihilation. In existing literature these events are determined...
156
click to vote
ESSOS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...