Sciweavers

4212 search results - page 315 / 843
» Rights Expression Languages
Sort
View
ICDE
1994
IEEE
87views Database» more  ICDE 1994»
15 years 10 months ago
Implementing Calendars and Temporal Rules in Next Generation Databases
In applications like nancial trading, scheduling, manufacturing and process control, time based predicates in queries and rules are very important. There is also a need to de ne ...
Rakesh Chandra, Arie Segev, Michael Stonebraker
ICTL
1994
15 years 10 months ago
Completeness through Flatness in Two-Dimensional Temporal Logic
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
Yde Venema
LREC
2010
156views Education» more  LREC 2010»
15 years 8 months ago
Dictionary and Monolingual Corpus-based Query Translation for Basque-English CLIR
This paper deals with the main problems that arise in the query translation process in dictionary-based Cross-lingual Information Retrieval (CLIR): translation selection, presence...
Xabier Saralegi, Maddalen Lopez de Lacalle
153
Voted
DS
2001
118views Database» more  DS 2001»
15 years 8 months ago
Constraints as Mobile Specifications in E-Commerce Applications
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
Kit-ying Hui, Peter M. D. Gray, Graham J. L. Kemp,...
DLOG
2003
15 years 8 months ago
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
François de Bertrand de Beuvron, Amadou Cou...