Sciweavers

49 search results - page 3 / 10
» Homology modelling of protein-protein complexes: a simple me...
Sort
View
IJRR
2006
126views more  IJRR 2006»
13 years 7 months ago
Market-based Multirobot Coordination for Complex Tasks
Current technological developments and application-driven demands are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missio...
Robert Zlot, Anthony Stentz
SEW
2003
IEEE
14 years 18 days ago
Model-Based Software Testing via Incremental Treatment Learning
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
Dustin Geletko, Tim Menzies
BMCBI
2010
163views more  BMCBI 2010»
13 years 7 months ago
Reduced representation of protein structure: implications on efficiency and scope of detection of structural similarity
Background: Computational comparison of two protein structures is the starting point of many methods that build on existing knowledge, such as structure modeling (including modeli...
Zong Hong Zhang, Hwee Kuan Lee, Ivana Mihalek
APN
2003
Springer
14 years 17 days ago
Model Checking Safety Properties in Modular High-Level Nets
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
Marko Mäkelä
MICCAI
2003
Springer
14 years 8 months ago
Mesh Topology Identification for Mass-Spring Models
In surgical simulations, the two most popular approaches to model soft tissues are Finite Element Method (FEM) and Mass-Spring System (MSS). Main advantages of FEM are accuracy and...
Gábor Székely, Gérald Bianchi...