3951 search results - page 462 / 791 » Automatic amortized analysis |
190
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we propose a simple and standard compliant retransmission mechanism, called Carrier–Sense Automatic Repeat reQuest (CS–ARQ), which aims at improving system pe...
163
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present an approach for localizing a sensor network augmented with a mobile robot which is capable of providing inter-sensor pose estimates through its odometr...
166
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Suitable reference marks are an important part of creating an understandable visualization. The reference marks create the frame in which the data is understood, thereby preservin...
172
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents an exploratory study of ten feature location techniques that use various combinations of textual, dynamic, and static analyses. Unlike previous studies, the ap...
171
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...