Sciweavers

413 search results - page 54 / 83
» Coding discretizations of continuous functions
Sort
View
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
13 years 6 months ago
A proposal for real-time interfaces in SPEEDS
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
Purandar Bhaduri, Ingo Stierand
BERTINORO
2005
Springer
14 years 1 months ago
Evolving Fractal Gene Regulatory Networks for Graceful Degradation of Software
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
Peter J. Bentley
MEMOCODE
2006
IEEE
14 years 1 months ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
TIT
2008
65views more  TIT 2008»
13 years 7 months ago
Power-Efficient Resource Allocation for Time-Division Multiple Access Over Fading Channels
We investigate resource allocation policies for time-division multiple access (TDMA) over fading channels in the power-limited regime. For frequency-flat block-fading channels and ...
Xin Wang, Georgios B. Giannakis
CVPR
2007
IEEE
14 years 9 months ago
Discriminative Learning of Dynamical Systems for Motion Tracking
We introduce novel discriminative learning algorithms for dynamical systems. Models such as Conditional Random Fields or Maximum Entropy Markov Models outperform the generative Hi...
Minyoung Kim, Vladimir Pavlovic