Sciweavers

3038 search results - page 484 / 608
» Controlling Engineering Problem Solving
Sort
View
FM
1991
Springer
164views Formal Methods» more  FM 1991»
14 years 23 days ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
LREC
2010
111views Education» more  LREC 2010»
13 years 10 months ago
Resources for Speech Synthesis of Viennese Varieties
This paper describes our work on developing corpora of three varieties of Viennese for unit selection speech synthesis. The synthetic voices for Viennese varieties, implemented wi...
Michael Pucher, Friedrich Neubarth, Volker Strom, ...
MASCOTS
2001
13 years 10 months ago
BRITE: An Approach to Universal Topology Generation
Effective engineering of the Internet is predicated upon a detailed understanding of issues such as the large-scale structure of its underlying physical topology, the manner in wh...
Alberto Medina, Anukool Lakhina, Ibrahim Matta, Jo...
DAGSTUHL
1998
13 years 10 months ago
Specification of Dynamics for Knowledge-Based Systems
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, F...
IJCAI
1989
13 years 10 months ago
A Modest, but Semantically Well Founded, Inheritance Reasoner
A modest exception allowing inheritance reasoner is presented. The reasoner allows restricted, but semantically well founded, defeasible property inheritance. Furthermore, it give...
Fahiem Bacchus