5216 search results - page 921 / 1044 » Planning as Model Checking |
120
click to vote
ICCAD
2004
IEEE
16 years 11 days ago
2004
IEEE
Closed formed expressions for buffered interconnect delay approximation have been around for some time. However, previous approaches assume that buffers are free to be placed anyw...
114
Voted
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
It is generally acknowledged that macroinvertebrates are good indicators of water quality in streams, as a number of taxa are sensitive to pollution and integrate their response t...
121
Voted
EVOW
2010
Springer
15 years 10 months ago
2010
Springer
A relatively rare application of artificial intelligence at the nexus of art and music is dance. The impulse shared by all humans to express ourselves through dance represents a u...
125
click to vote
ISBI
2009
IEEE
15 years 10 months ago
2009
IEEE
Prostate cancer is the most frequent cancer for men and the second cause of cancer death. Confirmation of cancer requires transrectal prostate biopsies. Tracking systems for tran...
108
Voted
DAC
2009
ACM
15 years 10 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...