4902 search results - page 848 / 981 » Structures, Semantics and Statistics |
157
click to vote
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...
155
Voted
MDM
2004
Springer
15 years 9 months ago
2004
Springer
The greater sophistication and availability of mobile computing devices is enabling the application of computing to new tasks and applications to be experienced in a wide range of...
133
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
133
click to vote
OTM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ï¬...
151
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...