912 search results - page 12 / 183 » Abstract Saturation-Based Inference |
TACS
1997
Springer
14 years 1 months ago
1997
Springer
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
SAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...