Sciweavers

1931 search results - page 295 / 387
» Why we blog
Sort
View
FTCS
1998
79views more  FTCS 1998»
15 years 7 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
ACL
1994
15 years 7 months ago
A Stochastic Finite-State Word-Segmentation Algorithm for Chinese
We present a stochastic finite-state model for segmenting Chinese text into dictionary entries and productively derived words, and providing pronunciations for these words; the me...
Richard Sproat, Chilin Shih, William Gale, Nancy C...
CEC
2010
IEEE
15 years 7 months ago
Local Optima Networks of the Quadratic Assignment Problem
Using a recently proposed model for combinatorial landscapes, Local Optima Networks (LON), we conduct a thorough analysis of two types of instances of the Quadratic Assignment Prob...
Fabio Daolio, Sébastien Vérel, Gabri...
CIDR
2009
133views Algorithms» more  CIDR 2009»
15 years 7 months ago
Principles for Inconsistency
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...
Shel Finkelstein, Dean Jacobs, Rainer Brendle
ECTEL
2010
Springer
15 years 7 months ago
Deep Learning Design for Sustainable Innovation within Shifting Learning Landscapes
Changes in the underpinning technologies for TEL is occurring at a pace that we have never before experienced, and this is unlikely to slow down. This necessitates a broader and mo...
Andrew Ravenscroft, Tom Boyle, John Cook, Andreas ...