Sciweavers

3482 search results - page 486 / 697
» In Praise of Numerical Computation
Sort
View
ICNP
1999
IEEE
14 years 2 months ago
Fluid Analysis of Delay Performance for QoS Support in Wireless Networks
Providing quality of service (QoS) guarantees over wireless links requires thorough understanding and quantification of the interactions among the traffic source, the wireless cha...
Jeong Geun Kim, Marwan Krunz
CONCUR
1999
Springer
14 years 2 months ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...
DIS
1999
Springer
14 years 2 months ago
Discovery of a Set of Nominally Conditioned Polynomials
: This paper shows that a connectionist law discovery method called RF5X can discover a law in the form of a set of nominally conditioned polynomials, from data containing both nom...
Ryohei Nakano, Kazumi Saito
ESOP
1999
Springer
14 years 2 months ago
Dynamic Programming via Static Incrementalization
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
Yanhong A. Liu, Scott D. Stoller
HUC
1999
Springer
14 years 2 months ago
Advanced Interaction in Context
Mobile information appliances are increasingly used in numerous different situations and locations, setting new requirements to their interaction methods. When the user's situ...
Albrecht Schmidt, Kofi Asante Aidoo, Antti Takaluo...