9726 search results - page 1369 / 1946 » An Approach to Optimize Data Processing in Business Processe... |
197
click to vote
ECBS
2003
IEEE
16 years 16 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
190
click to vote
DNA
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. For robust molecular implementation of tile-based algorithmic self-assembly, methods for reducing errors must be developed. Previous studies suggested that by control of ...
210
click to vote
IBPRIA
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. In this paper we propose a supervised method for the segmentation of masses in mammographic images. The algorithm starts with a selected pixel inside the mass, which has ...
175
click to vote
AGILEDC
2009
IEEE
16 years 10 days ago
2009
IEEE
Projects combining agile methods with CMMI1 are more successful in producing higher quality software that more effectively meets customer needs at a faster pace. Systematic Softwa...
223
click to vote
DATE
2010
IEEE
16 years 10 days ago
2010
IEEE
—Subdivision Surfaces provide a compact way to describe a smooth surface using a mesh model. They are widely used in 3D animation and nearly all modern modeling programs support ...