2747 search results - page 265 / 550 » Non-oblivious Strategy Improvement |
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
116
click to vote
MIR
2006
ACM
15 years 5 months ago
2006
ACM
Temporal consistency is ubiquitous in video data, where temporally adjacent video shots usually share similar visual and semantic content. This paper presents a thorough study of ...
MOBIWAC
2006
ACM
15 years 5 months ago
2006
ACM
Some reactive ad hoc protocols allow the discovery and/or storage of multiple paths to the same destination node. The selection of the path to utilize is commonly based on the cri...
123
click to vote
DASFAA
2005
IEEE
15 years 5 months ago
2005
IEEE
Recently, several approaches that mine frequent XML query patterns and cache their results have been proposed to improve query response time. However, frequent XML query patterns m...
124
click to vote
ICPP
2005
IEEE
15 years 5 months ago
2005
IEEE
Consider a heterogeneous cluster system, consisting of processors with varying processing capabilities and network links with varying bandwidths. Given a DAG application to be sch...