1822 search results - page 283 / 365 » The Method of Assigning Incidences |
118
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
105
click to vote
CIA
2006
Springer
15 years 5 months ago
2006
Springer
The theoretical guarantees provided by voting have distinguished it as a prominent method of preference aggregation among autonomous agents. However, unlike humans, agents usually ...
134
click to vote
CIKM
2006
Springer
15 years 5 months ago
2006
Springer
Data stream clustering has emerged as a challenging and interesting problem over the past few years. Due to the evolving nature, and one-pass restriction imposed by the data strea...
114
click to vote
CIT
2006
Springer
15 years 5 months ago
2006
Springer
Running real time applications over wireless LANs is becoming common place. These applications require QoS. But the most widely used wireless LAN, IEEE 802.11, does not have QoS s...
129
click to vote
CONEXT
2006
ACM
15 years 5 months ago
2006
ACM
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...