469 search results - page 24 / 94 » Putting curry-howard to work |
118
click to vote
ICRA
2008
IEEE
16 years 15 days 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...
149
click to vote
ICST
2008
IEEE
16 years 15 days 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...
127
click to vote
FUZZIEEE
2007
IEEE
16 years 12 days 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...
148
click to vote
SAINT
2007
IEEE
16 years 10 days 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...
153
click to vote
CMMR
2007
Springer
16 years 7 days 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...