677 search results - page 27 / 136 » Dependent Types from Counterexamples |
GMP
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a method for medial surface reconstruction from volumetric data of thin-plate objects including junctions. Given medial voxels and distance fields computed from binariz...
EUC
2005
Springer
15 years 3 months ago
2005
Springer
Many sensors providing situation data will be in everywhere under the ubiquitous environment. It requires the current RFID system should be extended to recognize and use situation ...
90
Voted
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
There is a diversity of functional genomics data, such as gene expression data from microarray experiments, phenotypic data from gene deletion experiments, protein-protein interac...
TRIDENTCOM
2010
IEEE
14 years 7 months ago
2010
IEEE
A scalable approach to building large scale experimentation testbeds involves multiplexing the system resources for better utilization. Virtualization provides a convenient means o...
PUC
2010
14 years 8 months ago
2010
We propose and investigate a paradigm for activity recognition, distinguishing the ‘on-going activity’ recognition task (OGA) from that addressing ‘complete activities’ (C...