Sciweavers

1000 search results - page 83 / 200
» order 2011
Sort
View
LATA
2011
Springer
14 years 8 months ago
Classifying Regular Languages via Cascade Products of Automata
Abstract. Building on the celebrated Krohn-Rhodes Theorem we characterize classes of regular languages in terms of the cascade decompositions of minimal DFA of languages in those c...
Marcus Gelderie
OL
2011
177views Neural Networks» more  OL 2011»
14 years 8 months ago
Exploiting vector space properties to strengthen the relaxation of bilinear programs arising in the global optimization of proce
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
Juan P. Ruiz, Ignacio E. Grossmann
PROCEDIA
2011
14 years 8 months ago
Exact Closest String as a Constraint Satisfaction Problem
We report the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of symbol occurrenc...
Tom Kelsey, Lars Kotthoff
SAC
2011
ACM
14 years 8 months ago
Spatial network modeling for databases
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
Virupaksha Kanjilal, Markus Schneider
SEE
2011
Springer
14 years 8 months ago
Broadening Ethics Teaching in Engineering: Beyond the Individualistic Approach
There is a widespread approach to the teaching of ethics to engineering students in which the exclusive focus is on engineers as individual agents and the broader context in which...
Eddie Conlon, Henk Zandvoort