Sciweavers

6248 search results - page 875 / 1250
» Programming in a data factory
Sort
View
182
Voted
KI
2007
Springer
16 years 26 days ago
Training on the Job - Collecting Experience with Hierarchical Hybrid Automata
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...
Alexandra Kirsch, Michael Beetz
SAS
2007
Springer
103views Formal Methods» more  SAS 2007»
16 years 25 days ago
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...
SEKE
2007
Springer
16 years 25 days ago
Incremental Effort Prediction Models in Agile Development using Radial Basis Functions
One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
Raimund Moser, Witold Pedrycz, Giancarlo Succi
169
Voted
SEMWEB
2007
Springer
16 years 25 days ago
Logical Foundations of (e)RDF(S): Complexity and Reasoning
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
Jos de Bruijn, Stijn Heymans
168
Voted
SGAI
2007
Springer
16 years 25 days ago
Learning Sets of Sub-Models for Spatio-Temporal Prediction
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...
Andrew Bennett, Derek R. Magee