1759 search results - page 68 / 352 » A guide to membrane computing |
121
click to vote
AIPS
2004
15 years 7 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
188
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
118
Voted
IJFCS
2007
15 years 5 months ago
2007
The stichotrichous ciliates are uni-cellular organisms which undergo a series of complex unscrambling of genetic encodings. This ability to rearrange DNA to produce the correct pr...
171
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
Fusion of Magnetic Resonance Imaging (MRI) and Trans Rectal Ultra Sound (TRUS) images during TRUS guided prostate biopsy improves localization of the malignant tissues. Segmented p...
168
click to vote
VCBM
2010
15 years 9 days ago
2010
Ultrasonography allows informative and expressive real time examinations of patients. Findings are usually reported as printouts, screen shots and video sequences. However, in cer...