749 search results - page 123 / 150 » Scenario based Analysis of Linear Computations |
106
click to vote
SIGSOFT
2006
ACM
15 years 8 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
157
click to vote
ICNP
2002
IEEE
15 years 7 months ago
2002
IEEE
— This paper describes a novel, ultra-fast heuristic algorithm to address an NP-hard optimization problem. One of its significances is that, for the first time, the paper shows...
124
click to vote
MVA
2007
15 years 3 months ago
2007
Mammography is the best method for early mass detection. In order to limit the search for abnormalities by Computer Aided Diagnosis systems to the region of the breast without und...
134
click to vote
JMLR
2006
15 years 1 months ago
2006
Kernels are two-placed functions that can be interpreted as inner products in some Hilbert space. It is this property which makes kernels predestinated to carry linear models of l...
135
click to vote
SIAMAM
2008
15 years 1 months ago
2008
Neural fields are an interesting option for modelling macroscopic parts of the cortex involving several populations of neurons, like cortical areas. Two classes of neural field equ...