8676 search results - page 1683 / 1736 » A Feature Model for an IDE4OCL |
142
click to vote
ACL
1998
15 years 6 months ago
1998
In this paper, we report on an effort to provide a general-purpose spoken language generation tool for Concept-to-Speech (CTS) applications by extending a widely used text generat...
173
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Virtual Actors are at the heart of Interactive Storytelling systems and in recent years multiple approaches have been described to specify their autonomous behaviour. One well kno...
199
Voted
CIDR
2009
15 years 5 months ago
2009
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
128
Voted
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
172
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...