1264 search results - page 203 / 253 » The framework approach for constraint satisfaction |
143
click to vote
ASPDAC
2006
ACM
16 years 8 days ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
179
click to vote
ICSOC
2005
Springer
15 years 11 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
159
click to vote
ISER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes the implementation of a decentralized architecture for autonomous teams of aerial and ground vehicles engaged in active perception. We provide a theo...
203
click to vote
3DIM
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a new approach to high quality 3D object reconstruction. Starting from a calibrated sequence of color images, the algorithm is able to reconstruct both t...
181
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...