596 search results - page 18 / 120 » Search Strategies for Hybrid Search Spaces |
GLVLSI
2009
IEEE
14 years 2 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
This paper describes the results of a Wizard of Oz study of people's search behavior using BuddySystem, a proximitysensing system designed to help end-users locate people, pl...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
This work addresses a novel spatial keyword query called the m-closest keywords (mCK) query. Given a database of spatial objects, each tuple is associated with some descriptive inf...
PDP
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—This paper proposes a strategy to organize metricspace query processing in multi-core search nodes as understood in the context of search engines running on clusters of ...