114 search results - page 19 / 23 » Reasoning over Networks by Symbolic Methods |
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
Electronic markets, distributed peer-to-peer applications and other forms of online collaboration are all based on mutual trust, which enables transacting peers to overcome the un...
PERCOM
2003
ACM
13 years 12 months ago
2003
ACM
This paper presents a method for finding and classifying objects within real-world scenes by using the activity of humans interacting with these objects to infer the object’s i...
ICCS
1994
Springer
13 years 10 months ago
1994
Springer
This paper gives a data structure (UDS) for supporting database retrieval, inference and machine learning that attempts to unify and extend previous work in relational databases, ...
TMC
2012
11 years 9 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
TLDI
2010
ACM
13 years 6 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...