1011 search results - page 146 / 203 » The three dimensions of proofs |
160
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract This paper examines the behavior of current and next generation microprocessors' fetch engines while running Decision Support Systems (DSS) workloads. We analyze the ...
157
click to vote
CHI
1995
ACM
15 years 9 months ago
1995
ACM
Pre-screen projection is a new interaction technique that allows a user to pan and zoom integrally through a scene simply by moving his or her head relative to the screen. The und...
185
click to vote
VISSYM
2007
15 years 8 months ago
2007
Many authors in the field of 3D human computer interaction have described the advantages of 3D user interfaces: Intuitive metaphors from daily life, immersive workspaces, virtual ...
157
click to vote
VISSYM
2007
15 years 8 months ago
2007
Flow vector fields contain a wealth of information that needs to be visualized. As an extension of the well-known streamline technique, we have developed a context-based method fo...
155
click to vote
EXACT
2008
15 years 8 months ago
2008
Abstract. Explanation and argumentation are fundamental to reasoning. They are therefore of some importance to artificial intelligence. Discourse-based reasoning (DBR) is a knowled...