Sciweavers

4328 search results - page 261 / 866
» A New Kind of Science
Sort
View
ENTCS
2002
66views more  ENTCS 2002»
15 years 6 months ago
Rule Formats for Timed Processes
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
Marco Kick
145
Voted
PUC
2000
114views more  PUC 2000»
15 years 6 months ago
Magic Wardrobe: Situated Shopping from your own Bedroom
In this paper, we describe a research prototype, called MAGIC WARDROBE, which serves as a physical interface between the consumer and the online marketplace. This new kind of wardr...
Dadong Wan
DKE
1999
87views more  DKE 1999»
15 years 6 months ago
Logical Foundations of Multilevel Databases
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, ob...
Frédéric Cuppens, Alban Gabillon
TOG
2002
153views more  TOG 2002»
15 years 6 months ago
Octree textures
Texturing using a set of two dimensional image maps is an established and widespread practice. However, it has many limitations. Parameterizing a model in texture space can be ver...
David Benson, Joel Davis
VLDB
2002
ACM
144views Database» more  VLDB 2002»
15 years 6 months ago
Shooting Stars in the Sky: An Online Algorithm for Skyline Queries
Skyline queries ask for a set of interesting points from a potentially large set of data points. If we are traveling, for instance, a restaurant might be interesting if there is n...
Donald Kossmann, Frank Ramsak, Steffen Rost