Sciweavers

1070 search results - page 214 / 214
» Type Classes with Functional Dependencies
Sort
View
IANDC
2007
152views more  IANDC 2007»
13 years 5 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
PAMI
2000
142views more  PAMI 2000»
13 years 5 months ago
Evolutionary Pursuit and Its Application to Face Recognition
Abstract-- This paper introduces Evolutionary Pursuit (EP) as a novel and adaptive representation method for image encoding and classification. In analogy to projection pursuit met...
Chengjun Liu, Harry Wechsler
PAMI
2007
186views more  PAMI 2007»
13 years 4 months ago
Value-Directed Human Behavior Analysis from Video Using Partially Observable Markov Decision Processes
—This paper presents a method for learning decision theoretic models of human behaviors from video data. Our system learns relationships between the movements of a person, the co...
Jesse Hoey, James J. Little
CIVR
2006
Springer
131views Image Analysis» more  CIVR 2006»
13 years 9 months ago
Exploring the Synergy of Humans and Machines in Extreme Video Retrieval
We introduce an interface for efficient video search that exploits the human ability to quickly scan visual content, after automatic retrieval has arrange the images in expected or...
Alexander G. Hauptmann, Wei-Hao Lin, Rong Yan, Jun...
BMCBI
2007
113views more  BMCBI 2007»
13 years 5 months ago
miRAS: a data processing system for miRNA expression profiling study
Background: The study of microRNAs (miRNAs) is attracting great considerations. Recent studies revealed that miRNAs play as important regulators of gene expression and some even a...
Feng Tian, Huayue Zhang, Xinyu Zhang, Chi Song, Yo...