1737 search results - page 270 / 348 » On Interpolation in Existence Logics |
186
click to vote
SECON
2007
IEEE
16 years 14 days ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
143
click to vote
ACNS
2007
Springer
16 years 11 days ago
2007
Springer
The one-way function tree (OFT) scheme proposed by Balenson et. al is widely regarded as an efficient key management solution for multicast communication in large dynamic groups. ...
145
click to vote
AI
2007
Springer
16 years 11 days ago
2007
Springer
When using Bayesian networks, practitioners often express constraints among variables by conditioning a common child node to induce the desired distribution. For example, an ‘or...
178
click to vote
AIME
2007
Springer
16 years 11 days ago
2007
Springer
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
158
click to vote
FPGA
2007
ACM
16 years 11 days ago
2007
ACM
This paper describes a technique that reduces dynamic power in FPGAs by reducing the number of glitches in the global routing resources. The technique involves adding programmable...