27274 search results - page 5359 / 5455 » A framework for framework documentation |
147
Voted
AMAI
1999
Springer
15 years 10 days ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
IJPP
2002
15 years 10 days ago
2002
This paper presents a compilation framework that allows executable code to be shared across different Java Virtual Machine (JVM) instances. All fully compliant JVMs that target se...
108
Voted
IJRR
2002
15 years 10 days ago
2002
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...
106
click to vote
IJRR
2002
15 years 10 days ago
2002
This paper presents two object manipulation planning methods based on fitted stratified and semi-stratified approaches using finger relocations. The problem is discussed in the fr...
123
click to vote
CACM
1999
15 years 10 days ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...