Sciweavers

3614 search results - page 486 / 723
» Numerical Computing with MATLAB
Sort
View
CHI
1999
ACM
15 years 6 months ago
The Hotbox: Efficient Access to a Large Number of Menu-Items
The proliferation of multiple toolbars and UI widgets around the perimeter of application windows is an indication that the traditional GUI design of a single menubar is not suffi...
Gordon Kurtenbach, George W. Fitzmaurice, Russell ...
123
Voted
ICNP
1999
IEEE
15 years 6 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
140
Voted
CONCUR
1999
Springer
15 years 6 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
15 years 6 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
119
Voted
ESOP
1999
Springer
15 years 6 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