Sciweavers

11949 search results - page 223 / 2390
» Some results on (a:b)-choosability
Sort
View
CNSR
2004
IEEE
124views Communications» more  CNSR 2004»
15 years 5 months ago
Adaptive Filtering of SPAM
In this paper, we present a new spam filter which acts as an additional layer in the spam filtering process. This filter is based on what we call a representative vocabulary. Spam...
L. Pelletier, Jalal Almhana, Vartan Choulakian
CONCUR
2006
Springer
15 years 5 months ago
Concurrent Rewriting for Graphs with Equivalences
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari
EDBTW
2006
Springer
15 years 5 months ago
Models for Incomplete and Probabilistic Information
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...
Todd J. Green, Val Tannen
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 5 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
EUROCOLT
1997
Springer
15 years 5 months ago
Control Structures in Hypothesis Spaces: The Influence on Learning
In any learnability setting, hypotheses are conjectured from some hypothesis space. Studied herein are the influence on learnability of the presence or absence of certain control ...
John Case, Sanjay Jain, Mandayam Suraj