1329 search results - page 243 / 266 » Constraint-based model synthesis |
106
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
109
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
Parallel prefix adder is the most flexible and widely-used binary adder for ASIC designs. Many high-level synthesis techniques have been developed to find optimal prefix structures...
127
Voted
ICMCS
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a multi-camera system for audio-visual analysis of dance figures. The multi-view video of a dancing actor is acquired using 8 synchronized cameras. The motion capture t...
148
Voted
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
113
click to vote
CODES
2004
IEEE
15 years 5 months ago
2004
IEEE
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...