6693 search results - page 115 / 1339 » Methods of Automatic Algorithm Generation |
169
Voted
MICCAI
2006
Springer
16 years 5 months ago
2006
Springer
This paper presents a learning based method for automatic extraction of the major cortical sulci from MRI volumes or extracted surfaces. Instead of using a few pre-defined rules su...
133
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
In this paper we propose a method for generating reduced models for a class of nonlinear dynamical systems, based on truncated balanced realization (TBR) algorithm and a recently ...
147
click to vote
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
121
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
125
click to vote
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
In a wireless environment, the bandwidth of the channels and the energy of the portable devices are limited. Data broadcast has become an excellent method for efficient data disse...