3856 search results - page 446 / 772 » Models for Automated Earthmoving |
157
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
187
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
192
click to vote
PPSWR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
191
click to vote
PPSWR
2005
Springer
16 years 6 days ago
2005
Springer
The current architecture for the Semantic Web, with its emphasis on RDF syntactic and semantic compatability, has severe problems when expressive Semantic Web languages are incorpo...
158
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...