Sciweavers

5904 search results - page 400 / 1181
» Requirements for a Composition Language
Sort
View
ACL
2006
15 years 8 months ago
Discriminative Reranking for Semantic Parsing
Semantic parsing is the task of mapping natural language sentences to complete formal meaning representations. The performance of semantic parsing can be potentially improved by u...
Ruifang Ge, Raymond J. Mooney
LANMR
2004
15 years 8 months ago
New Semantics for Hybrid Probabilistic Programs
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
Emad Saad
FORTE
2003
15 years 8 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm
MASCOTS
2003
15 years 8 months ago
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. ...
DAGSTUHL
1998
15 years 8 months ago
On Active Deductive Databases: The Statelog Approach
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
Georg Lausen, Bertram Ludäscher, Wolfgang May