6608 search results - page 1219 / 1322 » On the Completeness of Model Checking |
123
Voted
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
One of the major problems in modeling images for vision tasks is that images with very similar structure may locally have completely different appearance, e.g., images taken under...
248
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...
116
Voted
VIS
2008
IEEE
16 years 5 months ago
2008
IEEE
Abstract--Scatterplots are well established means of visualizing discrete data values with two data variables as a collection of discrete points. We aim at generalizing the concept...
260
Voted
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
150
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Existing approaches to timing analysis under uncertainty are based on restrictive assumptions. Statistical STA techniques assume that the full probabilistic distribution of parame...