Sciweavers

2125 search results - page 39 / 425
» Points with Type-2 Operations
Sort
View
SIGCOMM
2010
ACM
15 years 1 months ago
The OKL4 microvisor: convergence point of microkernels and hypervisors
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...
Gernot Heiser, Ben Leslie
HVC
2007
Springer
107views Hardware» more  HVC 2007»
15 years 8 months ago
On the Characterization of Until as a Fixed Point Under Clocked Semantics
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
Dana Fisman
ICPR
2010
IEEE
15 years 22 days ago
A Game-Theoretic Approach to Robust Selection of Multi-View Point Correspondence
In this paper we introduce a robust matching technique that allows to operate a very accurate selection of corresponding feature points from multiple views. Robustness is achieved...
Emanuele Rodolà, Andrea Albarelli, Andrea Torsell...
ICIP
2010
IEEE
14 years 11 months ago
Human action recognition using the motion of interest points
Even if the problem of human action categorization from videos has received a lot of attention during the past decade, it remains a challenging problem in operative conditions due...
Francesco Monti, Carlo S. Regazzoni
107
Voted
ISMVL
2010
IEEE
174views Hardware» more  ISMVL 2010»
15 years 6 months ago
Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication Circuits
—Fixed-point multiplication architectures are designed and evaluated using a set of logic cells based on a radix-4, quaternary number system. The library of logic circuits is bas...
Satyendra R. Datla, Mitchell A. Thornton