1534 search results - page 100 / 307 » Error Reporting Logic |
122
click to vote
ICLP
1992
Springer
15 years 8 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
179
click to vote
AMAI
1999
Springer
15 years 3 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
134
click to vote
PR
2006
15 years 3 months ago
2006
Video temporal segmentation is normally the first and important step for content-based video applications. Many features including the pixel difference, colour histogram, motion, ...
FPGA
1997
ACM
15 years 8 months ago
1997
ACM
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...
106
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...