Sciweavers

541 search results - page 61 / 109
» A modular approach to build structured event-based systems
Sort
View
AI
2000
Springer
14 years 9 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza
ICMCS
2007
IEEE
187views Multimedia» more  ICMCS 2007»
15 years 4 months ago
Knowledge-Assisted Medical Image Retrieval
In this paper, we present a knowledge-assisted approach to index and retrieve large volume of medical images. Both images and associated texts are indexed using medical concepts f...
Joo-Hwee Lim, Caroline Lacoste, Jean-Pierre Cheval...
UML
2005
Springer
15 years 3 months ago
Modeling Aspect-Oriented Compositions
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad
POPL
2012
ACM
13 years 5 months ago
Programming with binders and indexed data-types
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
Andrew Cave, Brigitte Pientka
VLDB
1987
ACM
92views Database» more  VLDB 1987»
15 years 1 months ago
Mind Your Grammar: a New Approach to Modelling Text
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...
Gaston H. Gonnet, Frank Wm. Tompa