6040 search results - page 594 / 1208 » Generating Instance Models from Meta Models |
202
click to vote
DAS
2010
Springer
15 years 5 months ago
2010
Springer
Repetition of layout structure is prevalent in document images. In document design, such repetition conveys the underlying logical and functional structure of the data. For exampl...
215
click to vote
CSFW
2011
IEEE
14 years 7 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
199
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
The use of 3-D ultrasound data has several advantages over 2-D ultrasound for fetal biometric measurements, such as considerable decrease in the examination time, possibility of p...
268
click to vote
PAMI
2012
13 years 9 months ago
2012
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
215
click to vote
SEUS
2010
IEEE
15 years 5 months ago
2010
IEEE
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...