4814 search results - page 595 / 963 » Combining abstract interpreters |
196
click to vote
IWVF
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. In this paper we propose two techniques to qualitatively estimate distance in monocular vision. Two kinds of approaches are described, the former based on texture analysi...
211
click to vote
PADO
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
177
click to vote
PCI
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. Extensive research has been carried out in search for an efcient atomic commit protocol and many optimizations have been suggested to improve the basic two-phase commit p...
172
click to vote
ROBOCUP
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. This paper describes a highly modular hierarchical behaviorbased control system for robots. Key features of the architecture include: easy addition/removal of behaviors, ...
210
click to vote
UML
2001
Springer
16 years 3 days ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...