1973 search results - page 153 / 395 » The Construction of Ludic Space |
188
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
This paper presents a world model for location-aware and user-aware services in ubiquitous computing environments. It can be dynamically organized like a tree based on geographica...
139
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
We selectively generate and optimize the frames constructed by the rePLay architecture statically. Since static analysis provides a global view of the interaction between the basi...
179
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
A hash function h, i.e., a function from the set U of all keys to the range range [m] = {0, . . . , m − 1} is called a perfect hash function (PHF) for a subset S ⊆ U of size n ...
166
click to vote
SPIN
2009
Springer
16 years 29 days ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
145
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...