Sciweavers

1920 search results - page 107 / 384
» The Complexity of the A B C Problem
Sort
View
CP
2010
Springer
15 years 4 months ago
The Lattice Structure of Sets of Surjective Hyper-Operations
Abstract. We study the lattice structure of sets (monoids) of surjective hyper-operations on an n-element domain. Through a Galois connection, these monoids form the algebraic coun...
Barnaby Martin
CVPR
2005
IEEE
16 years 8 months ago
A Generative Model of Human Hair for Hair Sketching
Human hair is a very complex visual pattern whose representation is rarely studied in the vision literature despite its important role in human recognition. In this paper, we prop...
Hong Chen, Song Chun Zhu
174
Voted
ICSE
2007
IEEE-ACM
16 years 13 days ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol
133
Voted
MICCAI
2005
Springer
16 years 7 months ago
An Automated Approach to Connectivity-Based Partitioning of Brain Structures
Abstract. We present an automated approach to the problem of connectivity-based partitioning of brain structures using diffusion imaging. White-matter fibres connect different area...
Philip A. Cook, Hui Zhang 0005, Brian B. Avants, P...
136
Voted
SIAMJO
2008
92views more  SIAMJO 2008»
15 years 6 months ago
A Trust Region Spectral Bundle Method for Nonconvex Eigenvalue Optimization
We present a nonsmooth optimization technique for nonconvex maximum eigenvalue functions and for nonsmooth functions which are infinite maxima of eigenvalue functions. We prove glo...
Pierre Apkarian, Dominikus Noll, O. Prot