2487 search results - page 293 / 498 » cases 2009 |
170
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Significant research has been done on recognizing the daily activities using acceleration data but few works have focused on classifying the movements comprising an activity du...
153
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
149
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Physical human-robot interaction can be significantly improved when being aware about the role each partner takes in a joint manipulation task. This holds especially in computer ...
146
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
Multi-agent systems (MAS) is an accepted paradigm in safety-critical systems, like the production automation. Agents control the underlying machinery they are representing and int...
199
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
The popularization of both virtualization and CDP technologies mean that we can now watch disk accesses of systems from entities which are not controlled by the OS. This is a rich...