Sciweavers

1050 search results - page 90 / 210
» The problem with rights expression languages
Sort
View
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 2 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
ER
1993
Springer
163views Database» more  ER 1993»
15 years 1 months ago
Using Conceptual Graph Theory to Support Schema Integration
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
Paul Johannesson
LREC
2008
134views Education» more  LREC 2008»
14 years 11 months ago
Generating a Morphological Lexicon of Organization Entity Names
This paper describes methods used for generating a morphological lexicon of organization entity names in Croatian. This resource is intended for two primary tasks: template-based ...
Nikola Ljubesic, Tomislava Lauc, Damir Boras
KDD
2007
ACM
169views Data Mining» more  KDD 2007»
15 years 10 months ago
Exploiting underrepresented query aspects for automatic query expansion
Users attempt to express their search goals through web search queries. When a search goal has multiple components or aspects, documents that represent all the aspects are likely ...
Daniel Crabtree, Peter Andreae, Xiaoying Gao
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 3 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride