Sciweavers

14382 search results - page 92 / 2877
» Time in Connectionist Models
Sort
View
INFOCOM
2007
IEEE
15 years 7 months ago
Modeling Time-Variant User Mobility in Wireless Mobile Networks
Abstract— Realistic mobility models are important to understand the performance of routing protocols in wireless ad hoc networks, especially when mobility-assisted routing scheme...
Wei-jen Hsu, Thrasyvoulos Spyropoulos, Konstantino...
FORMATS
2007
Springer
15 years 7 months ago
On Timed Models of Gene Networks
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
Grégory Batt, Ramzi Ben Salah, Oded Maler
MOC
1998
81views more  MOC 1998»
15 years 1 months ago
Discrete gauge invariant approximations of a time dependent Ginzburg-Landau model of superconductivity
Abstract. We present here a mathematical analysis of a nonstandard difference method for the numerical solution of the time dependent GinzburgLandau models of superconductivity. Th...
Qiang Du
FORMATS
2006
Springer
15 years 5 months ago
Model Checking Timed Automata with Priorities Using DBM Subtraction
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
Alexandre David, John Håkansson, Kim Guldstr...
HICSS
2009
IEEE
101views Biometrics» more  HICSS 2009»
15 years 8 months ago
A Cost-Based Model for Improving Customer Waiting Times
The effective management of a service organization requires measuring system performance on many attributes. Customer waiting time is inherent to nearly all service operations and...
Alfred L. Guiffrida, Michael J. Messina