Sciweavers

2024 search results - page 33 / 405
» The Meaning of Ordered SOS
Sort
View
111
Voted
QI
2009
Springer
190views Physics» more  QI 2009»
15 years 7 months ago
Characterizing Pure High-Order Entanglements in Lexical Semantic Spaces via Information Geometry
An emerging topic in Quantuam Interaction is the use of lexical semantic spaces, as Hilbert spaces, to capture the meaning of words. There has been some initial evidence that the p...
Yuexian Hou, Dawei Song
106
Voted
CSCLP
2004
Springer
15 years 6 months ago
A Value Ordering Heuristic for Local Search in Distributed Resource Allocation
Abstract. In this paper we develop a localized value-ordering heuristic for distributed resource allocation problems. We show how this value ordering heuristics can be used to achi...
Adrian Petcu, Boi Faltings
VCIP
2003
170views Communications» more  VCIP 2003»
15 years 2 months ago
Scan order and quantization for 3D-DCT coding
Two types of coders dominate the field of video compression research today: well-established hybrid coders, that are in the core of all MPEG and H.26X standards, and emerging thr...
Nikola Bozinovic, Janusz Konrad
62
Voted
EOR
2008
95views more  EOR 2008»
15 years 27 days ago
Augmenting the lot sizing order quantity when demand is probabilistic
In this paper we consider a single item, discrete time, lot sizing situation where demand is random and its parameters (e.g., mean and standard deviation) can change with time. Fo...
I. Nyoman Pujawan, Edward A. Silver
110
Voted
CSL
2009
Springer
15 years 7 months ago
Nested Hoare Triples and Frame Rules for Higher-Order Store
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, H...