1675 search results - page 303 / 335 » Interactive streaming of structured data |
66
Voted
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— EMG-to-force estimation for voluntary muscle contraction has many applications in human-machine interaction, motion analysis, and rehabilitation robotics for prosthetic limbs o...
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
ICWE
2009
Springer
15 years 4 months ago
2009
Springer
A corporate portal supports a community of users on cohesively managing a shared set of resources. Such management should also include social tagging, i.e. the practice of collabor...
74
Voted
DSD
2008
IEEE
15 years 4 months ago
2008
IEEE
—Debugging and analyzing Wireless Sensor Networks (WSNs) are important tasks for improving the quality and performance of the network. In this paper, Pimoto is to be presented, w...
VL
2008
IEEE
15 years 4 months ago
2008
IEEE
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...