2446 search results - page 101 / 490 » Characterizing the Performance of |
142
click to vote
ENTCS
2008
15 years 5 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
173
click to vote
IJCV
2010
15 years 4 months ago
2010
Abstract Constructing correspondencesbetween points characterizing one shape with those characterizing another is crucial to understanding what the two shapes have in common. These...
163
click to vote
INFOCOM
2008
IEEE
15 years 12 months ago
2008
IEEE
In this paper, we characterize the performance of an important class of scheduling schemes, called Greedy Maximal Scheduling (GMS), for multi-hop wireless networks. While a lower ...
134
click to vote
HYBRID
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
143
click to vote
ISER
1999
Springer
15 years 9 months ago
1999
Springer
Abstract: In November of 1998, an expedition from Carnegie Mellon University travelled to the Patriot Hills, Antarctica. The purpose of the expedition was to demonstrate autonomous...