1578 search results - page 93 / 316 » Induction of Stable Models |
120
Voted
IJFCS
2006
15 years 2 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...
114
Voted
ECCV
2010
Springer
15 years 7 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...
174
Voted
ICTAI
2008
IEEE
15 years 9 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...
128
Voted
ISCAS
2003
IEEE
15 years 8 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...
127
Voted
ISI
2003
Springer
15 years 8 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...