1547 search results - page 154 / 310 » The Isabelle Collections Framework |
161
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
The National Cancer Institute has collected a large database of uterine cervix images, termed “cervigrams” for cervical cancer screening research. Tissues of interest within t...
157
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
129
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
104
click to vote
GRID
2007
Springer
15 years 10 months ago
2007
Springer
— This paper introduces a new concept of pluggable grid service, that provides seamless access to computational grids, based on aspect-oriented techniques. Pluggable grid service...
124
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In this multi-university collaborative research, we will develop a framework for the dynamic data-driven fault diagnosis of wind turbines which aims at making the wind energy a com...