Sciweavers

4420 search results - page 276 / 884
» Evaluating a Computational Model of Emotion
Sort
View
214
Voted
FOSSACS
2006
Springer
15 years 11 months ago
Bigraphical Models of Context-Aware Systems
Abstract. As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous comput...
Lars Birkedal, Søren Debois, Ebbe Elsborg, ...
216
Voted
ICCV
2009
IEEE
15 years 5 months ago
An algebraic model for fast corner detection
This paper revisits the classical problem of detecting interest points, popularly known as "corners," in 2D images by proposing a technique based on fitting algebraic sh...
Andrew Willis, Yunfeng Sui
236
Voted
AVSS
2008
IEEE
16 years 1 months ago
Object and Scene-Centric Activity Detection Using State Occupancy Duration Modeling
We propose a video event analysis framework based on object segmentation and tracking, combined with a Hidden Semi-Markov Model (HSMM) that uses state occupancy duration modeling....
Murtaza Taj, Andrea Cavallaro
ASPDAC
2006
ACM
113views Hardware» more  ASPDAC 2006»
16 years 1 months ago
Transition-based coverage estimation for symbolic model checking
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Take...
EUC
2004
Springer
16 years 25 days ago
Experimental Assessment of Scenario-Based Multithreading for Real-Time Object-Oriented Models: A Case Study with PBX Systems
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
Saehwa Kim, Michael Buettner, Mark Hermeling, Seon...