Sciweavers

243 search results - page 21 / 49
» Introducing Rigor in Concept Maps
Sort
View
PODS
2009
ACM
86views Database» more  PODS 2009»
14 years 8 months ago
Reverse data exchange: coping with nulls
An inverse of a schema mapping M is intended to "undo" what M does, thus providing a way to perform "reverse" data exchange. In recent years, three different f...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...
DATE
2006
IEEE
202views Hardware» more  DATE 2006»
14 years 1 months ago
Automatic systemC design configuration for a faster evaluation of different partitioning alternatives
In this paper we present a methodology that is based on SystemC [1] for rapid prototyping to greatly enhance and accelerate the exploration of complex systems to optimize the syst...
Nico Bannow, Karsten Haug, Wolfgang Rosenstiel
IJRR
2002
175views more  IJRR 2002»
13 years 7 months ago
Navigation Strategies for Exploring Indoor Environments
This paper investigates safe and efficient map-building strategies for a mobile robot with imperfect control and sensing. In the implementation, a robot equipped with a range sens...
Héctor H. González-Baños, Jea...
COMPGEOM
1999
ACM
13 years 12 months ago
The Video "Geodesics and Waves"
The video Geodesics and Waves introduces the concepts of straightest geodesics and geodesic flow on polyhedral surfaces. It is the third in a series of videos presenting research ...
Konrad Polthier, Markus Schmies, Martin Steffens, ...
33
Voted
ICLP
2007
Springer
13 years 11 months ago
Computing Fuzzy Answer Sets Using dlvhex
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
Davy Van Nieuwenborgh, Martine De Cock, Dirk Verme...