857 search results - page 154 / 172 » Compositional Semantics in Verbmobil |
ICFP
2002
ACM
14 years 10 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
DOLAP
2009
ACM
14 years 5 months ago
2009
ACM
Extract-Transform-Load (ETL) activities are software modules responsible for populating a data warehouse with operational data, which have undergone a series of transformations on...
ICUIMC
2009
ACM
14 years 5 months ago
2009
ACM
Although documents have hundreds of thousands of unique words, only a small number of words are significantly useful for intelligent services. For this reason, feature extraction ...
MM
2009
ACM
14 years 5 months ago
2009
ACM
In this technical demonstration we show a web video search engine based on ontologies, the Sirio1 system, that has been developed within the EU VidiVideo project. The goal of the ...
LICS
2008
IEEE
14 years 5 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...