Sciweavers

3495 search results - page 210 / 699
» On the random satisfiable process
Sort
View
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
16 years 1 months ago
State estimation of nonlinear systems with Markov state reset
— We present a novel observer design for a class of single-output nonlinear systems with Markov jumps. The Markov jump process interferes with a deterministic nonlinear dynamics ...
Stefano Battilotti
WWW
2009
ACM
16 years 7 months ago
Web service derivatives
Web service development and usage has shifted from simple information processing services to high-value business services that are crucial to productivity and success. In order to...
Thomas Meinl, Benjamin Blau
IDEAS
2005
IEEE
93views Database» more  IDEAS 2005»
16 years 22 days ago
Semantic Query Transformation Using Ontologies
Traditional approaches to query processing aim at rewriting a given query into another more efficient one that uses less time and/or resources during the execution. There by, the...
Chokri Ben Necib, Johann Christoph Freytag
SSS
2005
Springer
16 years 19 days ago
Memory Management for Self-stabilizing Operating Systems
This work presents several approaches for designing the memory management component of self stabilizing operating systems. We state the requirements which a memory manager should ...
Shlomi Dolev, Reuven Yagel
EXACT
2007
15 years 9 months ago
A Discourse Approach to Explanation Aware Knowledge Representation
This study describes a discourse approach to explanation aware knowledge representation. It presents a reasoning model that adheres to argumentation as found in written discourse,...
Andrew Potter