1578 search results - page 93 / 316 » Induction of Stable Models |
IJFCS
2006
13 years 10 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Planar patches are a very compact and stable intermediate representation of 3D scenes, as they are a good starting point for a complete automatic reconstruction of surfac...
ICTAI
2008
IEEE
14 years 4 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract— The design of robust and area efficient power distribution networks for high speed, high complexity integrated circuits has become a challenging task. The integrity of...
ISI
2003
Springer
14 years 3 months ago
2003
Springer
Criminals have been using the Internet to distribute a wide range of illegal materials globally in an anonymous manner, making criminal identity tracing difficult in the cybercrime...