Sciweavers

1645 search results - page 264 / 329
» Conceptual modelling: Knowledge acquisition and model abstra...
Sort
View
BIRTHDAY
2005
Springer
16 years 12 days ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler
CCIA
2005
Springer
16 years 12 days ago
On Warranted Inference in Possibilistic Defeasible Logic Programming
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
Carlos Iván Chesñevar, Guillermo Ric...
143
Voted
IPSN
2005
Springer
16 years 11 days ago
Fading observation alignment via feedback
Abstract— In some remote sensing applications, the functional relationship between the source being observed and the sensor readings may not be known. Because of communication co...
Anand D. Sarwate, Michael Gastpar
KIVS
2005
Springer
16 years 11 days ago
An Integrated Simulator for Inter-Domain Scenarios
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
Matthias Scheidegger, Florian Baumgartner, Torsten...
KI
2004
Springer
16 years 7 days ago
Shape-Based Robot Mapping
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
Diedrich Wolter, Longin Jan Latecki, Rolf Lakä...