Sciweavers

463 search results - page 59 / 93
» Method Tailoring as Negotiation
Sort
View
ICPR
2010
IEEE
13 years 12 months ago
Geodesic Active Fields on the Sphere
In this paper, we propose a novel method to register images defined on spherical meshes. Instances of such spherical images include inflated cortical feature maps in brain medical ...
Dominique Zosso, Jean-Philippe Thiran
ASM
2008
ASM
13 years 12 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
AAAI
2006
13 years 11 months ago
Approximate Compilation for Embedded Model-based Reasoning
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...
Barry O'Sullivan, Gregory M. Provan
CONSTRAINTS
2008
95views more  CONSTRAINTS 2008»
13 years 10 months ago
Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination
Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...
Sebastian Will, Anke Busch, Rolf Backofen
CSUR
2008
351views more  CSUR 2008»
13 years 10 months ago
Process-centered review of object oriented software development methodologies
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
Raman Ramsin, Richard F. Paige