Sciweavers

5434 search results - page 710 / 1087
» Semantic information portals
Sort
View
CEEMAS
2003
Springer
16 years 8 days ago
A Multi-agent Modal Language for Concurrency with Non-communicating Agents
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
Stefano Borgo
188
Voted
ER
2003
Springer
119views Database» more  ER 2003»
16 years 8 days ago
Toward the Automatic Derivation of XML Transformations
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropri...
Martin Erwig
DAWAK
2009
Springer
15 years 11 months ago
Mining Violations to Relax Relational Database Constraints
Frequent constraint violations on the data stored in a database may suggest that the semantics of the represented reality is changing. In this work we propose a methodology and a t...
Mirjana Mazuran, Elisa Quintarelli, Rosalba Rossat...
MKM
2009
Springer
15 years 11 months ago
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...
Andrea Kohlhase, Michael Kohlhase
NLPRS
2001
Springer
15 years 11 months ago
Pruning UNL texts for Summarizing Purposes
This paper presents a summarization model based on the Universal Networking Language (UNL), which is a conceptual language for representing texts sentence by sentence, using seman...
Camilla Brandel Martins, Lucia Helena Machado Rino