Sciweavers

949 search results - page 36 / 190
» exact 2008
Sort
View
65
Voted
IGPL
2008
82views more  IGPL 2008»
15 years 15 days ago
Ternary Exclusive Or
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 ...
Francis Jeffry Pelletier, Andrew Hartline
TCS
2008
15 years 12 days ago
Online unit clustering: Variations on a theme
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...
Leah Epstein, Asaf Levin, Rob van Stee
85
Voted
JACM
2007
90views more  JACM 2007»
15 years 11 days ago
A characterization of regular expressions under bisimulation
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...
Jos C. M. Baeten, Flavio Corradini, Clemens Grabma...
JALC
2007
84views more  JALC 2007»
15 years 11 days ago
Enumeration of Context-Free Languages and Related Structures
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 ...
Michael Domaratzki, Alexander Okhotin, Jeffrey Sha...
CGF
2002
136views more  CGF 2002»
15 years 9 days ago
Designing 2D Vector Fields of Arbitrary Topology
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...
Holger Theisel