3456 search results - page 67 / 692 » Algorithms for Interface Synthesis |
106
click to vote
ASSETS
2006
ACM
15 years 6 months 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...
125
click to vote
KBSE
1994
IEEE
15 years 6 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...
144
Voted
CN
1999
15 years 2 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...
105
Voted
DAC
1995
ACM
15 years 6 months 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...
138
click to vote
BPM
2008
Springer
15 years 4 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...