Sciweavers

1309 search results - page 147 / 262
» Revenue management: Models and methods
Sort
View
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 4 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
JAVA
1999
Springer
15 years 3 months ago
A Programmer's Reduction Semantics for Classes and Mixins
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
Matthew Flatt, Shriram Krishnamurthi, Matthias Fel...
COST
1994
Springer
146views Multimedia» more  COST 1994»
15 years 3 months ago
A Binding Architecture for Multimedia Networks
: An open architecture that achieves seamless binding between networking and multimedia devices is proposed. The building blocks of the binding architecture consist of a set of es,...
Aurel A. Lazar, Shailendra K. Bhonsle, Koon-Seng L...
WEBNET
2000
15 years 28 days ago
Link Proposals with Case-Based Reasoning Techniques
: In this paper, we will discuss the problem of proposing links for hypertexts based on Case-Based Reasoning (CBR) techniques. These proposals can be used in addition to traditiona...
Ernst Georg Haffner, Andreas Heuer 0002, Uwe Roth,...
MVA
1996
122views Computer Vision» more  MVA 1996»
15 years 28 days ago
Object Recognition from Range Images Using Superquadric Representations
Segmentation of range images using superquadric entities has been pointed out by a number of researchers as a powerful approach towards object recognition. Problems exist in findi...
Erik R. van Dop, Paul P. L. Regtien