Sciweavers

1894 search results - page 33 / 379
» Towards Mobile Reasoning
Sort
View
IPPS
2007
IEEE
15 years 12 months ago
Optimal Assignment of a Tree-Structured Context Reasoning Procedure onto a Host-Satellites System
In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...
Hailiang Mei, Pravin Pawar, Ing Widya
AAAI
2008
15 years 6 months ago
Personalized Reasoner Based on Belief Strengths of Information Sources
Traditionally, only “individual-independent” facts are inputted to a reasoner. The reasoner will produce the same answer to the same question, regardless of who the questioner...
Shu-Bin Cai, Zhong Ming, Shi-xian Li
SAC
2010
ACM
16 years 12 days ago
Inductive reasoning and semantic web search
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
Claudia d'Amato, Floriana Esposito, Nicola Fanizzi...
178
Voted
SEMWEB
2009
Springer
16 years 2 days ago
Combining Semantic Web Search with the Power of Inductive Reasoning
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving towa...
Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga,...
CSFW
2005
IEEE
15 years 11 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...