12193 search results - page 211 / 2439 » It's not all about |
179
click to vote
FORTE
1997
15 years 7 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
186
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
145
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
212
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
We describe the WebCLEF 2008 task. Similarly to the 2007 edition of WebCLEF, the 2008 edition implements a multilingual "information synthesis" task, where, for a given t...
261
click to vote
MEMBRANE
2009
Springer
16 years 1 months ago
2009
Springer
evel of abstraction that we adopt, the functioning of a biochemical reaction is based on facilitation and inhibition: a reaction can take place if all of its reactants are present ...