Sciweavers

3481 search results - page 516 / 697
» Architecture as Object Models of Software
Sort
View
SAT
2010
Springer
158views Hardware» more  SAT 2010»
15 years 3 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos
IJAOSE
2008
97views more  IJAOSE 2008»
14 years 11 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...
SMA
2009
ACM
228views Solid Modeling» more  SMA 2009»
15 years 6 months ago
Robust mesh reconstruction from unoriented noisy points
We present a robust method to generate mesh surfaces from unoriented noisy points in this paper. The whole procedure consists of three steps. Firstly, the normal vectors at points...
Hoi Sheung, Charlie C. L. Wang
SMA
2005
ACM
125views Solid Modeling» more  SMA 2005»
15 years 5 months ago
One-dimensional selections for feature-based data exchange
In the parametric feature based design paradigm, most features possess arguments that are subsets of the boundary of the current model, subsets defined interactively by user sele...
Ari Rappoport, Steven N. Spitz, Michal Etzion
DATE
2009
IEEE
159views Hardware» more  DATE 2009»
15 years 6 months ago
Design and implementation of a database filter for BLAST acceleration
— BLAST is a very popular Computational Biology algorithm. Since it is computationally expensive it is a natural target for acceleration research, and many reconfigurable archite...
Panagiotis Afratis, Constantinos Galanakis, Euripi...