Sciweavers

3856 search results - page 379 / 772
» Models for Automated Earthmoving
Sort
View
WWW
2004
ACM
16 years 7 months ago
A Lightweight Approach to Semantic Tagging
Semantic Annotation is a challenging research direction in the area of Semantic Web. Turning the web into a Semantic Web implies widespread semantic annotation of documents. But i...
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Joh...
CADE
2003
Springer
16 years 7 months ago
Proving Pointer Programs in Higher-Order Logic
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
Farhad Mehta, Tobias Nipkow
GIS
2009
ACM
16 years 1 months ago
Towards a probabilistic time geography
Time geography uses space-time volumes to represent the possible locations of a mobile agent over time in a x-y-t space. Space-time volumes are qualitative statements, enabling qu...
Stephan Winter
ILP
2007
Springer
16 years 29 days ago
Beyond Prediction: Directions for Probabilistic and Relational Learning
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...
David D. Jensen
ILP
2007
Springer
16 years 29 days ago
Using Bayesian Networks to Direct Stochastic Search in Inductive Logic Programming
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
Louis Oliphant, Jude W. Shavlik