4341 search results - page 447 / 869 » Quantitative Model checking |
208
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Online communities are connecting hordes of individuals and generating rich social network data. The social capital that resides within these networks is largely unknown. We propo...
175
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
The paper brings a discussion about the source of the inaccuracy in observations of objects and demonstrates that the essential reason of the lack of precision is changeability, a...
148
click to vote
WSC
2001
15 years 8 months ago
2001
This paper examines whether the ability to reuse a simulation, in whole or in part, results in tangible cost savings on the overall economics of the original simulation. Specific ...
145
Voted
WSC
2000
15 years 8 months ago
2000
This paper demonstrates the use of simulation in an evaluative study for the technology of liver transplantation from cost-effectiveness point of view. This study is conducted in ...
169
click to vote
AAAI
1994
15 years 8 months ago
1994
A novel combination of ideas from cognitive linguistics and spatial occupancy models in robotics has led to the WIP (Words Into Pictures) system. WIP automatically generates depic...