6740 search results - page 1180 / 1348 » An s -Hamiltonian Line Graph Problem |
151
click to vote
ISWC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents and evaluates a set of pictorial depth cues for far-field outdoor mobile augmented reality (AR). We examine the problem of accurately placing virtual annotatio...
142
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
148
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
In this article we describe stress nets, a technique for exploring 2D tensor fields. Our method allows a user to examine simultaneously the tensors' eigenvectors (both major ...
131
click to vote
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
The vision of semantic interoperability, the fluid sharing of digitalized knowledge, has led much research on ontology/schema mapping/aligning. Although this line of research is f...
151
Voted
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
This paper is concerned with automatic extraction of titles from the bodies of HTML documents. Titles of HTML documents should be correctly defined in the title fields; however, i...