3690 search results - page 555 / 738 » Computation with classical sequents |
150
Voted
ICDAR
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes the development of a new document ranking system based on layout similarity. The user has a need represented by a set of ”wanted” documents, and the syste...
150
click to vote
ICNP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we analyze the problem of network disconnection in the context of large-scale P2P networks and understand how both static and dynamic patterns of node failure affec...
130
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper presents a visual attention mechanism for the acquisition of landmarks in an arbitrary scene. The proposed mechanism consists of two consecutive selection stages. Th...
112
Voted
ISIPTA
2005
IEEE
15 years 11 months ago
2005
IEEE
We study the recently discovered phenomenon [1] of existence of comparative probability orderings on finite sets that violate Fishburn hypothesis [2, 3] — we call such ordering...
204
click to vote
ISWC
2005
IEEE
2005
IEEE
Using Ultrasonic Hand Tracking to Augment Motion Analysis Based Recognition of Manipulative Gestures
15 years 11 months ago
The paper demonstrates how ultrasonic hand tracking can be used to improve the performance of a wearable, accelerometer and gyroscope based activity recognition system. Specifica...