3082 search results - page 533 / 617 » Deviation Analysis: A New Use of Model Checking |
145
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Motivated by numerous applications in which the data may be modeled by a variable subscripted by three or more indices, we develop a tensor-based extension of the matrix CUR decom...
172
click to vote
EKAW
1992
Springer
15 years 8 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
140
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
Minimally invasive surgery (MIS) involves a multidimensional series of tasks requiring a synthesis between visual information and the kinematics and dynamics of the surgical tools...
126
click to vote
EWC
2007
15 years 4 months ago
2007
This paper describes and exercises a new design paradigm for cast components. The methodology integrates foundry process simulation, non-destructive evaluation (nde), stress analys...
130
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we propose a general framework for fusing bottom-up segmentation with top-down object behavior classification over an image sequence. This approach is beneficial fo...