1941 search results - page 354 / 389 » Reasoning about Computations Using Two-Levels of Logic |
150
Voted
ADHOC
2011
14 years 10 months ago
2011
To accommodate real-time multimedia application while satisfying application QoS requirements in a wireless ad-hoc network, we need QoS control mechanisms. In this paper, we propo...
101
Voted
HRI
2010
ACM
15 years 10 months ago
2010
ACM
— In recent work, “interaction patterns” have been proposed as a means to characterize essential features of humanrobot interaction. A problem arises, however, in knowing whe...
144
Voted
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
Any architectural optimization aims at satisfying the end user. However, modern architectures execute with little to no knowledge about the individual user. If architectures could...
150
Voted
PEPM
2010
ACM
16 years 17 days ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
139
Voted
HRI
2006
ACM
15 years 9 months ago
2006
ACM
The essence of the signal-to-symbol problem consists of associating a symbolic description of an object (e.g., a chair) to a signal (e.g., an image) that captures the real object....