6020 search results - page 649 / 1204 » A New Approach to Model Counting |
188
click to vote
SIGCSE
2004
ACM
16 years 26 days ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
192
click to vote
ICRA
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper describes a fast technique for modifying motion sequences for complex articulated mechanisms in a way that preserves physical properties of the motion. This technique i...
180
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
- This paper presents a new aged timing simulation methodology that can be used for hot-carrier reliability assurance of VLSI. This methodology consists of a compact model and a un...
189
click to vote
BMVC
2002
15 years 9 months ago
2002
Recently, there have been several attempts at creating `video textures', that is, synthesising new (potentially infinitely long) video clips based on existing ones. One way t...
202
click to vote
ACMICEC
2008
ACM
15 years 9 months ago
2008
ACM
Service Science, Management, and Engineering (SSME) is a research area with significant relevance to research and practice. Networked systems of web services are a field of servic...