1684 search results - page 110 / 337 » The lexicographic decision function |
136
Voted
FCCM
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
134
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
129
Voted
IEEECIT
2005
IEEE
15 years 9 months ago
2005
IEEE
Context is a key factor in making make access control decision in modern information system. But a formal context model is needed to guide research of implementation of Context-se...
183
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...
120
Voted
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
In recent years, practical applications of legal knowledge-based systems have become increasingly common. This raises the issue of their functioning in practice and their actual in...