Sciweavers

1724 search results - page 153 / 345
» Abstract Interpreters for Free
Sort
View
AP2PC
2007
Springer
15 years 8 months ago
Design of a Secure and Decentralized Location Service for Agent Platforms
Abstract. Agent platforms designed for Internet-scale, open networks need scalable and secure location services for agents and services. The location service based on the Fonkey pu...
Benno J. Overeinder, Michel Oey, Reinier Timmer, R...
BILDMED
2008
111views Algorithms» more  BILDMED 2008»
15 years 8 months ago
Segmentation of Bony Structures with Ligament Attachment Sites
Abstract. This work presents an approach towards reconstructing ligament and tendon attachment sites from 3D medical image data. We apply statistical shape models with an additiona...
Heiko Seim, Hans Lamecker, Markus Heller, Stefan Z...
DAGSTUHL
2008
15 years 8 months ago
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...
Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio...
LREC
2010
219views Education» more  LREC 2010»
15 years 8 months ago
Approaches to Text Mining Arguments from Legal Cases
Abstract. This paper describes recent approaches using text-mining to automatically profile and extract arguments from legal cases. We outline some of the background context and mo...
Adam Wyner, Raquel Mochales Palau, Marie-Francine ...
SPLC
2010
15 years 8 months ago
Feature-to-Code Mapping in Two Large Product Lines
Abstract. Large product lines have complex build systems, which obscure mapping of features to code. We extract this mapping out of the build systems of two operating systems kerne...
Thorsten Berger, Steven She, Rafael Lotufo, Krzysz...