Sciweavers

2649 search results - page 412 / 530
» Temporal Theories of Reasoning
Sort
View
ECRTS
2003
IEEE
14 years 1 months ago
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
Iain Bate, Peter Nightingale, Anton Cervin
CAEPIA
2003
Springer
14 years 1 months ago
A Method to Adaptively Propagate the Set of Samples Used by Particle Filters
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...
Alvaro Soto
HSNMC
2003
Springer
134views Multimedia» more  HSNMC 2003»
14 years 1 months ago
Analytical Approach and Verification of a DiffServ-Based Priority Service
The provision of Quality of Service (QoS) in a seamless way over the dominating internetworking protocol of our times (IP), has been a challenge for many researchers in the past ye...
Christos Bouras, Afrodite Sevasti
AISC
2010
Springer
14 years 18 days ago
Symbolic Domain Decomposition
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
Jacques Carette, Alan P. Sexton, Volker Sorge, Ste...
CONTEXT
2001
Springer
14 years 9 days ago
Practical Context Transformation for Information System Interoperability
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...
Holger Wache, Heiner Stuckenschmidt