2407 search results - page 232 / 482 » A Tool for Abstraction in Model Checking |
186
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In artificial intelligence literature there is a rising interest in studying strategic interaction situations. In these situations a number of rational agents act strateg...
187
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In order to increase precision in searching for web pages or web documents, taking the temporal dimension into account is gaining increased interest. A particular problem...
181
click to vote
ECEASST
2006
15 years 7 months ago
2006
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
161
click to vote
ENTCS
2011
15 years 2 months ago
2011
Abstract—We present elements of quantum circuits translations from the (standard) network or circuit model to the one-way one. We present a translation scheme, give an account of...
179
click to vote
ICCS
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...