Sciweavers

8582 search results - page 1607 / 1717
» Here or There
Sort
View
JFR
2006
130views more  JFR 2006»
15 years 6 months ago
A mobile robot system for automatic floor marking
This paper describes a patent awarded system for automatically marking the positions of stands for a trade fair or exhibition. The system has been in operation since August 2003 a...
Patric Jensfelt, Gunnar Gullstrand, Erik Före...
EC
2007
160views ECommerce» more  EC 2007»
15 years 6 months ago
Agent-Based Model of Genotype Editing
Evolutionary algorithms rarely deal with ontogenetic, non-inherited alteration of genetic information because they are based on a direct genotype-phenotype mapping. In contrast, i...
Chien-Feng Huang, Jasleen Kaur, Ana Gabriela Magui...
JIB
2006
78views more  JIB 2006»
15 years 6 months ago
Prediction of transcription factor binding to DNA using rule induction methods
In this study, we seek to develop a predictive model for finding the strength of binding between a particular transcription factor (TF) variant and a particular DNA target variant...
Mikael Huss, Karin Nordström
KI
2008
Springer
15 years 6 months ago
Shallow Models for Non-iterative Modal Logics
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
Lutz Schröder, Dirk Pattinson
JLP
2006
138views more  JLP 2006»
15 years 6 months ago
Algebraic-coalgebraic specification in CoCasl
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
Till Mossakowski, Lutz Schröder, Markus Rogge...
« Prev « First page 1607 / 1717 Last » Next »