3863 search results - page 641 / 773 » Function in Device Representation |
145
click to vote
SSD
2007
Springer
15 years 11 months ago
2007
Springer
In many modern applications such as biometric identification systems, sensor networks, medical imaging, geology, and multimedia databases, the data objects are not described exact...
135
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
149
click to vote
3DPVT
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a high performance reconstruction approach, which generates true 3D models from multiple views with known camera parameters. The complete pipeline from depth map genera...
128
click to vote
ACSC
2006
IEEE
15 years 11 months ago
2006
IEEE
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...
179
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
— Geometric shape modeling becomes increasingly complex and resource-demanding task. In this paper we propose a method to leverage the power of Grid to provide users with high-pr...