Sciweavers

3563 search results - page 384 / 713
» Information theory in neuroscience
Sort
View
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,...
MHCI
2009
Springer
16 years 1 months ago
A preliminary evaluation of head and facial feature tracking for input on mobile devices
This paper discusses the concept of using head and facial feature tracking as an input mechanism for mobile devices. We present our concept and ideas, along with preliminary findi...
Kathryn Carnegie, Stuart Fleming, Esfandiar Ammira...