Sciweavers

2299 search results - page 17 / 460
» Logical Data Expiration
Sort
View
LICS
2006
IEEE
14 years 1 months ago
Two-Variable Logic on Words with Data
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentic...
DMDW
2003
134views Management» more  DMDW 2003»
13 years 9 months ago
Using Design Guidelines to Improve Data Warehouse Logical Design
Data Warehouse-(DW) logical design often start with a conceptual schema and then generates relational structures. Applying this approach implies to cope with two main aspects: (i) ...
Verónika Peralta, Raul Ruggia
TCS
2008
13 years 7 months ago
On temporal logic constraint solving for analyzing numerical data time series
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
François Fages, Aurélien Rizk
FUIN
2010
106views more  FUIN 2010»
13 years 5 months ago
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
Linh Anh Nguyen
WILF
2007
Springer
101views Fuzzy Logic» more  WILF 2007»
14 years 1 months ago
Exploring the Application of Fuzzy Logic and Data Fusion Mechanisms in QAS
In this paper we explore the application of fuzzy logic and data fusion techniques to improve the performance of passage retrieval in open domain Question Answering Systems (QAS). ...
Daniel Ortiz Arroyo, Hans Ulrich Christensen