6608 search results - page 1268 / 1322 » On the Completeness of Model Checking |
132
Voted
EUROGRAPHICS
2010
Eurographics
16 years 19 days ago
2010
Eurographics
We present a new technique to implement operators that modify the topology of polygonal meshes at intersections and self-intersections. Depending on the modification strategy, th...
140
Voted
EUROGRAPHICS
2010
Eurographics
16 years 19 days ago
2010
Eurographics
This paper presents a novel interactive approach for adding depth information into hand-drawn cartoon images and animations. In comparison to previous depth assignment techniques ...
105
Voted
ALT
2005
Springer
16 years 15 days ago
2005
Springer
We consider a variant of Gold’s learning paradigm where a learner receives as input n different languages (in form of one text where all input languages are interleaved). Our g...
133
click to vote
ICCD
2008
IEEE
16 years 15 days ago
2008
IEEE
— Extreme scaling practices in silicon technology are quickly leading to integrated circuit components with limited reliability, where phenomena such as early-transistor failures...
128
Voted
SOSP
2005
ACM
16 years 13 days ago
2005
ACM
Commodity file systems trust disks to either work or fail completely, yet modern disks exhibit more complex failure modes. We suggest a new fail-partial failure model for disks, ...