3742 search results - page 684 / 749 » On the Use of Formal Techniques for Validation |
180
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
186
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
189
click to vote
JCB
2006
15 years 6 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
198
click to vote
JUCS
2002
15 years 5 months ago
2002
: Managing image data in a database system using metadata has been practiced since the last two decades. However, describing an image fully and adequately with metadata is practica...
183
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. This paper evaluates strategies to combine multiple segmentations of the same image, generated for example by different segmentation methods or by different human experts...