18306 search results - page 459 / 3662 » Algorithmics in Exponential Time |
224
click to vote
INFOCOM
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—We present a framework for designing delayindependent end-to-end congestion control algorithms, where each end-user may have a different utility function. We only requir...
209
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an efficient and accurate object tracking algorithm based on the concept of graph cut segmentation. The ability to track visible objects in real-time provides an inval...
196
click to vote
WG
2007
Springer
16 years 1 months ago
2007
Springer
Cographs are those graphs without induced path on four vertices. A graph G is a probe cograph if its vertex set can be partitioned into two sets, N (non-probes) and P (probes) wher...
213
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
208
click to vote
ICCBR
2005
Springer
16 years 1 months ago
2005
Springer
While several researchers have applied case-based reasoning techniques to games, only Ponsen and Spronck (2004) have addressed the challenging problem of learning to win real-time ...