Sciweavers

1749 search results - page 212 / 350
» Conditional colorings of graphs
Sort
View
OOPSLA
1991
Springer
15 years 10 months ago
Object-Oriented Type Inference
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
Jens Palsberg, Michael I. Schwartzbach
AUTOMATICA
2007
92views more  AUTOMATICA 2007»
15 years 6 months ago
Observability analysis for structured bilinear systems: A graph-theoretic approach
This paper is devoted to the generic observability analysis for structured bilinear systems using a graph-theoretic approach. On the basis of a digraph representation, we express ...
T. Boukhobza, Frédéric Hamelin
AUTOMATICA
2004
91views more  AUTOMATICA 2004»
15 years 6 months ago
Comparing digital implementation via the bilinear and step-invariant transformations
From an analog system K, digital systems Kd and Kbt are often obtained via the step-invariant and bilinear transformations, respectively. For the case when K is stable, it is show...
Guofeng Zhang, Tongwen Chen
ENDM
2010
103views more  ENDM 2010»
15 years 4 months ago
Structural Analysis for Differential-Algebraic Systems: Complexity, Formulation and Facets
In this paper we consider the structural analysis problem for differential-algebraic systems with conditional equations. This consists, given a conditional differential algebraic ...
Mathieu Lacroix, Ali Ridha Mahjoub, Sébasti...
CVPR
2007
IEEE
16 years 8 months ago
Cast Shadow Removal Combining Local and Global Features
In this paper, we present a method using pixel-level information, local region-level information and global-level information to remove shadow. At the pixel-level, we employ GMM t...
Zhou Liu, Kaiqi Huang, Tieniu Tan, Liangsheng Wang