5216 search results - page 611 / 1044 » Planning as Model Checking |
154
click to vote
ICCSA
2004
Springer
16 years 5 days ago
2004
Springer
Modeling fluid flow in a porous medium is a challenging computational problem. It involves highly heterogeneous distributions of porous medium property, various fluid flow char...
233
click to vote
SSDBM
2002
IEEE
15 years 11 months ago
2002
IEEE
The efficient management of interval data represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tree1 ), an effi...
179
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...
167
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. 3D models of coronary arteries is a valuable help for the planning and simulation of minimally-invasive cardiac surgery, and may be used in per-operative augmented realit...
200
click to vote
AUIC
2000
IEEE
15 years 11 months ago
2000
IEEE
The potential of the Web, via both the Internet and intranets, to facilitate development of clinical information systems has been evident for some time. Most Web-based clinical wo...