Sciweavers

1990 search results - page 134 / 398
» Integrated Human Behavior Modeling
Sort
View
124
Voted
ENTCS
2007
81views more  ENTCS 2007»
15 years 3 months ago
Error Diagnosis in Equivalence Checking of High Performance Microprocessors
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. ...
Alper Sen
AVI
2010
15 years 23 days ago
An infrastructure for creating graphical indicators of the learner profile by mashing up different sources
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...
Luca Mazzola, Riccardo Mazza
DSVIS
2003
Springer
15 years 8 months ago
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach
The DiaMODL dialog modelling is a hybrid language, based on the Pisa interactor abstraction and UML Statecharts. By combining a dataflow-oriented language with one focussing on beh...
Hallvard Trætteberg
IDT
2010
124views more  IDT 2010»
15 years 1 months ago
Modelling decision making with probabilistic causation
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
Luís Moniz Pereira, Carroline Kencana Ramli
124
Voted
ICASSP
2008
IEEE
15 years 9 months ago
Visual-aural attention modeling for talk show video highlight detection
In this paper, we propose a visual-aural attention modeling based video content analysis approach, which can be used to automatically detect the highlights of the popular TV progr...
Yijia Zheng, Guangyu Zhu, Shuqiang Jiang, Qingming...