Sciweavers

3545 search results - page 324 / 709
» Computational methods for case-cohort studies
Sort
View
178
Voted
IWVF
2001
Springer
15 years 11 months ago
Qualitative Estimation of Depth in Monocular Vision
Abstract. In this paper we propose two techniques to qualitatively estimate distance in monocular vision. Two kinds of approaches are described, the former based on texture analysi...
Virginio Cantoni, Luca Lombardi, Marco Porta, Ugo ...
SSD
2001
Springer
112views Database» more  SSD 2001»
15 years 11 months ago
K-Nearest Neighbor Search for Moving Query Point
Abstract. This paper addresses the problem of finding k nearest neighbors for moving query point (we call it k-NNMP). It is an important issue in both mobile computing research an...
Zhexuan Song, Nick Roussopoulos
NDSS
2000
IEEE
15 years 11 months ago
Analysis of a Fair Exchange Protocol
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
Vitaly Shmatikov, John C. Mitchell
CHI
1999
ACM
15 years 11 months ago
Inferring Intent in Eye-Based Interfaces: Tracing Eye Movements with Process Models
While current eye-based interfaces offer enormous potential for efficient human-computer interaction, they also manifest the difficulty of inferring intent from user eye movements...
Dario D. Salvucci
ICPP
1999
IEEE
15 years 11 months ago
Efficient Techniques for Distributed Implementation of Search-Based AI Systems
We study the problem of exploiting parallelism from search-based AI systems on distributed machines. We propose stack-splitting, a technique for implementing orparallelism, which ...
Gopal Gupta, Enrico Pontelli