1511 search results - page 113 / 303 » Relational Parametricity for Computational Effects |
126
click to vote
HAPTICS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a method for building analytical contact models for soft fingers. Friction constraints are derived based on general expressions for non-planar contacts of ela...
119
click to vote
ASSETS
2006
ACM
15 years 10 months ago
2006
ACM
The current state of software which targets older adults’ ability to use computers focuses on physical issues while largely ignoring the cognitive issues. As a larger percentage...
136
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
132
click to vote
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
115
click to vote
GCC
2005
Springer
15 years 10 months ago
2005
Springer
Soft-device is a promising infrastructure of next-generation distributed system. Soft-devices are configurable and adaptive software virtual mechanism, providing services to each o...