In this paper we extend the work done in [5], where authors have proposed a evolutionary multi-objective approach to Rapid Prototyping (RP), to decipher optimal build orientation ...
Chrobak (1986) proved that a language accepted by a given nondeterministic finite automaton with one-letter alphabet, i.e., a unary NFA, with n states can be represented as the uni...
We introduce a new method for coloring 3D line fields and show results from its application in visualizing orientation in DTI brain data sets. The method uses Boy's surface, a...
Çagatay Demiralp, John F. Hughes, David H. Laid...
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
The joint invariants of the projective group PSL(3, R) on RP2 , the five-point volume cross-ratios, are studied to address the problem of correspondence in a camera network. The ...