1054 search results - page 92 / 211 » From a Verified Kernel towards Verified Systems |
197
click to vote
ICANN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper presents an experimental "morphological analysis" retrieval system for mammograms, using Relevance-Feedback techniques. The features adopted are firs...
105
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Free viewpoint TV (FTV) enables us to view a distant 3D world by freely changing our viewpoints as if we were there. FTV will bring an epochal change in the history of television ...
157
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
192
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
The perceived quality of a synthetic visual speech signal greatly depends on the smoothness of the presented visual articulators. This paper explains how concatenative visual spee...
162
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The Macaulay2 package PHCpack.m2 provides an interface to some of the functionality of PHCpack, a general-purpose solver for polynomial systems by homotopy continuation. The main f...