5856 search results - page 761 / 1172 » Developing Query Patterns |
135
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
111
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Externalities occur among agglomerated firms. Scale externalities occur between firms in an industry with similar activities. Scope externalities occur when heterogeneous activiti...
ICRA
2007
IEEE
2007
IEEE
Compact Tactile Display for Fingertips with Multiple Vibrotactile Actuator and Thermoelectric Module
15 years 10 months ago
—In this paper, a compact tactile display which consists of multiple vibrotactile actuators with 4-different vibrotactile unbalanced masses and a peltier thermoelectric module is...
116
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
—This research focuses on development of a haptic system to create controlled air flow acting on a user in the Treadport virtual environment. The Treadport Active Wind Tunnel (TP...
149
Voted
IPC
2007
IEEE
15 years 10 months ago
2007
IEEE
Current context-aware adaptation techniques are limited in their support for user personalisation. Complex codebases, a reliance on developer modification and an inability to auto...