Sciweavers

2455 search results - page 340 / 491
» Computability of Models for Sequence Assembly
Sort
View
POLICY
2007
Springer
15 years 11 months ago
Towards Practical Security Monitors of UML Policies for Mobile Applications
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
Fabio Massacci, Katsiaryna Naliuka
126
Voted
ICRA
2005
IEEE
90views Robotics» more  ICRA 2005»
15 years 10 months ago
Dynamic Ambiguities in Frictional Rigid-body Systems with Application to Climbing via Bracing
Abstract— Constructing climbing behaviors for hyperredundant robots that account for the system dynamics requires a model of robot dynamics under contact and friction. One common...
Aaron Greenfield, Alfred A. Rizzi, Howie Choset
143
Voted
DNA
2005
Springer
132views Bioinformatics» more  DNA 2005»
15 years 10 months ago
DNA Recombination by XPCR
The first step of the Adleman-Lipton extract model in DNA computing is the combinatorial generation of libraries. In this paper a new method is proposed for generating a initial p...
Giuditta Franco, Vincenzo Manca, Cinzia Giagulli, ...
143
Voted
EMMCVPR
2005
Springer
15 years 10 months ago
Reverse-Convex Programming for Sparse Image Codes
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...
Matthias Heiler, Christoph Schnörr
FCT
2005
Springer
15 years 10 months ago
Deterministic Automata on Unranked Trees
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
Julien Cristau, Christof Löding, Wolfgang Tho...