10055 search results - page 1646 / 2011 » Structured programming using processes |
131
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
128
click to vote
ICPR
2000
IEEE
16 years 4 months ago
2000
IEEE
The appearance of non-rigid objects detected and tracked in video streams is highly variable and therefore makes the identification of similar objects very complex. Furthermore, i...
108
click to vote
ICML
2003
IEEE
16 years 4 months ago
2003
IEEE
Kernel methods have gained a great deal of popularity in the machine learning community as a method to learn indirectly in highdimensional feature spaces. Those interested in rela...
120
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
141
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—With the abundance of location-aware portable devices such as cellphones and PDAs, a new emerging application is to use this pervasive computing platform to learn about the wher...