3466 search results - page 482 / 694 » Fast computation of special resultants |
176
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
Instant wireless sensor network (IWSN) is a type of WSN deployed for a class of special applications which have the common requirement on instantly responding for collecting and t...
209
click to vote
MFCS
2009
Springer
15 years 11 months ago
2009
Springer
We present a simple algorithm for the maximum spanning star forest problem. We take advantage of the fact that the problem is a special case of complementary set cover and we adapt...
157
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Recently, there has been an increasing number of depth cameras available at commodity prices. These cameras can usually capture both color and depth images in real-time, ...
182
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
167
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract—Advanced network and media applications such as multimedia streaming and Internet telephony are becoming an integral part of the Internet. Reservation protocols, such as...