13306 search results - page 2347 / 2662 » Theoretical Computer Science |
195
click to vote
SENSYS
2003
ACM
16 years 15 days ago
2003
ACM
In this paper we examine the role of very simple and noisy sensors for the tracking problem. We propose a binary sensor model, where each sensor’s value is converted reliably to...
190
click to vote
SMA
2003
ACM
16 years 15 days ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...
201
click to vote
AGTIVE
2003
Springer
16 years 15 days ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
198
click to vote
ATAL
2003
Springer
16 years 15 days ago
2003
Springer
We analyse scenarios in which self-interested agents negotiate with each other in order to agree on deals to exchange resources. We consider two variants of the framework, one whe...
208
click to vote
ICFEM
2003
Springer
16 years 14 days ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...