Sciweavers

3208 search results - page 368 / 642
» Methods and views
Sort
View
AROBOTS
2008
146views more  AROBOTS 2008»
15 years 6 months ago
Biologically-inspired 3D grasp synthesis based on visual exploration
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...
Gabriel Recatalá, Eris Chinellato, Angel P....
BMCBI
2008
121views more  BMCBI 2008»
15 years 6 months ago
A simple and fast heuristic for protein structure comparison
Background: Protein structure comparison is a key problem in bioinformatics. There exist several methods for doing protein comparison, being the solution of the Maximum Contact Ma...
David A. Pelta, Juan Ramón González,...
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 6 months ago
Formalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
Rosziati Ibrahim, Siow Yen yen
ENTCS
2010
130views more  ENTCS 2010»
15 years 6 months ago
Compositional System Security with Interface-Confined Adversaries
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, ...
ENTCS
2008
116views more  ENTCS 2008»
15 years 6 months ago
Computational Origami Construction as Constraint Solving and Rewriting
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fado...