Sciweavers

4245 search results - page 238 / 849
» Input Modeling
Sort
View
237
Voted
DKE
2011
251views Education» more  DKE 2011»
15 years 2 months ago
Generating operation specifications from UML class diagrams: A model transformation approach
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
16 years 18 days ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
ICMI
2004
Springer
151views Biometrics» more  ICMI 2004»
16 years 23 days ago
Multimodal model integration for sentence unit detection
In this paper, we adopt a direct modeling approach to utilize conversational gesture cues in detecting sentence boundaries, called SUs, in video taped conversations. We treat the ...
Mary P. Harper, Elizabeth Shriberg
ACMACE
2008
ACM
15 years 9 months ago
An affective model of user experience for interactive art
The development of Affective Interface technologies makes it possible to envision a new generation of Digital Arts and Entertainment applications, in which interaction will be bas...
Stephen W. Gilroy, Marc Cavazza, Rémi Chaig...
DSD
2007
IEEE
105views Hardware» more  DSD 2007»
16 years 1 months ago
Scaling Analytical Models for Soft Error Rate Estimation Under a Multiple-Fault Environment
With continuing increase in soft error rates, its foreseeable that multiple faults will eventually need to be considered when modeling circuit sensitivity and evaluating faulttole...
Christian J. Hescott, Drew C. Ness, David J. Lilja