Sciweavers

2028 search results - page 126 / 406
» Differential Power Analysis Model and Some Results
Sort
View
CONCUR
1997
Springer
15 years 10 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
GRAPHICSINTERFACE
2003
15 years 7 months ago
Interactive Deformation Using Modal Analysis with Constraints
Modal analysis provides a powerful tool for efficiently simulating the behavior of deformable objects. This paper shows how manipulation, collision, and other constraints may be ...
Kris K. Hauser, Chen Shen, James F. O'Brien
ICCV
2003
IEEE
16 years 8 months ago
Learning a Classification Model for Segmentation
We propose a two-class classification model for grouping. Human segmented natural images are used as positive examples. Negative examples of grouping are constructed by randomly m...
Xiaofeng Ren, Jitendra Malik
BMCBI
2008
125views more  BMCBI 2008»
15 years 6 months ago
MAID : An effect size based model for microarray data integration across laboratories and platforms
Background: Gene expression profiling has the potential to unravel molecular mechanisms behind gene regulation and identify gene targets for therapeutic interventions. As microarr...
Ivan Borozan, Limin Chen, Bryan Paeper, Jenny E. H...
EDBTW
2006
Springer
15 years 10 months ago
Models for Incomplete and Probabilistic Information
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...
Todd J. Green, Val Tannen