Sciweavers

81 search results - page 11 / 17
» An Operational Semantics for Declarative Multi-Paradigm Lang...
Sort
View
IJAR
2007
96views more  IJAR 2007»
13 years 9 months ago
A paraconsistent logic programming approach for querying inconsistent databases
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
Sandra de Amo, Mônica Sakuray Pais
CL
2012
Springer
11 years 11 months ago
Maintaining distributed logic programs incrementally
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedr...
EDBTW
2006
Springer
14 years 19 days ago
Using Temporal Semantics for Live Media Stream Queries
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
Bin Liu, Amarnath Gupta, Ramesh Jain
IMC
2006
ACM
14 years 2 months ago
binpac: a yacc for writing application protocol parsers
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...
Ruoming Pang, Vern Paxson, Robin Sommer, Larry L. ...
APWEB
2004
Springer
14 years 2 months ago
A Knowledge-Based Data Model and Query Algebra for the Next-Generation Web
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...
Qiujian Sheng, Zhongzhi Shi