2586 search results - page 380 / 518 » Automatic Abstraction for Congruences |
158
click to vote
ICCSA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A progressive curve representation based on reverse subdivision is introduced. This consists of three main components. First, multi-resolution structures for some common ...
184
click to vote
IPSN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We demonstrate that it is possible to achieve accurate localization and tracking of a target in a randomly placed wireless sensor network composed of inexpensive componen...
206
click to vote
ISI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we report our work on developing and evaluating a prototype system aimed at addressing the information monitoring and sharing challenges in the law enforce...
175
click to vote
DBKDA
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...
135
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
Abstract—Development mailing lists play a central role in facilitating communication in open source projects. Since these lists frequently host design and project discussions, kn...