2211 search results - page 307 / 443 » Robustness of Model-Based Simulations |
DAC
2006
ACM
14 years 10 months ago
2006
ACM
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
MICCAI
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. We propose a deep study on tissue modelization and classification Techniques on T1-weighted MR images. Three approaches have been taken into account to perform this valid...
IPMI
2007
Springer
14 years 9 months ago
2007
Springer
Modern live cell fluorescence microscopy imaging systems, used abundantly for studying intra-cellular processes in vivo, generate vast amounts of noisy image data that cannot be pr...
ICML
2003
IEEE
14 years 9 months ago
2003
IEEE
Learning to fly an aircraft is a complex task that requires the development of control skills and goal achievement strategies. This paper presents a behavioural cloning system tha...
KDD
2004
ACM
14 years 9 months ago
2004
ACM
Unsupervised identification of patterns in microarray data has been a productive approach to uncovering relationships between genes and the biological process in which they are in...