Sciweavers

1162 search results - page 112 / 233
» An Information-Based Theory of Conditionals
Sort
View
ICTAI
2002
IEEE
15 years 11 months ago
Calculus of Variations in Discrete Space for Constrained Nonlinear Dynamic Optimization
In this paper, we propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and...
Yixin Chen, Benjamin W. Wah
SIGMETRICS
2010
ACM
223views Hardware» more  SIGMETRICS 2010»
15 years 11 months ago
Self-synchronizing properties of CSMA wireless multi-hop networks
We show that CSMA is able to spontaneously synchronize transmissions in a wireless network with constant-size packets, and that this property can be used to devise efficient synch...
Kuang Xu, Olivier Dousse, Patrick Thiran
CDC
2009
IEEE
179views Control Systems» more  CDC 2009»
15 years 11 months ago
Bayesian network approach to understand regulation of biological processes in cyanobacteria
— Bayesian networks have extensively been used in numerous fields including artificial intelligence, decision theory and control. Its ability to utilize noisy and missing data ...
Thanura R. Elvitigala, Abhay K. Singh, Himadri B. ...
CHI
2000
ACM
15 years 10 months ago
Symmetric bimanual interaction
We present experimental work that explores the factors governing symmetric bimanual interaction in a two-handed task that requires the user to track a pair of targets, one target ...
Ravin Balakrishnan, Ken Hinckley
HASE
1998
IEEE
15 years 10 months ago
Verification in Concurrent Programming with Petri Nets Structural Techniques
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
Kamel Barkaoui, Jean-François Pradat-Peyre