1672 search results - page 26 / 335 » Interactive Mathematical Documents |
113
click to vote
ISVC
2007
Springer
15 years 8 months ago
2007
Springer
We present a novel multi-modal haptic interface for sketching and exploring the structure and properties of mathematical knots. Our interface derives from the familiar pencil-and-p...
134
click to vote
RTSS
2003
IEEE
15 years 7 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
126
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Sponsored search mechanisms have drawn much attention from both academic community and industry in recent years since the seminal papers of [3] and [4]. However, most of the exist...
103
click to vote
MKM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
128
click to vote
TREC
2000
15 years 3 months ago
2000
We compared two different interfaces to the InQuery IR system with respect to their support for the TREC-9 Interactive Track Question-Answering task. One interface presented searc...