Sciweavers

10891 search results - page 1603 / 2179
» Combining Model Reductions
Sort
View
IAJIT
2008
90views more  IAJIT 2008»
15 years 5 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
126
Voted
IANDC
2008
131views more  IANDC 2008»
15 years 5 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
133
Voted
COR
2006
118views more  COR 2006»
15 years 5 months ago
Accelerating column generation for aircraft scheduling using constraint propagation
We discuss how constraint programming can improve the performance of a column generation solution process for the NP-hard Tail Assignment problem in aircraft scheduling. Combining...
Mattias Grönkvist
155
Voted
CORR
2006
Springer
107views Education» more  CORR 2006»
15 years 5 months ago
The Multiple Access Channel with Feedback and Correlated Sources
Abstract-- In this paper, we investigate communication strategies for the multiple access channel with feedback and correlated sources (MACFCS). The MACFCS models a wireless sensor...
Lawrence Ong, Mehul Motani
136
Voted
IIE
2008
88views more  IIE 2008»
15 years 5 months ago
Development of Generative Learning Objects Using Feature Diagrams and Generative Techniques
Abstract. Learning Objects (LOs) play a key role for supporting eLearning. In general, however, the development of LOs remains a vague issue, because there is still no clearly defi...
Vytautas Stuikys, Robertas Damasevicius
« Prev « First page 1603 / 2179 Last » Next »