Sciweavers

2748 search results - page 378 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
136
Voted
CADE
2010
Springer
15 years 5 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 4 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
147
Voted
IVC
2006
120views more  IVC 2006»
15 years 4 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
125
Voted
IJON
2000
99views more  IJON 2000»
15 years 3 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 1 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