197 search results - page 7 / 40 » High Performance Absorption Algorithms for Terminological Re... |
128
Voted
ASM
2008
ASM
15 years 4 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 ...
156
click to vote
EUROSSC
2010
Springer
15 years 11 days 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...
137
Voted
JSAC
2006
15 years 2 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...
118
Voted
IJRR
2006
15 years 2 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...
154
click to vote
SPAA
1995
ACM
15 years 5 months 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...