Sciweavers

2800 search results - page 199 / 560
» Fibrational Control Structures
Sort
View
TLCA
2007
Springer
15 years 10 months ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan
SIGDOC
2003
ACM
15 years 10 months ago
Using AI techniques to aid hypermedia design
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
Elena I. Gaura, Robert M. Newman
DATE
2002
IEEE
107views Hardware» more  DATE 2002»
15 years 9 months ago
High-Speed Non-Linear Asynchronous Pipelines
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
Recep O. Ozdag, Peter A. Beerel, Montek Singh, Ste...
CDC
2009
IEEE
123views Control Systems» more  CDC 2009»
15 years 9 months ago
On the myopic policy for a class of restless bandit problems with applications in dynamic multichannel access
We consider a class of restless multi-armed bandit problems that arises in multi-channel opportunistic communications, where channels are modeled as independent and stochastically...
Keqin Liu, Qing Zhao
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 9 months ago
State estimation of the three-tank system using a multiple model
— This paper addresses the exact transformation of nonlinear systems into a multiple model form with unmeasurable premise variables. The multiple model structure serves to treat ...
Anca Maria Nagy, Benoît Marx, Gilles Mourot,...