Sciweavers

1750 search results - page 13 / 350
» E-Commerce Development Procedure
Sort
View
WSC
2000
14 years 5 days ago
New results on procedures that select the best system using CRN
One use of simulation is to inform decision makers that seek to select the best of several alternative systems. The system with the highest (or lowest) mean value for simulation o...
Stephen E. Chick, Koichiro Inoue
ECOOP
2005
Springer
14 years 4 months ago
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts
There are numerous mechanisms for separation of concerns at the source code level. Three mechanisms that are the focus of recent attention – metadata annotations, pointcuts and a...
Gregor Kiczales, Mira Mezini
INFORMS
2007
150views more  INFORMS 2007»
13 years 10 months ago
SSPMO: A Scatter Tabu Search Procedure for Non-Linear Multiobjective Optimization
— We describe the development and testing of a metaheuristic procedure, based on the scatter search methodology, for the problem of approximating the efficient frontier of nonlin...
Julián Molina Luque, Manuel Laguna, Rafael ...
MICCAI
2002
Springer
14 years 11 months ago
Needle Insertion Modelling for the Interactive Simulation of Percutaneous Procedures
Abstract. A novel interactive virtual needle insertion simulation is presented. The insertion model simulates three-degree-of-freedom needle motion, physically-based needle forces,...
Simon P. DiMaio, S. E. Salcudean
CADE
2007
Springer
14 years 11 months ago
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
Samuli Heilala, Brigitte Pientka