Sciweavers

2237 search results - page 235 / 448
» Advanced Prosody Modelling
Sort
View
APN
2000
Springer
15 years 7 months ago
Efficient Symbolic State-Space Construction for Asynchronous Systems
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...
SBIA
2000
Springer
15 years 7 months ago
Linguistic Relations Encoding in a Symbolic-Connectionist Hybrid Natural Language Processor
In recent years, the Natural Language Processing scene has witnessed the steady growth of interest in connectionist modeling. The main appeal of such an approach is that one does n...
João Luís Garcia Rosa, Edson Fran&cc...
151
Voted
VL
1995
IEEE
158views Visual Languages» more  VL 1995»
15 years 7 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
WCRE
1995
IEEE
15 years 7 months ago
Observed Idiosyncracies of Relational Database Designs
Several processes have been advanced in the literature for reverse engineering of relational databases. The inputs to these processes are relational tables and available contextua...
Michael R. Blaha, William J. Premerlani
BTW
2009
Springer
150views Database» more  BTW 2009»
15 years 7 months ago
The Frontiers of Data Programmability
: Simplifying data programming is a core mission of data management research. The issue at stake is to help engineers build efficient and robust data-centric applications. The fron...
Sergey Melnik