2448 search results - page 274 / 490 » The Octahedron Abstract Domain |
147
click to vote
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
142
click to vote
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The contents of the case knowledge container is critical to the performance of case-based classification systems. However the knowledge engineer is given little support i...
117
click to vote
FINTAL
2006
15 years 8 months ago
2006
Abstract. Studies of different term extractors on a corpus of the biomedical domain revealed decreasing performances when applied to highly technical texts. Facing the difficulty o...
131
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
131
click to vote
FQAS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...