Sciweavers

12050 search results - page 1605 / 2410
» Modeling and Simulation
Sort
View
QEST
2006
IEEE
16 years 1 months ago
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
Joost-Pieter Katoen, Ivan S. Zapreev
CONTEXT
2003
Springer
16 years 26 days ago
On the Difference between Bridge Rules and Lifting Axioms
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
Paolo Bouquet, Luciano Serafini
INFOCOM
2002
IEEE
16 years 17 days ago
Dynamics of TCP/RED and a Scalable Control
— We demonstrate that the dynamic behavior of queue and average window is determined predominantly by the stability of TCP/RED, not by AIMD probing nor noise traffic. We develop...
Steven H. Low, Fernando Paganini, Jiantao Wang, Sa...
IJCNN
2000
IEEE
16 years 1 days ago
Storage and Recall of Complex Temporal Sequences through a Contextually Guided Self-Organizing Neural Network
A self-organizing neural network for learning and recall of complex temporal sequences is proposed. we consider a single sequence with repeated items, or several sequences with a c...
Guilherme De A. Barreto, Aluizio F. R. Araú...
CGVR
2007
15 years 9 months ago
Simplified Muscle Dynamics for Appealing Real-Time Skin Deformation
- We propose significant simplifications in muscle modeling and simulation to facilitate real-time anatomical skin deformation for full-body articulated characters. The muscle shap...
Keng Siang Lee, Golam Ashraf
« Prev « First page 1605 / 2410 Last » Next »