1631 search results - page 161 / 327 » Observing Functional Logic Computations |
114
click to vote
IPSN
2005
Springer
15 years 9 months ago
2005
Springer
We bound the number of sensors required to achieve a desired level of sensing accuracy in a discrete sensor network application (e.g. distributed detection). We model the state of...
112
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
158
Voted
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...
123
click to vote
PODS
2008
ACM
16 years 3 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
108
Voted
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
Consider Alice, who is interacting with Bob. Alice and Bob have some shared secret which helps Alice identify Bob-impersonators. Now consider Eve, who knows Alice and Bob, but doe...