1547 search results - page 64 / 310 » The Isabelle Collections Framework |
RTSS
2002
IEEE
14 years 18 days ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...
PRL
2008
13 years 7 months ago
2008
In recent years, relevance feedback has been studied extensively as a way to improve performance of content-based image retrieval (CBIR). Since users are usually unwilling to prov...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
Object detection with a learned classifier has been applied successfully to difficult tasks such as detecting faces and pedestrians. Systems using this approach usually learn the ...
MMM
2007
Springer
14 years 2 months ago
2007
Springer
Domain-specific knowledge of paintings defines a wide range of concepts for annotation and flexible retrieval of paintings. In this work, we employ the ontology of artistic concept...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...