Sciweavers

3235 search results - page 63 / 647
» Partial Redundant Modeling
Sort
View
FDL
2007
IEEE
15 years 6 months ago
An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...
Leran Wang, Chenxu Zhao, Tom J. Kazmierski
ACST
2006
15 years 1 months ago
An efficient search algorithm for partially ordered sets
Consider the problem of membership query for a given partially ordered set. We devise a greedy algorithm which can produce near-optimal search strategies. Rigorous analysis has be...
Yan Chen
FORMATS
2007
Springer
15 years 3 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
INFOCOM
2010
IEEE
14 years 10 months ago
Critical Sensor Density for Partial Connectivity in Large Area Wireless Sensor Networks
—Assume sensor deployment follows the Poisson distribution. For a given partial connectivity requirement ρ, 0.5 < ρ < 1, we prove, for a hexagon model, that there exists ...
Haiyan Cai, Xiaohua Jia, Mo Sha
CVPR
2007
IEEE
15 years 10 months ago
Partially Occluded Object-Specific Segmentation in View-Based Recognition
We present a novel object-specific segmentation method which can be used in view-based object recognition systems. Previous object segmentation approaches generate inexact results ...
Minsu Cho (Seoul National University), Kyoung Mu L...