9931 search results - page 136 / 1987 » Generative Modeling by PRISM |
123
click to vote
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
123
click to vote
TAP
2007
Springer
15 years 9 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
136
Voted
SARA
2007
Springer
15 years 9 months ago
2007
Springer
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
125
Voted
PCM
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we propose a system generating free-viewpoint video using multiple cameras and a PC-cluster in real-time. Our system firstly reconstructs a shape model of objects b...
106
click to vote
ACL
2008
15 years 4 months ago
2008
In this paper, we present a study of a novel summarization problem, i.e., summarizing the impact of a scientific publication. Given a paper and its citation context, we study how ...