Sciweavers

2043 search results - page 286 / 409
» Some Basics on Tolerances
Sort
View
ISAAC
2004
Springer
115views Algorithms» more  ISAAC 2004»
15 years 11 months ago
Multicriteria Global Minimum Cuts
We consider two multicriteria versions of the global minimum cut problem in undirected graphs. In the k-criteria setting, each edge of the input graph has k non-negative costs ass...
Amitai Armon, Uri Zwick
ISMIR
2004
Springer
157views Music» more  ISMIR 2004»
15 years 11 months ago
Pattern Matching in Polyphonic Music as a Weighted Geometric Translation Problem
We consider the music pattern matching problem—to find occurrences of a small fragment of music called the “pattern” in a larger body of music called the “score”—as a...
Anna Lubiw, Luke Tanur
KR
2004
Springer
15 years 11 months ago
Reasoning about Knowledge by Variable Forgetting
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...
Kaile Su, Guanfeng Lv, Yan Zhang
LATIN
2004
Springer
15 years 11 months ago
Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
Volker Diekert, Paul Gastin
177
Voted
MDM
2004
Springer
15 years 11 months ago
Prediction-Based Strategies for Energy Saving in Object Tracking Sensor Networks
In order to fully realize the potential of sensor networks, energy awareness should be incorporated into every stage of the network design and operation. In this paper, we address...
Yingqi Xu, Julian Winter, Wang-Chien Lee