Sciweavers

595 search results - page 47 / 119
» Survivability Analysis of Network Specifications
Sort
View
125
Voted
IFIP
2010
Springer
15 years 8 months ago
Laban Movement Analysis towards Behavior Patterns
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
Luís Santos, Jorge Dias
GLVLSI
2009
IEEE
172views VLSI» more  GLVLSI 2009»
15 years 7 months ago
Contact merging algorithm for efficient substrate noise analysis in large scale circuits
A methodology is proposed to efficiently estimate the substrate noise generated by large scale aggressor circuits. Small spatial voltage differences within the ground distribution...
Emre Salman, Renatas Jakushokas, Eby G. Friedman, ...
AI
2008
Springer
15 years 6 months ago
A Novel Approach for Social Behavior Analysis of the Blogosphere
The web, as a real mass medium, has become an invaluable data source for Information Extraction and Retrieval systems. Digital authoring is a relatively new style of communication,...
Reza Zafarani, Mohammad-Amin Jashki, Hamidreza Bag...
PAMI
2008
189views more  PAMI 2008»
15 years 3 months ago
A Marked Point Process of Rectangles and Segments for Automatic Analysis of Digital Elevation Models
This work presents a framework for automatic feature extraction from images using stochastic geometry. Features in images are modeled as realizations of a spatial point process of ...
Mathias Ortner, Xavier Descombes, Josiane Zerubia
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 11 months ago
Formal analysis of piecewise affine systems through formula-guided refinement
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Ce...