1322 search results - page 201 / 265 » Efficient Goal-Directed Exploration |
113
Voted
EJC
2008
15 years 20 days 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...
112
click to vote
ENTCS
2008
15 years 20 days 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...
140
Voted
GRID
2008
Springer
15 years 20 days 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...
107
click to vote
BMCBI
2006
15 years 20 days 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...
108
Voted
HIJ
2008
15 years 20 days 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...