Sciweavers

124 search results - page 4 / 25
» Inverse Procedural Modeling by Automatic Generation of L-sys...
Sort
View
CHI
2006
ACM
14 years 7 months ago
UNIFORM: automatically generating consistent remote control user interfaces
A problem with many of today's appliance interfaces is that they are inconsistent. For example, the procedure for setting the time on alarm clocks and VCRs differs, even amon...
Jeffrey Nichols, Brad A. Myers, Brandon Rothrock
DAC
1999
ACM
13 years 11 months ago
Test Generation for Gigahertz Processors Using an Automatic Functional Constraint Extractor
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests which can be run at native speeds is becoming a serious proble...
Raghuram S. Tupuri, Arun Krishnamachary, Jacob A. ...
SLP
1989
105views more  SLP 1989»
13 years 8 months ago
Automatic Ordering of Subgoals - A Machine Learning Approach
This paper describes a learning system, LASSY1, which explores domains represented by Prolog databases, and use its acquired knowledge to increase the efficiency of a Prolog inter...
Shaul Markovitch, Paul D. Scott
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
14 years 1 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
CSL
2007
Springer
13 years 7 months ago
Automatic phonetic transcription of large speech corpora
This study is aimed at investigating whether automatic phonetic transcription procedures can approximate manual transcriptions typically delivered with contemporary large speech c...
Christophe Van Bael, Lou Boves, Henk van den Heuve...