Sciweavers

5830 search results - page 310 / 1166
» Automatic link generation
Sort
View
ICST
2009
IEEE
15 years 4 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
ICML
2004
IEEE
16 years 7 months ago
Generative modeling for continuous non-linearly embedded visual inference
Many difficult visual perception problems, like 3D human motion estimation, can be formulated in terms of inference using complex generative models, defined over high-dimensional ...
Cristian Sminchisescu, Allan D. Jepson
3DIM
1999
IEEE
15 years 11 months ago
Appearance-Based Virtual View Generation of Temporally-Varying Events from Multi-Camera Images in the 3D Room
In this paper, we present an "appearance-based" virtual view generation method for temporally-varying events taken by multiple cameras of the "3D Room", develo...
Hideo Saito, Shigeyuki Baba, Makoto Kimura, Sundar...
JMM2
2008
67views more  JMM2 2008»
15 years 6 months ago
Interactive Face Generation from Verbal Description Using Conceptual Fuzzy Sets
In this article, a human centered approach for interactive face generation is presented. The users of the system are given the possibility to interactively generate faces from verb...
Hafida Benhidour, Takehisa Onisawa
JSS
2007
169views more  JSS 2007»
15 years 6 months ago
MDABench: Customized benchmark generation using MDA
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
Liming Zhu, Ngoc Bao Bui, Yan Liu, Ian Gorton