3865 search results - page 284 / 773 » From Bidirectionality to Alternation |
150
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes a software system that has been designed to enhance individual creativity. It was once thought that the era of information visualization would empower people ...
162
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the vari...
146
click to vote
ANSS
2004
IEEE
15 years 10 months ago
2004
IEEE
As the Internet evolved, peer-to-peer networks became one of the major enabling technologies. Alternative solutions for several issues emerged with the use o this technology. Such...
175
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
184
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We use a Markov Chain Monte Carlo (MCMC) MML algorithm to learn hybrid Bayesian networks from observational data. Hybrid networks represent local structure, using conditi...