Sciweavers

2470 search results - page 106 / 494
» Liveness-Preserving Simulation Relations
Sort
View
107
Voted
STOC
2005
ACM
147views Algorithms» more  STOC 2005»
16 years 29 days ago
Simulating independence: new constructions of condensers, ramsey graphs, dispersers, and extractors
We present new explicit constructions of deterministic randomness extractors, dispersers and related objects. We say that a distribution X on binary strings of length n is a -sour...
Boaz Barak, Guy Kindler, Ronen Shaltiel, Benny Sud...
108
Voted
CONTEXT
1999
Springer
15 years 5 months ago
Putting Similarity Assessments into Context: Matching Functions with the User's Intended Operations
This paper presents a practical application of context for the evaluation of semantic similarity. The work is based on a new model for the assessment of semantic similarity among ...
M. Andrea Rodríguez, Max J. Egenhofer
86
Voted
APCHI
1998
IEEE
15 years 5 months ago
Knowledge Required for Understanding Task-Oriented Instructions
When they encounter problems with a novel or infrequently performed task, experienced users often complete their work by referring to manuals and trying task-oriented exploration....
Muneo Kitajima, Peter G. Polson
IFIP
1999
Springer
15 years 5 months ago
Experimental comparison of control architectures
Most control systems of flexible production cells have a hierarchical structure. They become very complicated and difficult to maintain and modify when the underlying production c...
J. M. van de Mortel-Fronczak, J. P. M. Schmitz, J....
122
Voted
KIVS
1999
Springer
15 years 4 months ago
Strategies for Minimizing the Average Cost of Paging on the Air Interface
: Location Management of mobile users in a cellular network covers tracking and paging (searching) functionality. In this paper a sequential search strategy is proposed which reduc...
Dogan Kesdogan, Andrei Trofimov, Dirk Trossen