Sciweavers

1534 search results - page 134 / 307
» Error Reporting Logic
Sort
View
IJMMS
2007
114views more  IJMMS 2007»
15 years 4 months ago
A fuzzy physiological approach for continuously modeling emotion during interaction with play technologies
The popularity of computer games has exploded in recent years, yet methods of evaluating user emotional state during play experiences lag far behind. There are few methods of asse...
Regan L. Mandryk, M. Stella Atkins
ICDAR
2009
IEEE
15 years 2 months ago
Unconstrained Handwritten Document Layout Extraction Using 2D Conditional Random Fields
The paper describes a new approach using a Conditional Random Fields (CRFs) to extract physical and logical layouts in unconstrained handwritten letters such as those sent by indi...
Florent Montreuil, Emmanuele Grosicki, Laurent Heu...
IEAAIE
2011
Springer
14 years 8 months ago
Model Checking Commitment Protocols
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 9 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
GLVLSI
2009
IEEE
113views VLSI» more  GLVLSI 2009»
15 years 8 months ago
Reducing parity generation latency through input value aware circuits
1 Soft errors caused by cosmic particles and radiation emitted by the packaging are an important problem in contemporary microprocessors. Parity bits are used to detect single bit ...
Yusuf Osmanlioglu, Y. Onur Koçberber, Oguz ...