1275 search results - page 61 / 255 » A Simple Focused Crawler |
139
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Particle filtering is an approach to Bayesian estimation of intractable posterior distributions from time series signals distributed by non-Gaussian noise. A couple of variant par...
133
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
108
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
123
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
143
click to vote
AIED
2009
Springer
15 years 10 months ago
2009
Springer
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...