4564 search results - page 570 / 913 » Data Integration Using ID-Logic |
153
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
135
Voted
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper will describe the architecture of a compiler which will convert an untimed C description of a set of floating point expressions into a synthesizable datapath optimized ...
125
click to vote
SASP
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper presents a parallelized architecture for hardware acceleration of multi-view face detection. In our architecture, the multi-view face detection system generates rotat...
136
Voted
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents an approach for human activity recognition by representing the frames of the video sequence with the distribution of local motion features and their spatiotemp...
116
click to vote
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
Overlapping classes and outliers can significantly decrease a classifier performance. We adress here the problem of giving a classifier the ability to reject some patterns eith...