Sciweavers

2748 search results - page 378 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
CADE
2010
Springer
15 years 7 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
IJCV
2008
155views more  IJCV 2008»
15 years 6 months ago
Fast Transformation-Invariant Component Analysis
For software and more illustrations: http://www.psi.utoronto.ca/anitha/fastTCA.htm Dimensionality reduction techniques such as principal component analysis and factor analysis are...
Anitha Kannan, Nebojsa Jojic, Brendan J. Frey
IVC
2006
120views more  IVC 2006»
15 years 6 months ago
Facial pose from 3D data
The distribution of the apparent 3D shape of human faces across the view-sphere is complex, owing to factors such as variations in identity, facial expression, minor occlusions an...
Ajit Rajwade, Martin D. Levine
IJON
2000
99views more  IJON 2000»
15 years 6 months ago
Visualizing the visual system
As part of a forthcoming planetarium show about the human brain, we are producing realistic models of the central nervous system at a variety of scales, from whole brain images to...
Greg Hood, John Burkardt, Greg Foss
IJAOSE
2010
126views more  IJAOSE 2010»
15 years 3 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur