Sciweavers

3133 search results - page 111 / 627
» Difference systems of sets and cyclotomy
Sort
View
FORTE
1997
14 years 11 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 2 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
CN
2008
76views more  CN 2008»
14 years 10 months 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
EOR
2010
87views more  EOR 2010»
14 years 10 months 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...
BC
2006
149views more  BC 2006»
14 years 10 months 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...