Sciweavers

11168 search results - page 1617 / 2234
» Abstract State Processes
Sort
View
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 5 months ago
A Toolkit for Scalable Spreadsheet Visualization
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
Markus Clermont
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 5 months ago
A view of canonical extension
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...
Mai Gehrke, Jacob Vosmaer
118
Voted
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 5 months ago
Green Codes: Energy-Efficient Short-Range Communication
Abstract-- A green code attempts to minimize the total energy per-bit required to communicate across a noisy channel. The classical information-theoretic approach neglects the ener...
Pulkit Grover, Anant Sahai
116
Voted
DCG
2010
53views more  DCG 2010»
15 years 5 months ago
A Revision of the Proof of the Kepler Conjecture
Abstract. The Kepler conjecture asserts that no packing of congruent balls in three-dimensional Euclidean space has density greater than that of the face-centered cubic packing. Th...
Thomas C. Hales, John Harrison, Sean McLaughlin, T...
DEDS
2010
88views more  DEDS 2010»
15 years 5 months ago
Optimal Admission Control of Discrete Event Systems with Real-Time Constraints
Abstract-- The problem of optimally controlling the processing rate of tasks in Discrete Event Systems (DES) with hard real-time constraints has been solved in [9] under the assump...
Jianfeng Mao, Christos G. Cassandras
« Prev « First page 1617 / 2234 Last » Next »