Sciweavers

4057 search results - page 433 / 812
» Linear combination of transformations
Sort
View
IAJIT
2008
90views more  IAJIT 2008»
15 years 6 months ago
From e-Manufacturing to M-Manufacturing
: This paper studies the impact of wireless technologies on enterprises. A multitude of new paradigms and new software technologies have emerged from the web. E-business and e-manu...
Faiza Bouchoul, Mohamed Mostefai
IANDC
2008
131views more  IANDC 2008»
15 years 6 months ago
Termination of just/fair computations in term rewriting
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
Salvador Lucas, José Meseguer
177
Voted
ENTCS
2006
120views more  ENTCS 2006»
15 years 6 months ago
Timers for Distributed Systems
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
Gabriel Ciobanu, Cristian Prisacariu
IEICET
2006
70views more  IEICET 2006»
15 years 6 months ago
Subcarrier Block Power Control for Adaptive Downlink OFDM with Frequency Spreading and Equalization
In this paper, we propose the transmit power controlled adaptive downlink frequency symbol spreading OFDM (TPC-AMS/FSS-OFDM) system. In the TPC-AMS/FSSOFDM, each serial to paralle...
Nam-Su Kim, Sungho Cho, Chang-Jun Ahn
KI
2008
Springer
15 years 6 months ago
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning
In this paper we address the problem of how decision-theoretic policies can be repaired. This work is motivated by observations made in robotic soccer where decisiontheoretic polic...
Christoph Mies, Alexander Ferrein, Gerhard Lakemey...