3456 search results - page 67 / 692 » Algorithms for Interface Synthesis |
ASSETS
2006
ACM
14 years 22 days ago
2006
ACM
Current speech synthesis technology is difficult to understand in everyday noise situations. Although there is a significant body of work on how humans modify their speech in nois...
KBSE
1994
IEEE
14 years 1 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
CN
1999
13 years 8 months ago
1999
Today's Internet appliances feature user interface technologies almost unknown a few years ago: touch screens, styli, handwriting and voice recognition, speech synthesis, tin...
DAC
1995
ACM
14 years 16 days ago
1995
ACM
—In this paper, we present an algorithm for finding a good Ashenhurst decomposition of a switching function. Most current methods for performing this type of decomposition are ba...
BPM
2008
Springer
13 years 11 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...