557 search results - page 91 / 112 » The L4.verified Project - Next Steps |
ICIAP
2009
ACM
14 years 8 months ago
2009
ACM
Abstract. Score functions induced by generative models extract fixeddimensions feature vectors from different-length data observations by subsuming the process of data generation, ...
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
As technology scales to 40nm and beyond, intra-die process variability will cause large delay and leakage variations across a chip in addition to expected die-to-die variations. I...
EDBT
2008
ACM
14 years 7 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
— Advanced communication technologies enable strangers to work together on the same tasks or projects in virtual environments. Understanding the formation of taskoriented groups ...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— A points surface reconstruction algorithm of 3D object models from multiple silhouettes is proposed in this paper. Some images of the target object are taken from a circular tr...