Sciweavers

3399 search results - page 382 / 680
» Requirements Development in Scenario-Based Design
Sort
View
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
HCI
2007
15 years 8 months ago
Intelligent Privacy Support for Large Public Displays
This paper presents a novel concept for personalized privacy support on large public displays. In a first step, a formative evaluation was conducted in order to analyze the require...
Carsten Röcker, Steve Hinske, Carsten Magerku...
LREC
2008
128views Education» more  LREC 2008»
15 years 8 months ago
JURISDIC: Polish Speech Database for Taking Dictation of Legal Texts
The paper provides an overview of the Polish Speech Database for taking dictation of legal texts, created for the purpose of LVCSR system for Polish. It presents background inform...
Grazyna Demenko, Stefan Grocholewski, Katarzyna Kl...
AAAI
2006
15 years 8 months ago
AI Support for Building Cognitive Models
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...
Robert St. Amant, Sean P. McBride, Frank E. Ritter
ACL
2006
15 years 8 months ago
Compiling a Lexicon of Cooking Actions for Animation Generation
This paper describes a system which generates animations for cooking actions in recipes, to help people understand recipes written in Japanese. The major goal of this research is ...
Kiyoaki Shirai, Hiroshi Ookawa