3073 search results - page 172 / 615 » Real World Verification |
242
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
Outlier detection in vehicle traffic data is a practical problem that has gained traction lately due to an increasing capability to track moving vehicles in city roads. In contrast...
132
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose a method for the detection of trends in social bookmarking systems. Compared to other work in this emerging field, our approach has a more sound statistical basis. In o...
126
Voted
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper we consider the problem of classification in the presence of pairwise constraints, which consist of pairs of examples as well as a binary variable indicating whether...
120
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
138
click to vote
BIOWIRE
2007
Springer
15 years 10 months ago
2007
Springer
The emergence of Delay Tolerant Networks (DTNs) has culminated in a new generation of wireless networking. New communication paradigms, which use dynamic interconnectedness as peop...