Sciweavers

302 search results - page 4 / 61
» Deriving input syntactic structure from execution
Sort
View
LOPSTR
2004
Springer
13 years 10 months ago
Declarative Semantics of Input Consuming Logic Programs
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...
KBSE
2007
IEEE
13 years 11 months ago
Directed test generation using symbolic grammars
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
Rupak Majumdar, Ru-Gang Xu
DSOM
1999
Springer
13 years 9 months ago
Derivation of Backup Service Management Applications from Service and System Models
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
Ingo Lück, Marcus Schönbach, Arnulf Mest...
COLING
1996
13 years 6 months ago
Integrating Syntactic and Prosodic Information for the Efficient Detection of Empty Categories
We describe a number of experiments that demonstrate the usefulness of prosodic information for a processing module which parses spoken utterances with a feature-based grammar emp...
Anton Batliner, Anke Feldhaus, Stefan Geißle...
EMNLP
2009
13 years 3 months ago
A Joint Language Model With Fine-grain Syntactic Tags
We present a scalable joint language model designed to utilize fine-grain syntactic tags. We discuss challenges such a design faces and describe our solutions that scale well to l...
Denis Filimonov, Mary P. Harper