Sciweavers

231 search results - page 17 / 47
» Testing Exchangeability On-Line
Sort
View
TJS
2002
136views more  TJS 2002»
13 years 7 months ago
A Virtual Test Facility for the Simulation of Dynamic Response in Materials
The Center for Simulating Dynamic Response of Materials at the California Institute of Technology is constructing a virtual shock physics facility for studying the response of vari...
Julian Cummings, Michael Aivazis, Ravi Samtaney, R...
ICLP
1995
Springer
13 years 11 months ago
Experimenting with Nonmonotonic Reasoning
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk...
SIGMOD
2009
ACM
132views Database» more  SIGMOD 2009»
14 years 7 months ago
Core schema mappings
Research has investigated mappings among data sources under two perspectives. On one side, there are studies of practical tools for schema mapping generation; these focus on algor...
Giansalvatore Mecca, Paolo Papotti, Salvatore Raun...
AMW
2009
13 years 8 months ago
Checking Containment of Schema Mappings (Preliminary Report)
In data exchange, data are materialised from a source schema to a target schema, according to suitable source-to-target constraints. Constraints are also expressed on the target sc...
Andrea Calì, Riccardo Torlone
EOR
2007
89views more  EOR 2007»
13 years 7 months ago
Trade reduction vs. multi-stage: A comparison of double auction design approaches
With the growth of electronic markets, designing double auction mechanisms that are applicable to emerging market structures has become an important research topic. In this paper,...
Leon Yang Chu, Zuo-Jun Max Shen