6506 search results - page 988 / 1302 » Algorithmic models for sensor networks |
132
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
149
click to vote
NN
2006
Springer
15 years 3 months ago
2006
Springer
An important component of language acquisition and cognitive learning is gaze imitation. Infants as young as one year of age can follow the gaze of an adult to determine the objec...
154
click to vote
NN
2002
Springer
15 years 3 months ago
2002
Springer
This paper presents a biologically-inspired, hardware-realisable spiking neuron model, which we call the Temporal Noisy-Leaky Integrator (TNLI). The dynamic applications of the mo...
141
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Collaborative filtering is the most popular approach to build recommender systems and has been successfully employed in many applications. However, it cannot make recommendations ...
121
Voted
SC
2004
ACM
15 years 9 months ago
2004
ACM
The Merrimac supercomputer uses stream processors and a highradix network to achieve high performance at low cost and low power. The stream architecture matches the capabilities o...