922 search results - page 31 / 185 » Engineering a complex ontology with time |
151
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
134
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
201
click to vote
FOSSACS
2011
Springer
14 years 9 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
192
click to vote
ADAEUROPE
2006
Springer
16 years 4 days ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
176
click to vote
MMAS
2004
Springer
15 years 11 months ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...