Sciweavers

3133 search results - page 111 / 627
» Difference systems of sets and cyclotomy
Sort
View
90
Voted
FORTE
1997
15 years 2 months ago
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
In this paper, we propose an implementation method for specifications of distributed systems described in a subclass of LOTOS where operators such as choice and disabling can be ...
Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto...
LOPSTR
1994
Springer
15 years 4 months ago
A Transformation System for Definite Programs Based on Termination Analysis
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...
J. Cook, John P. Gallagher
84
Voted
CN
2008
76views more  CN 2008»
15 years 28 days ago
Efficient path protection in bi-directional WDM systems
Bi-directional WDM transmission is a technique that allows data to be transmitted simultaneously in both directions of a fiber, with different sets of wavelength channels for each...
Ji Li, Kwan L. Yeung, Chun-Kit Chan
85
Voted
EOR
2010
87views more  EOR 2010»
15 years 27 days ago
Inventory systems with stochastic demand and supply: Properties and approximations
ic copy available at: http://ssrn.com/abstract=1115410 Inventory Systems with Stochastic Demand and Supply: Properties and Approximations Amanda J. Schmitt Center for Transportatio...
Amanda J. Schmitt, Lawrence V. Snyder, Zuo-Jun Max...
116
Voted
BC
2006
149views more  BC 2006»
15 years 27 days ago
Learning invariant object recognition in the visual system with continuous transformations
Abstract The cerebral cortex utilizes spatiotemporal continuity in the world to help build invariant representations. In vision, these might be representations of objects. The temp...
Simon M. Stringer, G. Perry, Edmund T. Rolls, J. H...