1659 search results - page 237 / 332 » From Functional Analysis to Iterative Methods |
124
Voted
IBPRIA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a method to decompose a field of surface normals (needle-map). A diffusion process is used to model the flow of height information induced by a fi...
118
click to vote
SEE
1997
Springer
15 years 6 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
128
Voted
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
112
click to vote
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
141
click to vote
COLING
2008
15 years 3 months ago
2008
This paper explores the use of the homotopy method for training a semi-supervised Hidden Markov Model (HMM) used for sequence labeling. We provide a novel polynomial-time algorith...