Sciweavers

1213 search results - page 71 / 243
» Traceability for System Families
Sort
View
CORR
2007
Springer
87views Education» more  CORR 2007»
14 years 12 months ago
Entropy of capacities on lattices and set systems
We propose a definition for the entropy of capacities defined on lattices. Classical capacities are monotone set functions and can be seen as a generalization of probability mea...
Aoi Honda, Michel Grabisch
SIAMCOMP
2000
86views more  SIAMCOMP 2000»
14 years 11 months ago
On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...
Maria Luisa Bonet, Juan Luis Esteban, Nicola Gales...
ORDER
2010
89views more  ORDER 2010»
14 years 10 months ago
On Order Types of Systems of Segments in the Plane
Let r(n) denote the largest integer such that every family C of n pairwise disjoint segments in the plane in general position has r(n) members whose order type can be represented ...
Andrew Suk
COMPCON
1996
IEEE
15 years 4 months ago
Architecture of a Broadband MediaProcessor
A broadband mediaprocessor is a general-purpose computer system which reaches the goal of communicating and processing at broadband rates using compiled software rather than speci...
Craig Hansen
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
15 years 3 months ago
Stochastic control over finite capacity channels: Causality, feedback and uncertainty
Abstract-- Optimal communication/control analysis and design of dynamical controlled systems, when there are finite capacity communication constraints often involve information and...
Charalambos D. Charalambous, Christos K. Kourtella...