Sciweavers

8555 search results - page 1356 / 1711
» Property Based Coordination
Sort
View
IROS
2007
IEEE
124views Robotics» more  IROS 2007»
16 years 1 months ago
Vocal imitation using physical vocal tract model
— A vocal imitation system was developed using a computational model that supports the motor theory of speech perception. A critical problem in vocal imitation is how to generate...
Hisashi Kanda, Tetsuya Ogata, Kazunori Komatani, H...
ISBI
2007
IEEE
16 years 1 months ago
Harp Tracking Refinement Using Seeded Region Growing
Tagged magnetic resonance (MR) imaging makes it possible to image the motion of tissues such as the muscles found in the heart and tongue. The harmonic phase (HARP) method largely...
Xiaofeng Liu, Emi Murano, Maureen C. Stone, Jerry ...
SEFM
2007
IEEE
16 years 1 months ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
SIES
2007
IEEE
16 years 1 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
SOCA
2007
IEEE
16 years 1 months ago
Mobile Agent and Web Service Integration Security Architecture
Mobile agent technology and Web Service technology compensate each other and play very important roles in eservice applications. The mechanism of Web Services technology naturally...
Junqi Zhang, Yan Wang 0002, Vijay Varadharajan
« Prev « First page 1356 / 1711 Last » Next »