4752 search results - page 748 / 951 » From computation models to models of provenance: the RWS app... |
129
Voted
ECSQARU
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
122
click to vote
IBPRIA
2005
Springer
15 years 7 months ago
2005
Springer
Computer Vision can provide a great deal of assistance to Intelligent Vehicles. In this paper an Advanced Driver Assistance Systems for Vehicle Detection is presented. A geometric ...
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
This paper overviews and analyses the on-going research attempts to apply language technologies to automatic ontology acquisition. At first glance there are many successful approac...
121
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
105
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...