4067 search results - page 788 / 814 » Programs for Applying Symmetries |
ESEM
2008
ACM
13 years 9 months ago
2008
ACM
Project managers can use capture-recapture models to manage the inspection process by estimating the number of defects present in an artifact and determining whether a reinspectio...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
BIOCOMP
2007
13 years 9 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
NIPS
2007
13 years 9 months ago
2007
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...
RSS
2007
13 years 9 months ago
2007
— We present a new motion planning framework that explicitly considers uncertainty in robot motion to maximize the probability of avoiding collisions and successfully reaching a ...