Sciweavers

9 search results - page 2 / 2
» The hyperplanes of DQ-(7, k) arising from embedding
Sort
View
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
13 years 9 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
MONTEREY
2007
Springer
13 years 11 months ago
Logic-Based Regulatory Conformance Checking
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
ISBI
2008
IEEE
14 years 6 months ago
Support vector machine for data on manifolds: An application to image analysis
The Support Vector Machine (SVM) is a powerful tool for classification. We generalize SVM to work with data objects that are naturally understood to be lying on curved manifolds, ...
Suman K. Sen, Mark Foskey, James Stephen Marron, M...
MMSEC
2004
ACM
205views Multimedia» more  MMSEC 2004»
13 years 10 months ago
Wavelet-based blind watermarking of 3D models
Watermarking of 3D meshes has received a limited attention due to the difficulties encountered in extending the algorithms developed for 1D (audio) and 2D (images and video) signa...
F. Uccheddu, Massimiliano Corsini, Mauro Barni