Sciweavers

2954 search results - page 190 / 591
» Beyond
Sort
View
ECAI
2004
Springer
16 years 8 days ago
An Investigation into the Expressive Power of PDDL2.1
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its exp...
Maria Fox, Derek Long, Keith Halsey
ICWE
2004
Springer
16 years 7 days ago
Model-Driven Design of Web Applications with Client-Side Adaptation
Abstract. In this paper, we integrate WebML, a high-level model and technology for building server-side Web applications, with UML-Guide, a UML-based system that generates client-s...
Stefano Ceri, Peter Dolog, Maristella Matera, Wolf...
NIME
2004
Springer
154views Music» more  NIME 2004»
16 years 7 days ago
Synthesized Strings for String Players
A system is introduced that allows a string player to control a synthesis engine with the gestural skills he is used to. The implemented system is based on an electric viola and a...
Cornelius Poepel
199
Voted
PPSWR
2004
Springer
16 years 6 days ago
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
François Bry, Stephanie Spranger
SAT
2004
Springer
97views Hardware» more  SAT 2004»
16 years 6 days ago
Incremental Compilation-to-SAT Procedures
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
Marco Benedetti, Sara Bernardini