626 search results - page 44 / 126 » When Can Formal Methods Make a Real Difference |
CSMR
2007
IEEE
14 years 3 months ago
2007
IEEE
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
Graph matching is a classical problem in pattern recognition with many applications, particularly when the graphs are embedded in Euclidean spaces, as is often the case for comput...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
To recognize and understand a person’s emotion has been known as one of the most important issue in human-computer interaction. In this paper, we present a multimodal system tha...
ECCV
2008
Springer
14 years 10 months ago
2008
Springer
Shadows are one of the most significant difficulties of the photometric stereo method. When four or more images are available, local surface orientation is overdetermined and the s...
TKDE
2008
13 years 8 months ago
2008
Clustering is inherently a difficult task and is made even more difficult when the selection of relevant features is also an issue. In this paper, we propose an approach for simult...