1867 search results - page 244 / 374 » Understanding visual behaviour |
102
click to vote
APSEC
2000
IEEE
15 years 7 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
114
click to vote
UIST
1999
ACM
15 years 7 months ago
1999
ACM
Cascading Style Sheets have recently been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints prov...
110
click to vote
VRST
1999
ACM
15 years 7 months ago
1999
ACM
Inhabited Television takes traditional broadcast television and combines it with multiuser virtual reality, to give new possibilities for interaction and participation in and arou...
114
click to vote
ROBOCUP
1999
Springer
15 years 7 months ago
1999
Springer
This paper describes the Agilo RoboCuppers 1 – the RoboCup team of the image understanding group (FG BV) at the Technische Universit¨at M¨unchen. With a team of five Pioneer 1...
120
click to vote
ICFEM
1998
Springer
15 years 7 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...