1585 search results - page 131 / 317 » A framework for computer-aided validation |
134
click to vote
DATESO
2007
15 years 4 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
121
Voted
ECBS
2009
IEEE
15 years 7 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
161
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
152
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
One of the main challenges in image segmentation is to adapt prior knowledge about the objects/regions that are likely to be present in an image, in order to obtain more precise d...
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
A system of using a planar parallel plate to achieve single camera stereo has been proposed by Nishimoto and Shirai[5].Their work was based on an assumption that the optical axis ...