8731 search results - page 1591 / 1747 » Interaction design in the wild |
223
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
165
click to vote
AIEDU
2007
15 years 7 months ago
2007
Opening a model of the learner is a potentially complex operation. There are many aspects of the learner that can be modelled, and many of these aspects may need to be opened in di...
174
click to vote
AROBOTS
2008
15 years 7 months ago
2008
Assistive technology is an emerging area, where robotic devices can help individuals with motor disabilities to achieve independence in daily activities. This paper deals with a sy...
181
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
227
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...