5084 search results - page 969 / 1017 » Proving Possibility Properties |
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Being able to localize the origin of a sound is important for our capability to interact with the environment. Humans can localize a sound source in both the horizontal and ver...
95
Voted
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract—We describe a neuromorphic chip with a twolayer excitatory-inhibitory recurrent network of spiking neurons that exhibits localized clusters of neural activity. Unlike ot...
115
click to vote
P2P
2006
IEEE
15 years 6 months ago
2006
IEEE
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
102
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
100
click to vote
SIGCOMM
2006
ACM
15 years 6 months ago
2006
ACM
Extensive measurement studies have shown that end-to-end Internet path performance degradation is correlated with routing dynamics. However, the root cause of the correlation betw...