17298 search results - page 365 / 3460 » Abstract computing machines |
226
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper treats tracking as a foreground/background classification problem and proposes an online semisupervised learning framework. Initialized with a small number of labeled ...
185
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
129
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
In previous work [7] a computational framework was demonstrated that employs evolutionary algorithms to automatically model a given system. This is accomplished by alternating the...
169
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
Communication latencies constitute a significant factor in the performance of parallel applications. With techniques such as wormhole routing, the variation in no-load latencies ...
181
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...