3663 search results - page 299 / 733 » Problems in the ontology of computer programs |
149
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
175
Voted
SAC
2006
ACM
16 years 20 days ago
2006
ACM
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
188
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
186
click to vote
CRV
2006
IEEE
16 years 23 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...
180
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...