Sciweavers

182 search results - page 23 / 37
» Statistical behavioral modeling and characterization of A D ...
Sort
View
CVPR
2001
IEEE
16 years 1 months ago
Event-Based Analysis of Video
Dynamic events can be regarded as long-term temporal objects, which are characterized by spatio-temporal features at multiple temporal scales. Based on this, we design a simple st...
Lihi Zelnik-Manor, Michal Irani
89
Voted
NIPS
2008
15 years 1 months ago
Optimal Response Initiation: Why Recent Experience Matters
In most cognitive and motor tasks, speed-accuracy tradeoffs are observed: Individuals can respond slowly and accurately, or quickly yet be prone to errors. Control mechanisms gove...
Matt Jones, Michael C. Mozer, Sachiko Kinoshita
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 3 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
SIGSOFT
2003
ACM
15 years 5 months ago
Fluent model checking for event-based systems
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
Dimitra Giannakopoulou, Jeff Magee
APGV
2004
ACM
176views Visualization» more  APGV 2004»
15 years 5 months ago
Towards perceptually realistic talking heads: models, methods and McGurk
Motivated by the need for an informative, unbiased and quantitative perceptual method for the development and evaluation of a talking head we are developing, we propose a new test...
Darren Cosker, Susan Paddock, A. David Marshall, P...