Sciweavers

1418 search results - page 181 / 284
» Schema polynomials and applications
Sort
View
DMS
2008
106views Multimedia» more  DMS 2008»
15 years 7 months ago
A Multimedia Data Streams Model for Content-based Information Retrieval
: Multimedia applications nowadays are becoming the standard, for they utilize the enormous human brain computational power. In the past, the Relational Database Model was generali...
Shenoda Guirguis, Rohit Kulkarni, Shi-Kuo Chang
ICWS
2007
IEEE
15 years 7 months ago
Guiding the Service Composition Process with Temporal Business Rules
Service composition has become an important paradigm for building distributed applications and e-business processes. While effort has been reported to verify a posteriori whether ...
Jun Han, Yan Jin, Zheng Li, Tan Phan, Jian Yu
LANMR
2007
15 years 7 months ago
Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness
The best-known application of dialetheism is to semantic paradoxes such as the Liar. In particular, Graham Priest has advocated the adoption of an axiomatic truth theory in which c...
Federico Marulanda Rey
IJCAI
2001
15 years 7 months ago
Backjumping for Quantified Boolean Logic Satisfiability
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
ISTA
2001
15 years 7 months ago
A Technique for Information System Integration
: Nowadays, a central topic in database science is the need of an integrated access to large amounts of data provided by various information sources whose contents are strictly rel...
Sergio Greco, Luigi Pontieri, Ester Zumpano