767 search results - page 96 / 154 » Logic for Mathematical Writing |
117
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
140
click to vote
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
143
click to vote
PAPM
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
127
click to vote
ISIPTA
1999
IEEE
15 years 7 months ago
1999
IEEE
Bayesian implicative analysis was proposed for summarizing the association in a 22 contingency table in terms possibly asymmetrical such as, e.g., presence of feature a implies, i...
144
click to vote
MAAMAW
1994
Springer
15 years 7 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...