4584 search results - page 245 / 917 » interact 2007 |
189
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
178
click to vote
ICAT
2007
IEEE
15 years 10 months ago
2007
IEEE
In the field of computer aided surgery, augmented reality (AR) technology has been successfully used for enhancing accuracy of surgery and making surgeons convenient by visually a...
182
click to vote
AAAI
2007
15 years 9 months ago
2007
A major challenge in robotics and artificial intelligence lies in creating robots that are to cooperate with people in human-populated environments, e.g. for domestic assistance ...
172
click to vote
ICIA
2007
15 years 9 months ago
2007
The CALO desktop assistant aims to provide assistance through many AI technologies, including several techniques for learning to perform tasks. Based on our experiences implementi...
180
click to vote
ICIA
2007
15 years 9 months ago
2007
As computer systems continue to grow in power and access more networked content and services, we believe there will be an increasing need to provide more user-centric systems that...