2702 search results - page 90 / 541 » Practically Applicable Formal Methods |
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
ISVC
2010
Springer
14 years 8 months ago
2010
Springer
Dealing with multi-object tracking in a particle filter raises several issues. A first essential point is to model possible interactions between objects. In this article, we repr...
ZUM
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
The Metaphone algorithm applies the phonetic encoding of orthographic sequences to simplify words prior to comparison. While Metaphone has been highly successful for the English l...
ICTAC
2005
Springer
15 years 3 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...