Sciweavers

828 search results - page 135 / 166
» Bounded Hairpin Completion
Sort
View
104
Voted
SIROCCO
2010
14 years 11 months ago
Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots
We consider the problem of exploring an anonymous unoriented ring of size n by k identical, oblivious, asynchronous mobile robots, that are unable to communicate, yet have the abil...
Anissa Lamani, Maria Gradinariu Potop-Butucaru, S&...
121
Voted
DLOG
2010
14 years 10 months ago
Towards Soundness Preserving Approximation for ABox Reasoning of OWL2
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing appro...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
88
Voted
CDC
2010
IEEE
138views Control Systems» more  CDC 2010»
14 years 7 months ago
Design of a navigation filter by analysis of local observability
This paper presents an inertial navigation filter designed for an automotive vehicle not equipped with any GPS receiver. The task of this filter is to provide relative position inf...
Pierre-Jean Bristeau, Nicolas Petit, Laurent Praly
CMPB
2010
171views more  CMPB 2010»
14 years 7 months ago
Metabolica: A statistical research tool for analyzing metabolic networks
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
Jenni Heino, Daniela Calvetti, Erkki Somersalo
98
Voted
SIAMDM
2011
14 years 7 months ago
Origins of Nonlinearity in Davenport-Schinzel Sequences
Abstract. A generalized Davenport–Schinzel sequence is one over a finite alphabet that excludes subsequences isomorphic to a fixed forbidden subsequence. The fundamental proble...
Seth Pettie