Sciweavers

3545 search results - page 433 / 709
» Computational methods for case-cohort studies
Sort
View
CADE
2006
Springer
16 years 7 months ago
Automatic Construction and Verification of Isotopy Invariants
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
Volker Sorge, Andreas Meier, Roy L. McCasland, Sim...
SIGMOD
2008
ACM
150views Database» more  SIGMOD 2008»
16 years 6 months ago
Ranking queries on uncertain data: a probabilistic threshold approach
Uncertain data is inherent in a few important applications such as environmental surveillance and mobile object tracking. Top-k queries (also known as ranking queries) are often n...
Ming Hua, Jian Pei, Wenjie Zhang, Xuemin Lin
SDM
2009
SIAM
118views Data Mining» more  SDM 2009»
16 years 3 months ago
Finding Links and Initiators: A Graph-Reconstruction Problem.
Consider a 0–1 observation matrix M, where rows correspond to entities and columns correspond to signals; a value of 1 (or 0) in cell (i, j) of M indicates that signal j has bee...
Evimaria Terzi, Heikki Mannila
IUI
2009
ACM
16 years 3 months ago
Parakeet: a continuous speech recognition system for mobile touch-screen devices
We present Parakeet, a system for continuous speech recognition on mobile touch-screen devices. The design of Parakeet was guided by computational experiments and validated by a u...
Keith Vertanen, Per Ola Kristensson
HRI
2009
ACM
16 years 1 months ago
Visual attention in spoken human-robot interaction
Psycholinguistic studies of situated language processing have revealed that gaze in the visual environment is tightly coupled with both spoken language comprehension and productio...
Maria Staudte, Matthew W. Crocker