12981 search results - page 2376 / 2597 » Model Checking (Abstract) |
133
Voted
AIME
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Creating computer-interpretable guidelines (CIGs) requires much effort. This effort would be leveraged by sharing CIGs with more than one implementing institution. Sharin...
111
Voted
BILDMED
2009
15 years 5 months ago
2009
Abstract. We introduce a novel model-based approach for the segmentation and quantification of the aortic arch morphology in 3D CTA images for endovascular aortic repair. The appro...
144
Voted
CCIA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
143
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we describe our participation in the 2010 CLEF-IP Prior Art Retrieval task where we examined the impact of information in different sections of patent documents, nam...
141
Voted
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper describes our approach to the Person Name Disambiguation clustering task in the Third Web People Search Evaluation Campaign(WePS3). The method focuses on two a...