Sciweavers

KI
2010
Springer
13 years 2 months ago
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, ...
KI
2010
Springer
13 years 2 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
KI
2010
Springer
13 years 2 months ago
eSLAM - Self Localisation and Mapping Using Embodied Data
Autonomous mobile robots have the potential to change our everyday life. Unresolved challenges which span a large spectrum of artificial intelligence research need to be answered t...
Jakob Schwendner, Frank Kirchner
KI
2010
Springer
13 years 2 months ago
Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception
We present a framework for incorporating perception-induced beliefs into the knowledge base of a rational agent. Normally, the agent accepts the propositional content of perception...
Haythem O. Ismail, Nasr Kasrin
KI
2010
Springer
13 years 2 months ago
Towards Automatic Manipulation Action Planning for Service Robots
A service robot should be able to automatically plan manipulation actions to help people in domestic environments. Following the classic senseplan-act cycle, in this paper we prese...
Steffen W. Ruehl, Zhixing Xue, Thilo Kerscher, R&u...
IS
2010
13 years 2 months ago
Integrated polarization analyzing CMOS Image sensor for autonomus navigation using polarized light
Navigation is important both for insects to perform living tasks and robots to perform assigned tasks. We propose a CMOS image sensor for autonomous agent navigation which mimicks ...
Mukul Sarkar, David San Segundo Bello, Chris Van H...
INTENV
2010
13 years 2 months ago
Tales From a Pod
In this Science-Fiction Prototyping article, I present an imaginative forward look at how artificial intelligence and virtual environments might change the nature of future educati...
Vic Callaghan

0
posts
with
0
views
171profile views
mhejratiStudent, PhD
UC Irvine
mhejrati
BMCBI
2011
13 years 2 months ago
Errors in CGAP xProfiler and cDNA DGED: the importance of library parsing and gene selection algorithms
Background: The Cancer Genome Anatomy Project (CGAP) xProfiler and cDNA Digital Gene Expression Displayer (DGED) have been made available to the scientific community over a decade...
Andrew T. Milnthorpe, Mikhail Soloviev