689 search results - page 37 / 138 » The multithreaded version of FORM |
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
CIDM
2007
IEEE
14 years 2 months ago
2007
IEEE
— We present K2GA, an algorithm for learning Bayesian network structures from data. K2GA uses a genetic algorithm to perform stochastic search, while employing a modified versio...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...
CSL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...
STACS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We consider data structures and algorithms for preprocessing a labelled list of length n so that, for any given indices i and j we can answer queries of the form: What is...