6201 search results - page 1072 / 1241 » Implementation of Axiomatic Language |
154
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...
166
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
239
click to vote
EATIS
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...
164
click to vote
AAAI
2008
15 years 8 months ago
2008
To-do lists have been found to be the most popular personal information management tools, yet there is no automated system to interpret and act upon them when appropriate on behal...
177
click to vote
AAAI
2007
15 years 8 months ago
2007
A major challenge in robotics and artificial intelligence lies in creating robots that are to cooperate with people in human-populated environments, e.g. for domestic assistance ...