Sciweavers

1827 search results - page 190 / 366
» Automatic thesaurus construction
Sort
View
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 4 months ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...
ESWA
2006
243views more  ESWA 2006»
15 years 4 months ago
Knowledge based crime scenario modelling
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
Jeroen Keppens, Burkhard Schafer
JVCA
2006
87views more  JVCA 2006»
15 years 4 months ago
Tour into the picture with water surface reflection and object movements
Given a still picture, tour into the picture (TIP) generates a walk-through animation of a 3D scene constructed from the picture. In this paper, we generalize TIP to deal with wat...
Jinho Park, Nambin Heo, Sunghee Choi, Sung Yong Sh...
MTA
2006
218views more  MTA 2006»
15 years 4 months ago
Object-based MPEG-2 video indexing and retrieval in a collaborative environment
In this paper, an object-based video retrieval methodology for search in large, heterogeneous video collections is presented. The proposed approach employs a real-time, compressed-...
Vasileios Mezaris, Ioannis Kompatsiaris, Michael G...
JCP
2007
214views more  JCP 2007»
15 years 4 months ago
Reconstruction of 3D Human Facial Images Using Partial Differential Equations
—One of the challenging problems in geometric modeling and computer graphics is the construction of realistic human facial geometry. Such geometry are essential for a wide range ...
Eyad Elyan, Hassan Ugail