7167 search results - page 771 / 1434 » Answer Set Programming |
159
Voted
SAS
2007
Springer
16 years 29 days ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
160
click to vote
TACAS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
147
Voted
ASAP
2006
IEEE
16 years 27 days ago
2006
IEEE
This work proposes a new architecture and execution model called 2D-VLIW. This architecture adopts an execution model based on large pieces of computation running over a matrix of...
189
Voted
CRV
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
171
click to vote
ICALT
2006
IEEE
16 years 27 days ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. An agency app...