20126 search results - page 3601 / 4026 » Timed Transition Systems |
273
click to vote
ISBMS
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we present a physically-based simulation framework to build up real-time Minimally invasive surgery (MIS) simulators using pointbased techniques. In our framework, s...
176
click to vote
ITP
2010
15 years 9 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
195
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
The efficient execution of integration processes between distributed, heterogeneous data sources and applications is a challenging research area of data management. These inn proc...
192
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
The monumental cost of health care, especially for chronic disease treatment, is quickly becoming unmanageable. This crisis has motivated the drive towards preventative medicine, ...
189
Voted
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
In history and the other humanities, events and narrative sequences of events are often of primary interest. Yet while named events sometimes appear as subject headings, systems f...