5675 search results - page 243 / 1135 » Formalising Performative Interaction |
163
click to vote
ERLANG
2007
ACM
15 years 9 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...
150
click to vote
ICAT
2007
IEEE
15 years 9 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...
169
click to vote
BIBE
2004
IEEE
15 years 9 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
143
click to vote
CIVR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper investigates the applicability of Informedia shot-based interface features for video retrieval in the hands of novice users, noted in past work as being too re...
130
click to vote
KBSE
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper describes an effort to provide automated support for the interactive inquiry and explanation process that is at the heart of software understanding. A hypermedia tool c...