Sciweavers

949 search results - page 149 / 190
» Theory of Constraints
Sort
View
105
Voted
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
15 years 4 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...
AVI
2008
15 years 2 months ago
Eulr: a novel resource tagging facility integrated with Flickr
We have developed a novel information storage and display structure called EulerView, which can be used for the systematic management of tagged resources. The storage model is a n...
Rosario De Chiara, Andrew Fish, Salvatore Ruocco
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
15 years 2 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
CIKM
2008
Springer
15 years 2 months ago
Linear time membership in a class of regular expressions with interleaving and counting
The extension of Regular Expressions (REs) with an interleaving (shuffle) operator has been proposed in many occasions, since it would be crucial to deal with unordered data. Howe...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
COMPGEOM
2008
ACM
15 years 2 months ago
Circular partitions with applications to visualization and embeddings
We introduce a hierarchical partitioning scheme of the Euclidean plane, called circular partitions. Such a partition consists of a hierarchy of convex polygons, each having small ...
Krzysztof Onak, Anastasios Sidiropoulos