Sciweavers

1672 search results - page 60 / 335
» Interactive Mathematical Documents
Sort
View
112
Voted
ICDAR
2009
IEEE
15 years 10 months ago
Recognition of On-Line Handwritten Commutative Diagrams
We present a method for the recognition of on-line handwritten commutative diagrams. Diagrams are formed with arrows that join relatively simple mathematical expressions. Diagram ...
Andreas Stoffel, Ernesto Tapia, Raúl Rojas
167
Voted
INTERACT
2003
15 years 5 months ago
A Granular Approach to Web Search Result Presentation
: In this paper we propose and evaluate interfaces for presenting the results of web searches. Sentences, taken from the top retrieved documents, are used as fine-grained represent...
Ryen W. White
123
Voted
HRI
2006
ACM
15 years 9 months ago
A video game-based framework for analyzing human-robot interaction: characterizing interface design in real-time interactive mul
There is growing interest in mining the world of video games to find inspiration for human-robot interaction (HRI) design. This paper segments video game interaction into domain-i...
Justin Richer, Jill L. Drury
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 5 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
JCPHY
2011
79views more  JCPHY 2011»
14 years 6 months ago
Stochastic Eulerian Lagrangian methods for fluid-structure interactions with thermal fluctuations
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
Paul J. Atzberger