197 search results - page 7 / 40 » High Performance Absorption Algorithms for Terminological Re... |
ASM
2008
ASM
13 years 10 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
EUROSSC
2010
Springer
13 years 6 months ago
2010
Springer
Smart homes have a user centered design that makes human activity as the most important type of context to adapt the environment according to people's needs. Sensor systems th...
JSAC
2006
13 years 8 months ago
2006
Abstract--Packet matching plays a critical role in the performance of many network devices and a tremendous amount of research has already been invested to come up with better opti...
IJRR
2006
13 years 8 months ago
2006
We examine the design, control and performance of the Cobotic Hand Controller, a novel, six-degree-of-freedom, admittance controlled haptic display. A highly geared admittance arch...
SPAA
1995
ACM
14 years 7 days ago
1995
ACM
For years, the computation rate of processors has been much faster than the access rate of memory banks, and this divergence in speeds has been constantly increasing in recent yea...