Sciweavers

4897 search results - page 320 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
LICS
2003
IEEE
15 years 12 months ago
New Directions in Instantiation-Based Theorem Proving
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
Harald Ganzinger, Konstantin Korovin
EUROPAR
2001
Springer
15 years 11 months ago
Optimal Polling for Latency-Throughput Tradeoffs in Queue-Based Network Interfaces for Clusters
We consider a networking subsystem for message–passing clusters that uses two unidirectional queues for data transfers between the network interface card (NIC) and the lower prot...
Dmitry Ponomarev, Kanad Ghose, Eugeny Saksonov
ICDE
2007
IEEE
114views Database» more  ICDE 2007»
15 years 10 months ago
Group Recommending: A methodological Approach based on Bayesian Networks
The problem of building Recommender Systems has attracted considerable attention in recent years, but most recommender systems are designed for recommending items for individuals....
Luis M. de Campos, Juan M. Fernández-Luna, ...
JMLR
2002
138views more  JMLR 2002»
15 years 6 months ago
Text Chunking based on a Generalization of Winnow
This paper describes a text chunking system based on a generalization of the Winnow algorithm. We propose a general statistical model for text chunking which we then convert into ...
Tong Zhang, Fred Damerau, David Johnson
ECCV
2008
Springer
15 years 8 months ago
Improving the Agility of Keyframe-Based SLAM
Abstract. The ability to localise a camera moving in a previously unknown environment is desirable for a wide range of applications. In computer vision this problem is studied as m...
Georg Klein, David W. Murray