5583 search results - page 1040 / 1117 » Application of Micro-Genetic Algorithm for Task Based Comput... |
127
Voted
WOLLIC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
142
Voted
SPATIALCOGNITION
2000
Springer
15 years 4 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
110
click to vote
EDBT
2010
ACM
15 years 3 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
111
click to vote
BMCBI
2008
15 years 22 days ago
2008
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...
138
Voted
SP
2008
IEEE
15 years 16 days ago
2008
IEEE
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...