Sciweavers

4378 search results - page 263 / 876
» On the Complexity of Ordered Colourings
Sort
View
FSTTCS
2005
Springer
16 years 6 days ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
ICALP
2005
Springer
16 years 5 days ago
Logics for Unranked Trees: An Overview
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
Leonid Libkin
175
Voted
ICANN
2005
Springer
16 years 5 days ago
Information Visualization for Knowledge Extraction in Neural Networks
In this paper, a user-centred innovative method of knowledge extraction in neural networks is described. This is based on information visualization techniques and tools for artific...
Liz J. Stuart, Davide Marocco, Angelo Cangelosi
ICES
2005
Springer
106views Hardware» more  ICES 2005»
16 years 5 days ago
Intrinsic Evolution of Controllable Oscillators in FPTA-2
Abstract. Simple one- and two-bit controllable oscillators were intrinsically evolved using only four cells of Field Programmable Transistor Array (FPTA-2). These oscillators can p...
Lukás Sekanina, Ricardo Salem Zebulum
ISCIS
2005
Springer
16 years 5 days ago
An Investigation of the Course-Section Assignment Problem
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
Zeki Bayram