327 search results - page 44 / 66 » Model Checking and Evidence Exploration |
116
click to vote
AAAI
2007
15 years 5 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
108
click to vote
LREC
2008
15 years 4 months ago
2008
Recently the LATL has undertaken the development of a multilingual translation system based on a symbolic parsing technology and on a transfer-based translation model. A crucial c...
148
click to vote
ENTCS
2010
15 years 3 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
111
Voted
ICANN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Over the last few years, functional Magnetic Resonance Imaging (fMRI) has emerged as a new and powerful method to map the cognitive states of a human subject to specific...
157
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...