3172 search results - page 479 / 635 » Combining Specification Techniques for Processes, Data and T... |
130
click to vote
KBSE
2005
IEEE
16 years 11 hour ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
169
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
The problem of face identification has received significant attention over the years. For a given probe face, the goal of face identification is to match this unknown face against ...
174
click to vote
RIDE
1998
IEEE
15 years 10 months ago
1998
IEEE
Continuity of stream playback is the crucial constraint in designing a continuous media server. From a distributed memory architectural model developed earlier, we found that ther...
206
click to vote
STAIRS
2008
15 years 7 months ago
2008
Since the beginning of the 1990's, the Internet has constantly grown, proposing more and more services and sources of information. The challenge is no longer to provide users ...
182
click to vote
JMLR
2006
15 years 6 months ago
2006
Parallel software for solving the quadratic program arising in training support vector machines for classification problems is introduced. The software implements an iterative dec...