Sciweavers

171 search results - page 10 / 35
» What's Decidable about Sequences
Sort
View
SLOGICA
2010
97views more  SLOGICA 2010»
13 years 5 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher
ECAL
2005
Springer
14 years 1 months ago
Evolving Neural Mechanisms for an Iterated Discrimination Task: A Robot Based Model
This paper is about the design of an artificial neural network to control an autonomous robot that is required to iteratively solve a discrimination task based on time-dependent s...
Elio Tuci, Christos Ampatzis, Marco Dorigo
CVPR
2006
IEEE
14 years 9 months ago
Gesture Recognition using Hidden Markov Models from Fragmented Observations
We consider the problem of computing the likelihood of a gesture from regular, unaided video sequences, without relying on perfect segmentation of the scene. Instead of requiring ...
Ruiduo Yang, Sudeep Sarkar
BMCBI
2007
147views more  BMCBI 2007»
13 years 7 months ago
Comparative analysis of long DNA sequences by per element information content using different contexts
Background: Features of a DNA sequence can be found by compressing the sequence under a suitable model; good compression implies low information content. Good DNA compression mode...
Trevor I. Dix, David R. Powell, Lloyd Allison, Jul...
WPES
2003
ACM
14 years 22 days ago
Secure and private sequence comparisons
We give an efficient protocol for sequence comparisons of the edit-distance kind, such that neither party reveals anything about their private sequence to the other party (other t...
Mikhail J. Atallah, Florian Kerschbaum, Wenliang D...