6608 search results - page 1142 / 1322 » On the Completeness of Model Checking |
206
click to vote
CCGRID
2008
IEEE
15 years 11 months ago
2008
IEEE
To be competitive, Enterprises are collecting and analyzing increasingly large amount of data in order to derive business insights. However, there are at least two challenges to m...
158
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Differential repetitive processes are a distinct class of continuous-discrete twodimensional linear systems of both systems theoretic and applications interest. These pr...
143
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
138
click to vote
HAPTICS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we describe a system that combines human input and automatic grasp planning for controlling an artificial hand, with applications in the area of hand neuroprosthetic...
160
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
In this work we present a method to perform a complete audiovisual source separation without need of previous information. This method is based on the assumption that sounds are c...