Sciweavers

3505 search results - page 387 / 701
» Information Theory and the IrisCode
Sort
View
ATAL
2009
Springer
16 years 1 months ago
A model for integrating dialogue and the execution of joint plans
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
Yuqing Tang, Timothy J. Norman, Simon Parsons
ATVA
2009
Springer
173views Hardware» more  ATVA 2009»
16 years 1 months ago
Solving Parity Games in Practice
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
Oliver Friedmann, Martin Lange
CIKM
2009
Springer
16 years 1 months ago
A query language for analyzing networks
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
Anton Dries, Siegfried Nijssen, Luc De Raedt
ICTAC
2009
Springer
16 years 1 months ago
The Secret Art of Computer Programming
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
Annabelle McIver
ISMM
2009
Springer
16 years 1 months ago
Spatially-Variant Anisotropic Morphological Filters Driven by Gradient Fields
Abstract. This paper deals with the theory and applications of spatially-variant mathematical morphology. We formalize the definition of spatially variant dilation/erosion and ope...
Rafael Verdú Monedero, Jesús Angulo,...