2386 search results - page 132 / 478 » Representing and Reasoning with Preferences |
LOPSTR
2009
Springer
15 years 2 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
100
click to vote
FLAIRS
2004
14 years 11 months ago
2004
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...
CADE
2010
Springer
14 years 11 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
ECSQARU
1999
Springer
15 years 2 months ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
ICML
2003
IEEE
15 years 10 months ago
2003
IEEE
A new method for classification is proposed. This is based on kernel orthonormalized partial least squares (PLS) dimensionality reduction of the original data space followed by a ...