642 search results - page 67 / 129 » Vagueness Facilitates Search |
SIGSOFT
2009
ACM
16 years 16 days 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
16 years 14 days 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...
172
click to vote
VLDB
2007
ACM
16 years 1 days 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
15 years 12 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...
105
click to vote
CEC
2009
IEEE
15 years 6 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...