950 search results - page 63 / 190 » Pin-pointing concept descriptions |
141
click to vote
MICS
2010
15 years 2 months ago
2010
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...
138
click to vote
NOTERE
2010
15 years 2 months ago
2010
Abstract—We review the issues with the conception of realtime event based applications and propose an event manager component design. We start from the design proposed by the Rea...
140
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
204
click to vote
FLAIRS
2009
15 years 2 months ago
2009
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...
126
click to vote
FOMI
2009
15 years 2 months ago
2009
Ontologies are widely used in the biomedical community, which has built standard reference ontologies for various aspects of medicine. These projects have produced broad descriptio...