2689 search results - page 380 / 538 » ParalleX: A Study of A New Parallel Computation Model |
208
click to vote
Publication
Transit agencies implement limited-stop (express) bus services as a mean to provide an attractive and competitive transportation mode when compared to the automobile. In 2008, the ...
219
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
152
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
We have developed a new approach for preoperative selection of points from a surface model for rigid shape-based registration. This approach is based on an extension of our earlier...
176
click to vote
HAPTICS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents a new soft-finger haptic rendering algorithm based on the concept of limit curve which was previously used by the robotic manipulation community to study slid...
171
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...