Sciweavers

1589 search results - page 234 / 318
» Constraints with Variables' Annotations
Sort
View
ICC
2007
IEEE
104views Communications» more  ICC 2007»
14 years 4 months ago
Multiplexing Video on Broadcast Channels via Convex Programs
— We propose a joint power- and rate-control scheme to broadcast a multiplicity of video sequences over a broadcast channel. The formulation is intended to be general in scope, w...
Raju Hormis, Elliot N. Linzer, Xiaodong Wang
EUROCAST
2007
Springer
104views Hardware» more  EUROCAST 2007»
14 years 4 months ago
Entropy-Based Modeling and Simulation of Evolution in Biological Systems
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
Stanislaw Sieniutycz
FSEN
2007
Springer
14 years 4 months ago
Zone-Based Universality Analysis for Single-Clock Timed Automata
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
Parosh Aziz Abdulla, Joël Ouaknine, Karin Qua...
GPCE
2007
Springer
14 years 4 months ago
Safe composition of product lines
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
Sahil Thaker, Don S. Batory, David Kitchin, Willia...
GMP
2006
IEEE
137views Solid Modeling» more  GMP 2006»
14 years 4 months ago
Theoretically Based Robust Algorithms for Tracking Intersection Curves of Two Deforming Parametric Surfaces
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
Xianming Chen, Richard F. Riesenfeld, Elaine Cohen...