882 search results - page 169 / 177 » Allowing State Changes in Specifications |
157
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Supervised classification methods have been shown to be very effective for a large number of applications. They require a training data set whose instances are labeled to indicate...
145
click to vote
KDD
2005
ACM
16 years 6 months ago
2005
ACM
Protection of privacy has become an important problem in data mining. In particular, individuals have become increasingly unwilling to share their data, frequently resulting in in...
154
click to vote
MOBISYS
2005
ACM
16 years 5 months ago
2005
ACM
This paper presents a new pairing protocol that allows two CPU-constrained wireless devices Alice and Bob to establish a shared secret at a very low cost. To our knowledge, this i...
169
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
180
click to vote
GECCO
2007
Springer
15 years 12 months ago
2007
Springer
When facing dynamic optimization problems the goal is no longer to find the extrema, but to track their progression through the space as closely as possible. Over these kind of ov...