9110 search results - page 1457 / 1822 » Formally-Based Design Evaluation |
189
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
143
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we introduce a new image database, consisting of examples of artists' work. Successful classification of this database suggests the capacity to automatically re...
191
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
Acronyms are widely used in many domains to abbreviate and stress important concepts. Due to its dynamicity and unbounded nature, manual attempts to compose a global scale reposito...
198
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Classification problems in critical applications such as health care or security often require very high reliability because of the high costs of errors. In order to achieve this r...
162
click to vote
CHI
2010
ACM
15 years 7 months ago
2010
ACM
In this paper we present the design and evaluation of a two dimensional haptics display intended to be used for enhancing experience of movies and rides. The display, haptics surf...