1415 search results - page 149 / 283 » Verified systems by composition from verified components |
204
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...
108
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 ...
166
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...
281
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
175
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...