Sciweavers

27274 search results - page 4823 / 5455
» A framework for framework documentation
Sort
View
CLEF
2009
Springer
15 years 5 months ago
Overview of the CLEF 2009 Medical Image Annotation Track
This paper describe the last round of the medical image annotation task in ImageCLEF 2009. After four years, we defined the task as a survey of all the past experience. Seven grou...
Tatiana Tommasi, Barbara Caputo, Petra Welter, Mar...
CRV
2009
IEEE
139views Robotics» more  CRV 2009»
15 years 5 months ago
A Multiple Hypothesis Tracking Method with Fragmentation Handling
In this paper, we present a new multiple hypotheses tracking (MHT) approach. Our tracking method is suitable for online applications, because it labels objects at every frame and ...
Atousa Torabi, Guillaume-Alexandre Bilodeau
CSE
2009
IEEE
15 years 5 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
DLOG
2009
15 years 5 months ago
Revision of DL-Lite Knowledge Bases
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
Zhe Wang, Kewen Wang, Rodney W. Topor
DLS
2009
196views Languages» more  DLS 2009»
15 years 5 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
« Prev « First page 4823 / 5455 Last » Next »