2227 search results - page 257 / 446 » Evaluation Measures for TCBR Systems |
179
click to vote
QEST
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
160
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
171
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
In this paper we introduce a new shape constraint for interactive image segmentation. It is an extension of Veksler's star-convexity prior, in two ways: from a single star to ...
161
click to vote
ICONS
2009
IEEE
16 years 1 months ago
2009
IEEE
—As e-Business and e-Commerce applications are increasingly exposed to a variety of information security threats, corporate decision makers are increasingly forced to pay attenti...
181
click to vote
SASO
2008
IEEE
16 years 28 days ago
2008
IEEE
Ambient Intelligence scenarios can be deployed even when the environment lacks of a underlying network infrastructure. This can be done using distributed ad-hoc networks. Ambient ...