469 search results - page 24 / 94 » Putting curry-howard to work |
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— In this paper we consider the problem of sensorimotor coordination in a Bayesian framework. To this end we introduce a novel kind of Dynamic Bayesian Network serving as...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
In this work an improved scheme for eliminating impulsive noise of varying strengths from corrupted images is proposed. A neural network is employed to classify the corrupted and n...
SAINT
2007
IEEE
14 years 1 months ago
2007
IEEE
Peer-to-peer (P2P) is a system of overlay networks such that participants can potentially take symmetrical roles. This translates itself into a design based on the philosophy of L...
CMMR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The current study is part of a larger project aiming at offering intuitive mappings of control parameters piloting synthesis models by semantic descriptions of sounds, i...