Sciweavers

3428 search results - page 122 / 686
» Making the Case
Sort
View
WSC
2004
15 years 9 days ago
Simulation, a Framework for Analysing SME Supply Chains
The following paper briefly presents the formulation and development of a case study supply chain simulation model as developed for an industrial company. The case study company i...
P. J. Byrne, Cathal Heavey
104
Voted
JAPLL
2006
114views more  JAPLL 2006»
14 years 11 months ago
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
Bruno Courcelle
ENTCS
2007
83views more  ENTCS 2007»
14 years 11 months ago
Enhancing Theorem Prover Interfaces with Program Slice Information
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
Louise A. Dennis
96
Voted
ANOR
2005
98views more  ANOR 2005»
14 years 10 months ago
Condorcet Winners for Public Goods
In this work, we consider a public facility allocation problem decided through a voting process under the majority rule. A location of the public facility is a majority rule winner...
Lihua Chen, Xiaotie Deng, Qizhi Fang, Feng Tian
107
Voted
TON
2010
168views more  TON 2010»
14 years 5 months ago
Engineering Wireless Mesh Networks: Joint Scheduling, Routing, Power Control, and Rate Adaptation
Abstract--We present a number of significant engineering insights on what makes a good configuration for medium- to largesize wireless mesh networks (WMNs) when the objective funct...
Jun Luo, Catherine Rosenberg, André Girard