14518 search results - page 358 / 2904 » Two Problems for Sophistication |
182
click to vote
ASWEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
179
click to vote
FGR
2000
IEEE
15 years 10 months ago
2000
IEEE
We show that a simple, memory-based technique for appearance-based face recognition, motivated by the realworld task of visitor identification, can outperform more sophisticated a...
206
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
202
click to vote
CEAS
2008
Springer
15 years 8 months ago
2008
Springer
Social networking communities have become an important communications platform, but the popularity of these communities has also made them targets for a new breed of social spamme...
161
click to vote
MEDIAFORENSICS
2010
15 years 8 months ago
2010
In camera identification using sensor noise, the camera that took a given image can be determined with high certainty by establishing the presence of the camera's sensor fing...