Sciweavers

13985 search results - page 2250 / 2797
» Active Feature Models
Sort
View
210
Voted
KONVENS
2000
15 years 10 months ago
Processing Self Corrections
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...
Jörg Spilker, Martin Klarner, Günther G&...
SAFECOMP
2000
Springer
15 years 10 months ago
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
Richard Evans, Jonathan D. Moffett
TLCA
1995
Springer
15 years 10 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen
VL
1995
IEEE
158views Visual Languages» more  VL 1995»
15 years 10 months ago
DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams
Diagrams (e.g., flowcharts, trees for hierarchical structures, or graphs for finite state machines) are often needed as part of visual language systems and advanced user interfa...
Mark Minas, Gerhard Viehstaedt
DAS
2010
Springer
15 years 10 months ago
Toward affine recognition of handwritten mathematical characters
We address the problem of handwritten symbol classification in the presence of distortions modeled by affine transformations. We consider shear, rotation, scaling and translation,...
Oleg Golubitsky, Vadim Mazalov, Stephen M. Watt
« Prev « First page 2250 / 2797 Last » Next »