9687 search results - page 272 / 1938 » On Natural Mobility Models |
161
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose an information push model information dissemination to mobile users, called dynamic channel model. It is a set of extensions to the conceptual models developed for info...
160
click to vote
CSL
2004
Springer
16 years 3 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
156
click to vote
FORMATS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
159
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
207
click to vote
EMNLP
2010
15 years 4 months ago
2010
In this paper, we introduce a method that automatically builds text classifiers in a new language by training on already labeled data in another language. Our method transfers the...