Sciweavers

11376 search results - page 313 / 2276
» Willow System Demonstration
Sort
View
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 8 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
APCCM
2004
15 years 8 months ago
Context-Aware Web Information Systems
Apart from completeness usability, performance and maintainability are the key quality aspects for Web information systems. Considering usability as key implies taking usage proce...
Aleksander Binemann-Zdanowicz, Roland Kaschek, Kla...
AAAI
2000
15 years 8 months ago
An Expert System for Recognition of Facial Actions and their Intensity
The Facial Action Coding System (FACS) is an objective method for quantifying facial movement in terms of 44 component actions, i.e. Action Units (AUs). This system is widely used...
Maja Pantic, Léon J. M. Rothkrantz
ENTCS
2008
96views more  ENTCS 2008»
15 years 6 months ago
Maude as a Platform for Designing and Implementing Deep Inference Systems
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
Ozan Kahramanogullari
AUTOMATICA
2006
90views more  AUTOMATICA 2006»
15 years 6 months ago
An ISS-modular approach for adaptive neural control of pure-feedback systems
Controlling non-affine non-linear systems is a challenging problem in control theory. In this paper, we consider adaptive neural control of a completely non-affine pure-feedback s...
Cong Wang, David J. Hill, S. S. Ge, Guanrong Chen