Sciweavers

396 search results - page 46 / 80
» A First Investigation into the Effectiveness of Tactons
Sort
View
AI
2005
Springer
14 years 11 months ago
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
Zhao Xing, Weixiong Zhang
CSL
2004
Springer
14 years 11 months ago
Automatic capitalisation generation for speech input
Two different systems are proposed for the task of capitalisation generation. The first system is a slightly modified speech recogniser. In this system, every word in the vocabula...
Ji-Hwan Kim, Philip C. Woodland
PRIMA
2009
Springer
15 years 6 months ago
Adaptation and Validation of an Agent Model of Functional State and Performance for Individuals
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
Fiemke Both, Mark Hoogendoorn, S. Waqar Jaffry, Ri...
GRID
2004
Springer
15 years 5 months ago
Memory Conscious Task Partition and Scheduling in Grid Environments
While resource management and task scheduling are identified challenges of Grid computing, current Grid scheduling systems mainly focus on CPU and network availability. Recent per...
Ming Wu, Xian-He Sun
METRICS
2003
IEEE
15 years 5 months ago
Measuring and Improving Design Patterns Testability
This paper addresses not only the question of testability measurement of OO designs but also focuses on its practicability. While detecting testability weaknesses (called testabil...
Benoit Baudry, Yves Le Traon, Gerson Sunyé,...