Sciweavers

1804 search results - page 3 / 361
» On set systems with a threshold property
Sort
View
AMAST
2004
Springer
13 years 11 months ago
Expressing Iterative Properties Logically in a Symbolic Setting
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
Carron Shankland, Jeremy Bryans, Lionel Morel
ACS
2004
13 years 5 months ago
A Categorical Approach to Threshold Agent Networks
Threshold agent networks (TANs) constitute a discretized modification of threshold (also known as neural) networks that are appropriate for modeling computer simulations. In this p...
George Voutsadakis
EMSOFT
2010
Springer
13 years 3 months ago
Reducing stack with intra-task threshold priorities in real-time systems
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...
Gang Yao, Giorgio C. Buttazzo
JCT
2010
111views more  JCT 2010»
13 years 4 months ago
Anti-Ramsey properties of random graphs
We call a coloring of the edge set of a graph G a b-bounded coloring if no color is used more than b times. We say that a subset of the edges of G is rainbow if each edge is of a ...
Tom Bohman, Alan M. Frieze, Oleg Pikhurko, Cliffor...
APWEB
2010
Springer
13 years 9 months ago
An Incremental Prefix Filtering Approach for the All Pairs Similarity Search Problem
Given a set of records, a threshold value t and a similarity function, we investigate the problem of finding all pairs of records such that similarity between each pair is above t....
Hoang Thanh Lam, Dinh Viet Dung, Raffaele Perego, ...