Sciweavers

3218 search results - page 514 / 644
» Timed Extensions for SDL
Sort
View
175
Voted
JOT
2010
126views more  JOT 2010»
15 years 3 months ago
Inferring design patterns using the ReP graph
Abstract Periodic refactoring of a large source code often becomes a necessity especially for long-lived projects. In order to increase maintainability and extensibility of such pr...
Tushar Sharma, Dharanipragada Janakiram
117
Voted
MICCAI
2010
Springer
15 years 3 months ago
Automatic Detection and Segmentation of Axillary Lymph Nodes
Lymph node detection and measurement is a difficult and important part of cancer treatment. In this paper we present a robust and effective learning-based method for the automatic...
Adrian Barbu, Michael Sühling, Xun Xu, David ...
132
Voted
PVLDB
2010
129views more  PVLDB 2010»
15 years 3 months ago
AXART - Enabling Collaborative Work with AXML Artifacts
The workflow models have been essentially operation-centric for many years, ignoring almost completely the data aspects. Recently, a new paradigm of data-centric workflows, call...
Bogdan Marinoiu, Serge Abiteboul, Pierre Bourhis, ...
SAGT
2010
Springer
151views Game Theory» more  SAGT 2010»
15 years 3 months ago
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users
Abstract. We consider network congestion games in which a finite number of non-cooperative users select paths. The aim is to mitigate the inefficiency caused by the selfish users...
Dimitris Fotakis, George Karakostas, Stavros G. Ko...
TC
2010
15 years 3 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi