1716 search results - page 120 / 344 » Generating models for temporal representations |
138
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Expresso is an experiment management system that is designed to assist biologists in planning, executing, and interpreting microarray experiments. It serves as a unifying framewor...
167
click to vote
ACL
2012
13 years 8 months ago
2012
Temporal reasoners for document understanding typically assume that a document’s creation date is known. Algorithms to ground relative time expressions and order events often re...
218
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
179
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
215
click to vote
CVPR
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we propose a generative model for representing complex motion, such as wavy river, dancing fire and dangling cloth. Our generative method consists of four component...