2780 search results - page 513 / 556 » Generalizing by Removing Detail |
165
click to vote
HIM
1997
Springer
15 years 10 months ago
1997
Springer
The project DIANE is an EU-funded project in the ACTS Program and started in September 1995. The goal of DIANE is to establish a service, which enables an user to annotate anythin...
193
click to vote
ZUM
1997
Springer
15 years 10 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
230
click to vote
DISCO
1993
15 years 10 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
146
click to vote
IUI
1993
ACM
15 years 10 months ago
1993
ACM
We discuss current approaches to the development of natural language dialogue systems, and claim that they do not sufficiently consider the unique qualities of man-machine intera...
154
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
Several common systems satisfy some but not all of the VR definition above. Flight simulators provide vehicle tracking, not head tracking, and do not generally operate in binocular...