895 search results - page 153 / 179 » A Spectrum of Applications of Automated Reasoning |
214
Voted
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
192
click to vote
ILP
2005
Springer
16 years 1 months ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...
194
click to vote
CSL
2004
Springer
16 years 27 days ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
175
Voted
CSL
2004
Springer
16 years 27 days ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
171
click to vote
EWCBR
2004
Springer
16 years 26 days ago
2004
Springer
Model-based object recognition is a well-known task in Computer Vision. Usually, one object that can be generalized by a model should be detected in an image based on this model. B...