9931 search results - page 272 / 1987 » Generative Modeling by PRISM |
190
click to vote
GLVLSI
2009
IEEE
15 years 2 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
123
click to vote
TCAD
2010
14 years 11 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
157
Voted
COGSR
2011
14 years 12 months ago
2011
In verb/noun generation experiments, participants have to produce a word associated with a stimulus (usually a noun) and belonging to a given syntactic category (“verb” or “...
137
click to vote
IVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The ability to generate narrative is of importance to computer systems that wish to use story effectively for entertainment, training, or education. One of the focuses of...
156
click to vote
PCM
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents a fast and robust sprite generation algorithm for MPEG-4 video coding. Our contributions consist of two aspects. Firstly, a fast and robust Global Motion Estima...