1153 search results - page 88 / 231 » Compositional Specification Calculus for Information Systems... |
173
Voted
PVLDB
2008
15 years 2 months ago
2008
Schema mappings are fundamental building blocks in many information integration applications. Designing mappings is a timeconsuming process and for that reason many mapping system...
139
click to vote
IBERAMIA
2004
Springer
15 years 9 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
125
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This working notes paper describes our first participation in the ImageCLEF2010 Wikipedia Retrieval Task[1]. In this task, we mainly test our Quantum Theory inspired retr...
135
click to vote
APAL
2010
15 years 4 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
143
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Large heterogeneous teams will often be in situations where sensor data that is uncertain and conflicting is shared across a peer-to-peer network. Not every team member will have ...