1322 search results - page 201 / 265 » Efficient Goal-Directed Exploration |
146
Voted
EJC
2008
15 years 3 months ago
2008
We explore the connection between locally constrained graph homomorphisms and degree matrices arising from an equitable partition of a graph. We provide several equivalent charact...
139
Voted
ENTCS
2008
15 years 3 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
176
Voted
GRID
2008
Springer
15 years 3 months ago
2008
Springer
A myriad of recent activities can be seen towards dynamic workflow composition for processing complex and data intensive problems. Meanwhile, the simultaneous emergence of the gri...
137
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Structure matching plays an important part in understanding the functional role of biological structures. Bioinformatics assists in this effort by reformulating this p...
137
Voted
HIJ
2008
15 years 3 months ago
2008
As clinical trials and medical population studies grow in size and complexity, a computational infrastructure that can underpin such studies is highly desirable. This should addre...