Sciweavers

619 search results - page 85 / 124
» Generic Extensions and Generic Polynomials
Sort
View
ICDE
2001
IEEE
113views Database» more  ICDE 2001»
14 years 9 months ago
Measuring and Optimizing a System for Persistent Database Sessions
High availability for both data and applications is rapidly becoming a business requirement. While database systems support recovery, providing high database availability, applica...
Roger S. Barga, David B. Lomet
IPMI
1999
Springer
14 years 8 months ago
Brain Morphometry by Distance Measurement in a Non-Euclidean, Curvilinear Space
Inspired by the discussion in neurological research about the callosal fiber connections with respect to brain asymmetry we developed a technique that measures distances between br...
Martin Styner, Thomas Coradi, Guido Gerig
CHI
2008
ACM
14 years 8 months ago
Sigma lenses: focus-context transitions combining space, time and translucence
Focus + context techniques such as fisheye lenses are used to navigate and manipulate objects in multi-scale worlds. They provide in-place magnification of a region without requir...
Emmanuel Pietriga, Caroline Appert
CADE
2005
Springer
14 years 8 months ago
The Model Evolution Calculus with Equality
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
Peter Baumgartner, Cesare Tinelli
VLDB
2008
ACM
99views Database» more  VLDB 2008»
14 years 8 months ago
Model-independent schema translation
We discuss a proposal for the implementation of the model management operator ModelGen, which translates schemas from one model to another, for example from object-oriented to SQL ...
Paolo Atzeni, Paolo Cappellari, Riccardo Torlone, ...