2364 search results - page 106 / 473 » An Engine for Computing Well-Founded Models |
140
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
140
Voted
CHI
2008
ACM
15 years 6 months ago
2008
ACM
In recent years, the software engineering community has begun to study program navigation and tools to support it. Some of these navigation tools are very useful, but they lack a ...
132
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
131
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work, we present some examples of applications of the so-called Rao-Blackwellised Particle Filter (RBPF). RBPFs are an extension to Particle Filters (PFs) which are applic...
140
Voted
WCCE
2001
15 years 5 months ago
2001
: The University of the United Arab Emirates (UAEU) commissioned an international panel of experts to devise a model curriculum for their new College of Information Technology. The...