Sciweavers

2715 search results - page 182 / 543
» An Implementation of Narrowing Strategies
Sort
View
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 6 months ago
Algorithmic Solutions for Several Offline Constrained Resource Processing and Data Transfer Multicriteria Optimization Problems
In this paper we present novel algorithmic solutions for several resource processing and data transfer multicriteria optimization problems. The results of most of the presented tec...
Mugurel Ionut Andreica, Nicolae Tapus
ENDM
2010
105views more  ENDM 2010»
15 years 6 months ago
Minimizing Expected Attacking Cost in Networks
A branch-and-bound algorithm is devised to determine the optimal attack strategy to disconnect a network where the objective is to minimize the expected attacking cost. The attack...
Anis Gharbi, Mohamed Naceur Azaiez, Mohamed Kharbe...
ENTCS
2008
99views more  ENTCS 2008»
15 years 6 months ago
ArcAngelC: a Refinement Tactic Language for Circus
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
M. V. M. Oliveira, A. L. C. Cavalcanti
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
Solving Sudoku Puzzles with Rewriting Rules
The aim of the sudoku puzzle (also known as number place in the United States) is to enter a numeral from 1 through 9 in each cell of a grid, most frequently a 9 × 9 grid made up...
Gustavo Santos-García, Miguel Palomino
INTR
2007
101views more  INTR 2007»
15 years 6 months ago
Page ranking and topic-sensitive page ranking: micro-changes and macro-impact
Purpose – The purpose of this paper is to examine the marketing and sales implications of page ranking techniques, in terms of how companies may use knowledge of their operation...
Felix Rimbach, Marius Dannenberg, Udo Bleimann