3256 search results - page 574 / 652 » Applications of Formal Methods to System Design and Verifica... |
JEI
2008
14 years 9 months ago
2008
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...
114
click to vote
KDD
2012
ACM
13 years 7 days ago
2012
ACM
Advanced technology in GPS and sensors enables us to track physical events, such as human movements and facility usage. Periodicity analysis from the recorded data is an important...
SIGGRAPH
1995
ACM
15 years 1 months ago
1995
ACM
Physically-based modeling has been used in the past to support a variety of interactive modeling tasks including free-form surface design, mechanism design, constrained drawing, a...
VIS
2004
IEEE
15 years 11 months ago
2004
IEEE
In this article we explore techniques to detect and visualize features in data from molecular dynamics (MD) simulations. Although the techniques proposed are general, we focus on ...
CEAS
2007
Springer
15 years 4 months ago
2007
Springer
A new trend in email spam is the emergence of image spam. Although current anti-spam technologies are quite successful in filtering text-based spam emails, the new image spams ar...