5622 search results - page 410 / 1125 » Solving architectural modelling problems using knowledge |
194
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper presents a novel solution for flow-based tracking and 3D reconstruction of deforming objects in monocular image sequences. A non-rigid 3D object undergoing rotation and...
201
click to vote
MTV
2003
IEEE
16 years 3 days ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
151
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...
247
click to vote
CCE
2008
15 years 7 months ago
2008
Deterministic optimization approaches have been well developed and widely used in the process industry to accomplish off-line and on-line process optimization. The challenging tas...
162
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of high performance of VIA, the previous MPI implementati...