Sciweavers

10462 search results - page 1730 / 2093
» Toward the
Sort
View
LOGCOM
2008
110views more  LOGCOM 2008»
15 years 6 months ago
Sum and Product in Dynamic Epistemic Logic
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
ELECTRONICMARKETS
2007
60views more  ELECTRONICMARKETS 2007»
15 years 6 months ago
Cross-industry Preferences for Development of Mobile Payments in Switzerland
In this paper we present a study that unveils the technological and organizational preferences of various industries towards mobile payment developments in Switzerland. Despite th...
Jan Ondrus, Yves Pigneur
184
Voted
ENTCS
2007
174views more  ENTCS 2007»
15 years 6 months ago
Quantum Patterns and Types for Entanglement and Separability
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
Simon Perdrix
ENTCS
2007
93views more  ENTCS 2007»
15 years 6 months ago
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
We tackle the problem of data-structure rewriting including global and local pointer redirections. Each basic rewrite step may perform three kinds of actions: (i) Local redirectio...
Dominique Duval, Rachid Echahed, Fréd&eacut...
JSAC
2006
120views more  JSAC 2006»
15 years 6 months ago
A Tutorial on Cross-Layer Optimization in Wireless Networks
This tutorial paper overviews recent developments in optimization-based approaches for resource allocation problems in wireless systems. We begin by overviewing important results i...
Xiaojun Lin, Ness B. Shroff, R. Srikant
« Prev « First page 1730 / 2093 Last » Next »