5130 search results - page 847 / 1026 » Constraint Query Languages |
130
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
128
click to vote
TBILLC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. It is a well-known fact that only factive propositional attitude predicates are felicitous with wh- (indirect question) complements. It has also been noted that so-called...
145
click to vote
WOSS
2004
ACM
15 years 11 months ago
2004
ACM
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...
163
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
Embedded digital signal processors for baseband communication systems have stringent design constraints including high computational bandwidth, low power consumption, and low inter...
157
click to vote
3DIM
2003
IEEE
15 years 11 months ago
2003
IEEE
In this contribution we firstly review some approaches to recover the 3D shape of human figures and the related movements. Then we present an improved and reliable version of an e...