3384 search results - page 132 / 677 » More Testable Properties |
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
ICWS
2010
IEEE
13 years 10 months ago
2010
IEEE
Several activities in service oriented computing can benefit from the knowledge of properties of a given service composition ahead of time. We will focus here on properties related...
STRINGOLOGY
2008
13 years 10 months ago
2008
The class of finite Sturmian words consists of words having particularly simple compressed representation, which is a generalization of the Fibonacci recurrence for Fibonacci word...
SDM
2007
SIAM
13 years 10 months ago
2007
SIAM
Decision lists (or ordered rule sets) have two attractive properties compared to unordered rule sets: they require a simpler classification procedure and they allow for a more co...
AAAI
2004
13 years 10 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...