64 search results - page 13 / 13 » Intrinsic Representation: Bootstrapping Symbols from Experie... |
IROS
2006
IEEE
13 years 11 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
QEST
2007
IEEE
13 years 12 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
BMCBI
2007
13 years 5 months ago
2007
Background: The analysis of the promoter sequence of genes with similar expression patterns is a basic tool to annotate common regulatory elements. Multiple sequence alignments ar...
ICCAD
2003
IEEE
14 years 2 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...