Sciweavers

98 search results - page 8 / 20
» A note on weak dividing
Sort
View
TAPIA
2005
ACM
14 years 1 months ago
Computation of nonclassical shocks using a spacetime discontinuous Galerkin method
We present a numerical study for two systems of conservation laws using a spacetime discontinuous Galerkin (SDG) method with causal spacetime triangulations and the piecewise cons...
Katarina Jegdic
LICS
1990
IEEE
13 years 11 months ago
Normal Process Representatives
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
Vijay Gehlot, Carl A. Gunter
TREC
2008
13 years 9 months ago
York University at TREC 2008: Blog Track
York University participated in the TREC 2008 Blog track, by introducing two opinion finding features. By initially focusing solely on the sentiment terms found in a document, usi...
Mladen Kovacevic, Xiangji Huang
ACTA
2006
108views more  ACTA 2006»
13 years 7 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
COMBINATORICS
2006
130views more  COMBINATORICS 2006»
13 years 7 months ago
Fractional Biclique Covers and Partitions of Graphs
A biclique is a complete bipartite subgraph of a graph. This paper investigates the fractional biclique cover number, bc(G), and the fractional biclique partition number, bp(G), o...
Valerie L. Watts