1359 search results - page 20 / 272 » Probabilistic Points-to Analysis |
DAM
1999
13 years 8 months ago
1999
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
ECTEL
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper reports student interaction patterns and self-reported results of using Twitter microblogging environment. The study employs longitudinal probabilistic social ...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
FMOODS
2003
13 years 9 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
ENGL
2007
13 years 8 months ago
2007
— The tolerance design directly influences the functionality of products and production costs. Tolerance synthesis is a procedure that distributes assembly tolerances between com...