2088 search results - page 104 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
ICANNGA
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we propose a genetic and greedy algorithm combination for the optimization of the Topological Active Nets (TAN) model. This is a deformable model used for image segme...
110
click to vote
JAR
2006
14 years 12 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
SI3D
1995
ACM
15 years 3 months ago
1995
ACM
We describe an approach for determining potentially visible sets in dynamic architectural models. Our scheme divides the models into cells and portals, computing a conservative es...
101
click to vote
SAC
2004
ACM
15 years 5 months ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...
SP
1997
IEEE
15 years 4 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...