3658 search results - page 161 / 732 » Founding properties on measurement |
DAGM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. An information theoretic framework for grouping observations is proposed. The entropy change incurred by new observations is analyzed using the Kalman filter update equa...
FORMATS
2005
Springer
14 years 2 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
ICCAD
1997
IEEE
14 years 1 months ago
1997
IEEE
In this paper we present an algorithm for converting a BDD representation of a logic function into a multiple-level netlist of disjoint-support subfunctions. On the theoretical si...
GLVLSI
1996
IEEE
14 years 1 months ago
1996
IEEE
Important layout properties of electronic designs include space requirements and interconnection lengths. A reliable interconnection length estimation is essential for improving p...
CHI
1994
ACM
14 years 1 months ago
1994
ACM
This paper introduces multitrees, a new type of structure for representing information. Multitrees are a class of directed acyclic graphs (DAGs) with the unusual property that the...