3333 search results - page 483 / 667 » Abstract Proof Search |
167
click to vote
IFIP
2004
Springer
16 years 11 days ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
185
click to vote
MATES
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
198
Voted
PADL
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
193
Voted
PPSN
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. This paper describes a new approach for parameter optimization that uses a novel representation for the parameters to be optimized. By using genetic programming, the new ...
173
click to vote
PRICAI
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...