2534 search results - page 432 / 507 » A Type System for the Push-Enter Model |
NAACL
2004
13 years 9 months ago
2004
The regular occurrence of disfluencies is a distinguishing characteristic of spontaneous speech. Detecting and removing such disfluencies can substantially improve the usefulness ...
SAM
2004
13 years 9 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
CASCON
1997
13 years 9 months ago
1997
Software evolution and reuse is more likely to receive higher payoff if high-level artifacts—such as architectures and designs—can be reused and can guide low-level component ...
BC
2008
13 years 7 months ago
2008
Cerebellum-like structures are compared for two sensory systems: electrosensory and auditory. The electrosensory lateral line lobe of mormyrid electric fish is reviewedandtheneural...
ENTCS
2008
13 years 7 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...