8196 search results - page 424 / 1640 » Computational Modeling and Complexity Science |
185
click to vote
DIS
1998
Springer
15 years 11 months ago
1998
Springer
We introduce a new bias for rule learning systems. The bias only allows a rule learner to create a rule that predicts class membership if each test of the rule in isolation is pred...
168
click to vote
FOCS
1996
IEEE
15 years 11 months ago
1996
IEEE
In the minimum path coloring problem, we are given a list of pairs of vertices of a graph. We are asked to connect each pair by a colored path. Paths of the same color must be edg...
160
click to vote
FOCS
1989
IEEE
15 years 11 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
163
click to vote
CSR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series wi...
166
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...