Sciweavers

5030 search results - page 216 / 1006
» cases 2007
Sort
View
DM
2007
68views more  DM 2007»
15 years 7 months ago
Extension of Arrow's theorem to symmetric sets of tournaments
Arrow’s impossibility theorem [1] shows that the set of acyclic tournaments is not closed to non dictatorial Boolean aggregation. In this paper we extend the notion of aggregati...
Eyal Beigman
ENTCS
2007
83views more  ENTCS 2007»
15 years 7 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
IJMC
2007
40views more  IJMC 2007»
15 years 7 months ago
Valuing wireless data services solutions for corporate clients using real options
: The paper deals with wireless data services and their importance in the enterprise world. Provisioning in difficult-to-reach areas of tall buildings is challenging. To extend cov...
William Ramirez, Fotios C. Harmantzis, Venkata Pra...
IFIP
2007
Springer
16 years 1 months ago
Coordinating the Service Process of Two Business Units towards a Joint Customer
The paper presents a new theoretical framework for coordinating an inter-unit collaborative service process towards a joint customer. The common service process is itself presente...
Rita Lavikka, Riitta Smeds, Miia Jaatinen, Emmi Va...
WCE
2007
15 years 8 months ago
Image Enhancement Using Particle Swarm Optimization
Abstract—Applications of the Particle Swarm Optimization (PSO) to solve image processing problem with a reference to a new automatic enhancement technique based on real-coded par...
Malik Braik, Alaa F. Sheta, Aladdin Ayesh