9425 search results - page 320 / 1885 » Some Notes on Models and Modelling |
228
click to vote
JAIR
2008
15 years 6 months ago
2008
We present exact algorithms for identifying deterministic-actions' effects and preconditions in dynamic partially observable domains. They apply when one does not know the ac...
153
click to vote
ANSS
2005
IEEE
16 years 8 days ago
2005
IEEE
The random trip model was recently proposed as a generic mobility model that contains many particular mobility models, including the widely-known random waypoint and random walks,...
167
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
194
click to vote
KDD
2007
ACM
16 years 24 days ago
2007
ACM
Mixture models form one of the most widely used classes of generative models for describing structured and clustered data. In this paper we develop a new approach for the analysis...
318
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
: The accelerated development in Peer-to-Peer (P2P) and Grid computing has positioned them as promising next generation computing platforms. They enable the creation of Virtual Ent...