6258 search results - page 241 / 1252 » Applied Text Generation |
141
click to vote
ICSOC
2009
Springer
15 years 2 months ago
2009
Springer
Ad-hoc and situational applications for personal use will gain more and more traction in the work support for knowledge workers (KWers). Personal information is a key element in th...
156
click to vote
TSE
2010
14 years 11 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
176
click to vote
BIRTHDAY
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we consider the challenge of designing a reflective middleware to integrate multiple autonomous simulation models into an integrated simulation environment (multiasi...
153
click to vote
RSA
2000
15 years 4 months ago
2000
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...
119
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
This paper proposes a novel trail sharing system for mobile devices that deals with context information collected by sensors, as well as users’ personal opinions (e.g., landscape...