Sciweavers

11345 search results - page 364 / 2269
» Foundations of Computer Science
Sort
View
DIS
2004
Springer
16 years 4 days ago
On the Convergence of Incremental Knowledge Base Construction.
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...
Tri M. Cao, Eric Martin, Paul Compton
CIKM
2006
Springer
15 years 10 months ago
The visual funding navigator: analysis of the NSF funding information
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon an improved...
Shixia Liu, Nan Cao, Hao Lv, Hui Su
JLP
2007
95views more  JLP 2007»
15 years 6 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
195
Voted
CORR
2011
Springer
149views Education» more  CORR 2011»
15 years 1 months ago
Solving k-Set Agreement with Stable Skeleton Graphs
In this paper we consider the k-set agreement problem in distributed round-based systems where processes communicate by message passing. We capture the synchrony and reliability o...
Martin Biely, Peter Robinson, Ulrich Schmid
TSP
2010
15 years 1 months ago
A non-iterative technique for phase noise ICI mitigation in packet-based OFDM systems
In this paper, a practical approach for detecting packet-based orthogonal frequency division multiplexing (OFDM) signals in the presence of phase noise is presented. An OFDM packe...
Payam Rabiei, Won Namgoong, Naofal Al-Dhahir