1672 search results - page 181 / 335 » Interactive Mathematical Documents |
138
click to vote
LREC
2008
15 years 6 months ago
2008
We have performed a set of experiments made to investigate the utility of morphological analysis to improve retrieval of documents written in languages with relatively large morph...
125
click to vote
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
Previews and overviews of large, heterogeneous information resources help users comprehend the scope of collections and focus on particular subsets of interest. For narrative docu...
117
click to vote
SOSYM
2002
15 years 4 months ago
2002
Abstract. The paper motivates and describes a model oriented approach for consistent specification of interface suites in UML. An interface suite is a coherent collection of interf...
158
click to vote
VIS
2007
IEEE
16 years 5 months ago
2007
IEEE
Just as we can work with two-dimensional floor plans to communicate 3D architectural design, we can exploit reduced-dimension shadows to manipulate the higher-dimensional objects ...
164
click to vote
JACM
2002
15 years 4 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...