1077 search results - page 125 / 216 » Management of Evolving Specifications using Category Theory |
HRI
2007
ACM
14 years 1 months ago
2007
ACM
We present RoCo, the first robotic computer designed with the ability to move its monitor in subtly expressive ways that respond to and encourage its user's own postural move...
CASES
2006
ACM
14 years 27 days ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
GECCO
2006
Springer
14 years 25 days ago
2006
Springer
Though recent analysis of traditional cooperative coevolutionary algorithms (CCEAs) casts doubt on their suitability for static optimization tasks, our experience is that the algo...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
KDD
2006
ACM
14 years 9 months ago
2006
ACM
Ordering and ranking items of different types are important tasks in various applications, such as query processing and scientific data mining. A total order for the items can be ...