1645 search results - page 264 / 329 » Conceptual modelling: Knowledge acquisition and model abstra... |
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
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...
CCIA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
IPSN
2005
Springer
15 years 3 months ago
2005
Springer
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...
KIVS
2005
Springer
15 years 3 months ago
2005
Springer
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...
KI
2004
Springer
15 years 3 months ago
2004
Springer
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...