Sciweavers

275 search results - page 13 / 55
» On Hybrid Combination of Queueing and Simulation
Sort
View
PCRCW
1997
Springer
15 years 1 months ago
Preliminary Evaluation of a Hybrid Deterministic/Adaptive Router
A novel routing scheme is proposed for virtual cutthrough routing that attempts to combine the low routing delay of deterministic routing with the exibility and low queuing delays...
Dianne Miller, Walid A. Najjar
ENTCS
2002
82views more  ENTCS 2002»
14 years 9 months ago
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
Alberto Momigliano, Simon Ambler, Roy L. Crole
AGI
2008
14 years 11 months ago
Comirit: Commonsense Reasoning by Integrating Simulation and Logic
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
Benjamin Johnston, Mary-Anne Williams
ICCD
2000
IEEE
75views Hardware» more  ICCD 2000»
15 years 6 months ago
Hybridizing and Coalescing Load Value Predictors
Most well-performing load value predictors are hybrids that combine multiple predictors into one. Such hybrids are often large. To reduce their size and to improve their performan...
Martin Burtscher, Benjamin G. Zorn
IJCNN
2008
IEEE
15 years 4 months ago
Hybrid learning architecture for unobtrusive infrared tracking support
—The system architecture presented in this paper is designed for helping an aged person to live longer independently in their own home by detecting unusual and potentially hazard...
K. K. Kiran Bhagat, Stefan Wermter, Kevin Burn