3169 search results - page 524 / 634 » Robust Timed Automata |
FIMH
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We propose a new framework for simulating blood flow inside the heart, usable with geometric models of the heart from patientspecific data. The method is geared toward re...
HT
2007
ACM
13 years 11 months ago
2007
ACM
In the modern Web, users are accessing their favourite Web applications from any place, at any time and with any device. In this setting, they expect the application to user-tailo...
GI
2009
Springer
13 years 11 months ago
2009
Springer
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...
ICCAD
2007
IEEE
13 years 11 months ago
2007
IEEE
Due to the recent advances in microfluidics, digital microfluidic biochips are expected to revolutionize laboratory procedures. One critical problem for biochip synthesis is the dr...
3DPVT
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a new method for registering computer tomography (CT) volumetric data of human bone structures relative to observations made at different times. The system we ...