2501 search results - page 97 / 501 » Obligations and Their Interaction with Programs |
FCT
2007
Springer
14 years 23 days ago
2007
Springer
Abstract. In recent years we have witnessed the proliferation of semidefinite programming bounds in combinatorial optimization [1,5,8], quantum computing [9,2,3,6,4,16] and even in...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
HUC
2004
Springer
14 years 2 months ago
2004
Springer
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...
CHI
2005
ACM
13 years 10 months ago
2005
ACM
The Restricted Focus Viewer (RFV) relates a small part of an otherwise blurred display to the focus of visual attention. A user controls which part of the screen is in focus by us...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...