3146 search results - page 476 / 630 » Efficient Consequence Finding |
139
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
139
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
We propose a dynamic faceted search system for discoverydriven analysis on data with both textual content and structured attributes. From a keyword query, we want to dynamically s...
152
Voted
CRV
2006
IEEE
15 years 5 months ago
2006
IEEE
- This paper concerns the autonomous tracking of fish using a Remotely Operated Vehicle (ROV) equipped with a single camera. An efficient image processing algorithm is presented th...
131
Voted
DAC
2005
ACM
15 years 5 months ago
2005
ACM
Minimizing power consumption is one of the most important objectives in IC design. Resizing gates and assigning different Vt’s are common ways to meet power and timing budgets. ...
148
Voted
CIVR
2008
Springer
15 years 5 months ago
2008
Springer
Browsing and finding pictures in large-scale and heterogeneous collections is an important issue, most particularly for online photo sharing applications. Since such services know...