2794 search results - page 454 / 559 » A New Architecture for Automated Modelling |
173
click to vote
LPNMR
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
157
click to vote
RTSS
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
169
click to vote
TIME
2008
IEEE
16 years 22 days ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
161
click to vote
VL
2008
IEEE
16 years 22 days ago
2008
IEEE
When faced with the need for documentation, examples, bug fixes, error descriptions, code snippets, workarounds, templates, patterns, or advice, software developers frequently tu...
203
click to vote
ADBIS
2008
Springer
16 years 21 days ago
2008
Springer
Abstract. We propose a new approach for enhancing collaborative information retrieval by means of incorporating positional data for a location-aware personalized retrieval process....