3658 search results - page 236 / 732 » Founding properties on measurement |
211
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
144
click to vote
WIAS
2010
15 years 5 months ago
2010
Spatial agent models can be used to explore self-organising effects such as pattern growth and segregation. We employ our predator-prey model to study these emergent behaviours in...
191
click to vote
CISC
2009
Springer
15 years 4 months ago
2009
Springer
Rabbit is a software-oriented synchronous stream cipher with very strong security properties and support for 128-bit keys. Rabbit is part of the European Union's eSTREAM portf...
171
click to vote
ICB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Cryptographic transactions form the basis of many common security systems found throughout computer networks. Supporting these transactions with biometrics is very desira...
196
click to vote
AUTOMATICA
2011
15 years 1 months ago
2011
Previously, idempotent methods have been found to be extremely fast for solution of dynamic programming equations associated with deterministic control problems. The original meth...