7167 search results - page 775 / 1434 » Answer Set Programming |
165
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— We discuss a software environment for multirobot, multi-platform mobile robot control and simulation. Like others, we have observed that mobile robotics research is gre...
160
Voted
SCAM
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
170
click to vote
TPHOL
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
169
click to vote
CICLING
2003
Springer
16 years 1 days ago
2003
Springer
Finite-state processing is typically based on structures that allow for efficient indexing and sequential search. However, this “rigid” framework has several disadvantages when...
172
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensiv...