3663 search results - page 225 / 733 » Problems in the ontology of computer programs |
165
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ...
176
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
169
click to vote
IWPC
1997
IEEE
15 years 10 months ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
200
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...
215
click to vote
MP
2011
15 years 1 months ago
2011
Lifting is a procedure for deriving valid inequalities for mixed-integer sets from valid inequalities for suitable restrictions of those sets. Lifting has been shown to be very e...