3778 search results - page 312 / 756 » Erdos-Ko-Rado for three sets |
157
click to vote
ESCIENCE
2006
IEEE
16 years 6 days ago
2006
IEEE
Numerous Grid workflow engines exist, each generally specialized for a single application domain such as protein folding. Although the underlying purpose and functionality of the ...
138
click to vote
ESCIENCE
2006
IEEE
16 years 6 days ago
2006
IEEE
Grid computing is becoming the natural way to aggregate and share large and heterogeneous sets of resources. However, grid development and acceptance hinge on proving that grids r...
166
Voted
IAT
2006
IEEE
16 years 6 days ago
2006
IEEE
AbstractThis paper focuses on human-machine communication with intelligent agents, it proposes a generic architecture with an algorithm for natural language (NL) command interpreta...
172
Voted
ICCAD
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
160
click to vote
ICIP
2006
IEEE
16 years 5 days ago
2006
IEEE
During the past years, the development of microarray technology has been remarkable, and it is becoming a daily tool in many genomic research laboratories. The widespread adoption...