2458 search results - page 28 / 492 » Database-Management Principles And Applications |
147
click to vote
NAACL
1994
15 years 5 months ago
1994
The functionality of systems that extract information from texts can be specified quite simply: the input is a stream of texts and the output is some representation of the informa...
119
click to vote
ENTCS
2008
15 years 4 months ago
2008
We establish a monotonicity principle for convex functions that enables high-level reasoning about capacity in information theory. Despite its simplicity, this single idea is rema...
168
click to vote
MA
2000
Springer
15 years 8 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
113
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
141
click to vote
EMISA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...