3040 search results - page 260 / 608 » Independent Natural Extension |
176
click to vote
LPNMR
2004
Springer
16 years 5 days ago
2004
Springer
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
218
click to vote
SPATIALCOGNITION
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
174
click to vote
ECBS
2003
IEEE
16 years 3 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
163
click to vote
FDL
2003
IEEE
16 years 3 days ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
178
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
Mesh partitioning is an important problem that has extensive applications in many areas. Multilevel algorithms are a successful class of optimization techniques which addresses th...