Sciweavers

1554 search results - page 122 / 311
» An Overview of the Spring System
Sort
View
ER
1999
Springer
155views Database» more  ER 1999»
14 years 1 months ago
XML-based Components for Federating Multiple Heterogeneous Data Sources
Several federated database systems have been built in the past using the relational or the object model as federating model. This paper gives an overview of the XMLMedia system, a ...
Georges Gardarin, Fei Sha, Tuyet-Tram Dang-Ngoc
IWPC
1998
IEEE
14 years 1 months ago
DIME: A Direct Manipulation Environment for Evolutionary Development of Software
This paper presents an overview of the DIME environment (DIrect Manipulation Environment) being developed by the author. The paper presents the DIME vision, its catalogue of evolu...
Arun Lakhotia
FM
1998
Springer
153views Formal Methods» more  FM 1998»
14 years 1 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
AAAI
2010
13 years 10 months ago
Progress on Agent Coordination with Cooperative Auctions
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...
Sven Koenig, Pinar Keskinocak, Craig A. Tovey
LREC
2008
140views Education» more  LREC 2008»
13 years 10 months ago
Unsupervised Relation Extraction From Web Documents
The IDEX system is a prototype of an interactive dynamic Information Extraction (IE) system. A user of the system expresses an information request in the form of a topic descripti...
Kathrin Eichler, Holmer Hemsen, Günter Neuman...