Sciweavers

CORR
2008
Springer
84views Education» more  CORR 2008»
13 years 10 months ago
Nested Ordered Sets and their Use for Data Modelling
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
Alexandr A. Savinov
CORR
2008
Springer
101views Education» more  CORR 2008»
13 years 10 months ago
Concept-Oriented Programming
Alexandr A. Savinov
CORR
2008
Springer
55views Education» more  CORR 2008»
13 years 10 months ago
The Heap Lambda Machine
Anton Salikhmetov
CORR
2008
Springer
79views Education» more  CORR 2008»
13 years 10 months ago
WiPal: Efficient Offline Merging of IEEE 802.11 Traces
Thomas Claveirole, Marcelo Dias de Amorim
CORR
2008
Springer
93views Education» more  CORR 2008»
13 years 10 months ago
On Field Size and Success Probability in Network Coding
Olav Geil, Ryutaroh Matsumoto, Casper Thomsen
CORR
2008
Springer
85views Education» more  CORR 2008»
13 years 10 months ago
Computationally Efficient Estimators for Dimension Reductions Using Stable Random Projections
The method of stable random projections is an efficient tool for computing the l distances using low memory, where 0 < 2 may be viewed as a tuning parameter. This method boil...
Ping Li
CORR
2008
Springer
108views Education» more  CORR 2008»
13 years 10 months ago
Approximability and parameterized complexity of minmax values
Abstract. We consider approximating the minmax value of a multiplayer game in strategic form. Tightening recent bounds by Borgs et al., we observe that approximating the value with...
Kristoffer Arnsfelt Hansen, Thomas Dueholm Hansen,...
CORR
2008
Springer
94views Education» more  CORR 2008»
13 years 10 months ago
Complexity of Hybrid Logics over Transitive Frames
Martin Mundhenk, Thomas Schneider 0002, Thomas Sch...
CORR
2008
Springer
121views Education» more  CORR 2008»
13 years 10 months ago
Separability in the Ambient Logic
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
Daniel Hirschkoff, Étienne Lozes, Davide Sa...
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 10 months ago
Optimal Scheduling of File Transfers with Divisible Sizes on Multiple Disjoint Paths
In this paper I investigate several offline and online data transfer scheduling problems and propose efficient algorithms and techniques for addressing them. In the offline case, ...
Mugurel Ionut Andreica