4074 search results - page 495 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
184
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
200
click to vote
AI
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we learn the components of dialogue POMDP models from data. In particular, we learn the states, observations, as well as transition and observation functions based o...
174
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
To better represent human interactions in social networks, the authors take a network-oriented simulation approach to analyze the evolution of acquaintance networks based on local...
168
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Designs of micro electro-mechanical devices need to be robust against fluctuations in mass production. Computer experiments with tens of parameters are used to explore th...
184
click to vote
WSC
1998
15 years 8 months ago
1998
This paper reports simulation methods and results for analyzing a self-adjusting Quality of Service (QoS) control scheme for multimedia/telecommunication systems based on resource...