788 search results - page 116 / 158 » Design and use of a system-level specification and verificat... |
186
click to vote
ICIAP
1995
ACM
15 years 9 months ago
1995
ACM
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...
192
click to vote
MOBIHOC
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents a new carrier sensing mechanism called DVCS (Directional Virtual Carrier Sensing) for wireless communication using directional antennas. DVCS does not require ...
165
click to vote
AAAI
2006
15 years 7 months ago
2006
Coordinating multiple agents that need to perform a sequence of actions to maximize a system level reward requires solving two distinct credit assignment problems. First, credit m...
163
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
We explore the feasibility of muscle-computer interfaces (muCIs): an interaction methodology that directly senses and decodes human muscular activity rather than relying on physic...
162
click to vote
IIWAS
2008
15 years 7 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...