Sciweavers

3573 search results - page 471 / 715
» Reasoning about Codata
Sort
View
IAT
2006
IEEE
16 years 17 days ago
Toward Inductive Logic Programming for Collaborative Problem Solving
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
Jian Huang, Adrian R. Pearce
ICAT
2006
IEEE
16 years 17 days ago
Manipulation of Field of View for Hand-Held Virtual Reality
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...
Jane Hwang, Jaehoon Jung, Gerard Jounghyun Kim
ICDM
2006
IEEE
133views Data Mining» more  ICDM 2006»
16 years 17 days ago
An Experimental Investigation of Graph Kernels on a Collaborative Recommendation Task
This work presents a systematic comparison between seven kernels (or similarity matrices) on a graph, namely the exponential diffusion kernel, the Laplacian diffusion kernel, the ...
François Fouss, Luh Yen, Alain Pirotte, Mar...
IPPS
2006
IEEE
16 years 16 days ago
Privacy-aware presence management in instant messaging systems
Information about online presence allows participants of instant messaging (IM) systems to determine whether their prospective communication partners will be able to answer their ...
Karsten Loesing, Markus Dorsch, Martin Grote, Knut...
ISQED
2006
IEEE
108views Hardware» more  ISQED 2006»
16 years 16 days ago
SMM: Scalable Analysis of Power Delivery Networks by Stochastic Moment Matching
This paper proposes a novel method for analyzing large onchip power delivery networks via a stochastic moment matching (SMM) method. The proposed method extends the existing direc...
Andrew B. Kahng, Bao Liu, Sheldon X.-D. Tan