10870 search results - page 1984 / 2174 » Model Checking Programs |
118
click to vote
UM
2007
Springer
15 years 8 months ago
2007
Springer
Personalization is one of the important research issues in the areas of information retrieval and Web search. Providing personalized services that are tailored toward the specific...
141
click to vote
VAMOS
2007
Springer
15 years 8 months ago
2007
Springer
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
AVSS
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we address the spatial activity recognition problem with an algorithm based on Smith-Waterman (SW) local alignment. The proposed SW approach utilises dynamic program...
111
click to vote
CBMS
2006
IEEE
15 years 7 months ago
2006
IEEE
Fast retrieval of images from large databases especially from large medical image databases is of great interest to researchers. We have developed shape-based image retrieval syst...
102
click to vote
CLUSTER
2006
IEEE
15 years 7 months ago
2006
IEEE
The increase in the use of parallel distributed architectures in order to solve large-scale scientific problems has generated the need for performance prediction for both determi...