Sciweavers

1901 search results - page 235 / 381
» Models and Scheduling Mechanisms for Global Computing Applic...
Sort
View
DSVIS
2003
Springer
15 years 11 months ago
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
Marcelo Fantinato, Mario Jino
DEXAW
2005
IEEE
108views Database» more  DEXAW 2005»
16 years 3 days ago
Developing an Ontology for the Domain Name System
Ontologies provide a means of modelling and representing a knowledge domain. Such representation, already used in purpose-built distributed information systems, can also be of gre...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...
MICCAI
2009
Springer
16 years 7 months ago
Predictive Simulation of Bidirectional Glenn Shunt Using a Hybrid Blood Vessel Model
Abstract. This paper proposes a method for performing predictive simulation of cardiac surgery. It applies a hybrid approach to model the deformation of blood vessels. The hybrid b...
Hao Li, Wee Kheng Leow, Ing-Sh Chiu
IJCV
2006
262views more  IJCV 2006»
15 years 6 months ago
A Variational Model for Object Segmentation Using Boundary Information and Shape Prior Driven by the Mumford-Shah Functional
In this paper, we propose a new variational model to segment an object belonging to a given shape space using the active contour method, a geometric shape prior and the Mumford-Sha...
Xavier Bresson, Pierre Vandergheynst, Jean-Philipp...
MKWI
2008
150views Business» more  MKWI 2008»
15 years 8 months ago
A Reference Model for Seamless Cross-Organizational Collaboration in the Public Sector
: Today, electronic cross-company collaboration is about to gain significant momentum, but still shows weaknesses with respect to productivity, flexibility and quality: A lack of s...
Christoph Schroth