2935 search results - page 439 / 587 » An Integrated Approach to High Integrity Software Verificati... |
188
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
167
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
In this paper, we wish to build a high quality database of
images depicting scenes, along with their real-world threedimensional
(3D) coordinates. Such a database is useful
for ...
204
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper formalizes a novel, intrinsic geometric scale space (IGSS) of 3D surface shapes. The intrinsic geometry of a surface is diffused by means of the Ricci flow for the gener...
146
click to vote
DATE
2007
IEEE
16 years 13 days ago
2007
IEEE
1 Developing modern integrated and embedded systems require well-designed processes to ensure flexibility and independency. These features are related to exchangeability of hardw...
173
Voted
PKDD
2007
Springer
16 years 7 days ago
2007
Springer
Textual patterns have been used effectively to extract information from large text collections. However they rely heavily on textual redundancy in the sense that facts have to be m...