949 search results - page 36 / 190 » exact 2008 |
IGPL
2008
14 years 10 months ago
2008
Ternary exclusive or is the (two valued) truth function that is true just in case exactly one of its three arguments is true. This is an interesting truth function, not definable ...
TCS
2008
14 years 10 months ago
2008
Online unit clustering is a clustering problem where classification of points is done in an online fashion, but the exact location of clusters can be modified dynamically. We stud...
JACM
2007
14 years 10 months ago
2007
We solve an open question of Milner [1984]. We define a set of so-called well-behaved finite automata that, modulo bisimulation equivalence, corresponds exactly to the set of reg...
JALC
2007
14 years 10 months ago
2007
In this paper, we consider the enumeration of context-free languages. In particular, for any reasonable descriptional complexity measure for context-free grammars, we demonstrate ...
CGF
2002
14 years 9 months ago
2002
We introduce a scheme of control polygons to design topological skeletons for vector fields of arbitrary topology. Based on this we construct piecewise linear vector fields of exa...