Sciweavers

2940 search results - page 364 / 588
» Adaptive control of PDEs
Sort
View
LICS
2003
IEEE
15 years 9 months ago
About Translations of Classical Logic into Polarized Linear Logic
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
Olivier Laurent, Laurent Regnier
WSTFEUS
2003
IEEE
15 years 9 months ago
Error Resilient Video Transmission over Wireless Networks
— An error resilient architecture for video transmission over mobile wireless networks is presented. Radio link layer, transport layer, and application layer are combined to deal...
Gang Ding, Halima Ghafoor, Bharat K. Bhargava
140
Voted
CAISE
1994
Springer
15 years 8 months ago
A Collaborative Process-Centered Environment Kernel
The Collaborative Process-Centered Environment project (CPCE) aims at applying process modeling approach and technology to a given class of collaborative applications. The challeng...
Jacques Lonchamp
ACAL
2007
Springer
15 years 8 months ago
Directed Evolution of an Artificial Cell Lineage
Biological development is a complex process that mediates between genotypes, to which mutations occur, and phenotypes, on which selection acts. Properties of development can theref...
Nicholas Geard, Janet Wiles
CHIMIT
2007
ACM
15 years 8 months ago
Activity-based management of IT service delivery
Growth, adaptability, innovation, and cost control are leading concerns of businesses, especially with respect to use of information technology (IT). Though standards such as the ...
John H. Bailey, Eser Kandogan, Eben M. Haber, Paul...