7988 search results - page 1160 / 1598 » A Useful Undecidable Theory |
176
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...
154
Voted
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
186
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
145
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We investigate the influence of physiological measures like heart beat and respiration on functional connectivity networks from fMRI. Cardiac and respiratory effects were measured...
201
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We analyse the corpus of user relationships of the Slashdot technology news site. The data was collected from the Slashdot Zoo feature where users of the website can tag other use...