881 search results - page 150 / 177 » Specification and Design Considerations for Reliable Embedde... |
122
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
To date, efforts have been made to enable visually impaired people to gain access to graphics on the Internet. However, these studies only offer a solution for a specific type of ...
128
Voted
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe a new theoretical framework for robot-aided training of arm movements. This framework is based on recent studies of motor adaptation in human subjects and on general c...
164
Voted
IJCAT
2010
15 years 2 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
126
Voted
SENSYS
2006
ACM
15 years 9 months ago
2006
ACM
Most sensor network research and software design has been guided by an architectural principle that permits multi-node data fusion on small-form-factor, resource-poor nodes, or mo...
280
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....