533 search results - page 68 / 107 » Protocol synthesis from timed and structured specifications |
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
Minimally invasive surgery (MIS) involves a multidimensional series of tasks requiring a synthesis between visual information and the kinematics and dynamics of the surgical tools...
EDBT
2006
ACM
14 years 11 months ago
2006
ACM
Recent years have seen growing interest in effective algorithms for summarizing and querying massive, high-speed data streams. Randomized sketch synopses provide accurate approxima...
ISESE
2005
IEEE
14 years 4 months ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...
CG
2005
Springer
13 years 11 months ago
2005
Springer
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. In order to aid...
JODL
2000
13 years 10 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...