2335 search results - page 368 / 467 » Type Checking Type Classes |
132
Voted
HIP
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we propose a new class of Human Interactive Proofs (HIPs) that allow a human to distinguish one computer from another. Unlike traditional HIPs, where the computer is...
120
click to vote
HYBRID
2005
Springer
15 years 8 months ago
2005
Springer
This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, a...
125
Voted
IPMI
2005
Springer
15 years 7 months ago
2005
Springer
Many types of transformations are used to model deformations in medical image registration. While some focus on modeling local changes, some on continuity and invertibility, there ...
122
click to vote
LAMAS
2005
Springer
15 years 7 months ago
2005
Springer
We present a new multiagent learning algorithm, RVσ(t), that builds on an earlier version, ReDVaLeR . ReDVaLeR could guarantee (a) convergence to best response against stationary ...
109
click to vote
MSN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The growing advance in wireless communications and electronics makes the development of low-cost and low-power sensors possible. These sensors are usually small in size a...