Sciweavers

2586 search results - page 420 / 518
» Automatic Abstraction for Congruences
Sort
View
ICPR
2010
IEEE
15 years 2 days ago
Concensus of Self-features for Nonverbal Behavior Analysis
Abstract. One of the key challenge in social behavior analysis is to automatically discover the subset of features relevant to a specific social signal (e.g., backchannel feedback...
Derya Ozkan, Louis-Philippe Morency
HASE
2008
IEEE
15 years 1 days ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
AEI
2010
115views more  AEI 2010»
15 years 22 hour ago
BRAHMS: Novel middleware for integrated systems computation
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
Benjamin Mitchinson, Tak-Shing Chan, Jonathan M. C...
APIN
2008
305views more  APIN 2008»
15 years 17 hour ago
A generalized model for financial time series representation and prediction
Abstract Traditional financial analysis systems utilize lowlevel price data as their analytical basis. For example, a decision-making system for stock predictions regards raw price...
Depei Bao
BC
2008
208views more  BC 2008»
15 years 13 hour ago
Through a barn owl's eyes: interactions between scene content and visual attention
Abstract In this study we set to investigate visual attention properties of freely behaving barn owls using a miniature wireless camera attached to their heads. The tubular eye str...
Shay Ohayon, Wolf Harmening, Hermann Wagner, Ehud ...