642 search results - page 67 / 129 » Vagueness Facilitates Search |
SIGSOFT
2009
ACM
14 years 10 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
Generally speaking, digital libraries have multiple granularities of semantic units: book, chapter, page, paragraph and word. However, there are two limitations of current eBook r...
VLDB
2007
ACM
14 years 10 months ago
2007
ACM
Given a set of multidimensional data points, skyline query retrieves a set of data points that are not dominated by any other points. This query is useful for multi-preference ana...
EDBT
2008
ACM
14 years 10 months ago
2008
ACM
Data dissemination in pervasive environments is often accomplished by on-demand broadcasting. The time critical nature of the data requests plays an important role in scheduling t...
CEC
2009
IEEE
14 years 4 months ago
2009
IEEE
— In this paper, the performance assessment of the hybrid Archive-based Micro Genetic Algorithm (AMGA) on a set of bound-constrained synthetic test problems is reported. The hybr...