1786 search results - page 95 / 358 » Domain Independent Generative Modeling |
156
click to vote
FMSD
2007
15 years 2 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
102
Voted
SWAP
2008
15 years 4 months ago
2008
Editing metadata for documents in a large collection is a long and menial task. Many metadata schemas exist, among which, of course, Dublin Core, and they are usually only partiall...
132
Voted
ISMS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
133
Voted
DCC
2011
IEEE
14 years 9 months ago
2011
IEEE
The compressed-sensing recovery of video sequences driven by multihypothesis predictions is considered. Specifically, multihypothesis predictions of the current frame are used to...
95
Voted
AIED
2007
Springer
15 years 8 months ago
2007
Springer
Evaluation is an integral part of research that provides a true measure of effectiveness. This paper presents a study conducted to evaluate the effectiveness of CAS, a knowledge ac...