1381 search results - page 152 / 277 » Computational Complexity of Constraint Satisfaction |
138
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
133
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
175
click to vote
MIG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Despite the large success of games grounded on movement-based interactions the current state of full body motion capture technologies still prevents the exploitation of p...
143
Voted
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
142
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Recovering the 3D shape of deformable surfaces from single images is difficult because many different shapes have very similar projections. This is commonly addressed by restricti...