Sciweavers

1064 search results - page 88 / 213
» Neuro-Wavelet Parametric Modeling
Sort
View
108
Voted
CSFW
2004
IEEE
15 years 4 months ago
Modelling Downgrading in Information Flow Security
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
Annalisa Bossi, Carla Piazza, Sabina Rossi
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 2 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
115
Voted
TSP
2011
170views more  TSP 2011»
14 years 7 months ago
Model Selection for Sinusoids in Noise: Statistical Analysis and a New Penalty Term
—Detection of the number of sinusoids embedded in noise is a fundamental problem in statistical signal processing. Most parametric methods minimize the sum of a data fit (likeli...
Boaz Nadler, Leonid Kontorovich
103
Voted
ICIAP
1999
ACM
15 years 4 months ago
Self-Training Statistic Snake for Image Segmentation and Tracking
In this work we propose a new supervised deformable model that generalizes the classical contour-based snake. This model is defined to deform in a feature space generated by a se...
Xose Manuel Pardo, Petia Radeva, Juan José ...
102
Voted
SIGGRAPH
1991
ACM
15 years 4 months ago
Convolution surfaces
Smoothly blended articulated models are often difficult to construct using current techniques. Our solution in this paper is to extend the surfaces introduced by Blinn [Blinn 1982...
Jules Bloomenthal, Ken Shoemake