1798 search results - page 307 / 360 » Considerations for the design of exergames |
CAV
2000
Springer
15 years 3 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
103
click to vote
RECOMB
2000
Springer
15 years 3 months ago
2000
Springer
In physical mapping, one orders a set of genetic landmarks or a library of cloned fragments of DNA according to their position in the genome. Our approach to physical mapping divi...
121
click to vote
ICCAD
1997
IEEE
15 years 3 months ago
1997
IEEE
The relentless push for high performance in custom digital circuits has led to renewed emphasis on circuit optimization or tuning. The parameters of the optimization are typically...
102
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We present mechanisms, architectures, and an implementation addressing challenges with mobile opportunistic commerce centering on markets and mechanisms that support the procureme...
154
click to vote
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
Memory subsystems have been considered as one of the most critical components in embedded systems and furthermore, displaying increasing complexity as application requirements div...