Sciweavers

12194 search results - page 147 / 2439
» cans 2010
Sort
View
76
Voted
CEC
2010
IEEE
15 years 1 months ago
Meta-heuristic search and square Erickson matrices
A Ramsey theory problem, that can be seen as a 2 dimensional extension of the Van der Waerden theorem, was posed by Martin J. Erickson in his book [1]: "find the minimum n su...
Denis Robilliard, Amine M. Boumaza, Virginie Mario...
93
Voted
ESA
2010
Springer
126views Algorithms» more  ESA 2010»
15 years 1 months ago
Determining Edge Expansion and Other Connectivity Measures of Graphs of Bounded Genus
In this paper, we show that for an n-vertex graph G of genus g, the edge expansion of G can be determined in time nO(g2 ) . We show that the same is true for various other similar ...
Viresh Patel
ESWS
2010
Springer
15 years 1 months ago
A Software Tool for Visualizing, Managing and Eliciting SWRL Rules
SWRL rule are increasingly being used to represent knowledge on the Semantic Web. As these SWRL rule bases grows larger, managing the resulting complexity can become a challenge. D...
Saeed Hassanpour, Martin J. O'Connor, Amar K. Das
HUC
2010
Springer
15 years 1 months ago
Gaze-based interaction with public displays using off-the-shelf components
Eye gaze can be used to interact with high-density information presented on large displays. We have built a system employing off-the-shelf hardware components and open-source gaze...
Javier San Agustin, John Paulin Hansen, Martin Tal...
ICANN
2010
Springer
15 years 1 months ago
Neuro-symbolic Representation of Logic Programs Defining Infinite Sets
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
Ekaterina Komendantskaya, Krysia Broda, Artur S. d...