Sciweavers

5203 search results - page 764 / 1041
» An approach to workflow modeling and analysis
Sort
View
EMSOFT
2006
Springer
15 years 10 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid
AIM
2006
15 years 8 months ago
Analysing dependencies between documentary fragments for the management of mediated communities of action
: This paper focuses on situations where documents serve to coordinate a distributed Community of Action engaged in a common goal-directed activity. In such contexts, a document ap...
Nicolas Prat, Manuel Zacklad
CUZA
2002
132views more  CUZA 2002»
15 years 6 months ago
A Process Algebra for Predictible Control Systems
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
Nicolae Marian
MICCAI
2010
Springer
15 years 5 months ago
3D Knowledge-Based Segmentation Using Pose-Invariant Higher-Order Graphs
Segmentation is a fundamental problem in medical image analysis. The use of prior knowledge is often considered to address the ill-posedness of the process. Such a process consists...
Chaohui Wang, Olivier Teboul, Fabrice Michel, Salm...
ICDAR
2009
IEEE
15 years 4 months ago
Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
Pierre Le Bodic, Hervé Locteau, Séba...