Sciweavers

1623 search results - page 154 / 325
» No Sorting
Sort
View
155
Voted
CAV
1998
Springer
138views Hardware» more  CAV 1998»
15 years 9 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
151
Voted
SSPR
1998
Springer
15 years 9 months ago
Modified Minimum Classification Error Learning and Its Application to Neural Networks
A novel method to improve the generalization performance of the Minimum Classification Error (MCE) / Generalized Probabilistic Descent (GPD) learning is proposed. The MCE/GPD learn...
Hiroshi Shimodaira, Jun Rokui, Mitsuru Nakai
160
Voted
VLDB
1998
ACM
141views Database» more  VLDB 1998»
15 years 9 months ago
Bulk-Loading Techniques for Object Databases and an Application to Relational Data
We present a framework for designing, in a declarative and flexible way, efficient migration programs and an undergoing implementation of a migration tool called RelOO whose targe...
Sihem Amer-Yahia, Sophie Cluet, Claude Delobel
151
Voted
PDP
1997
IEEE
15 years 9 months ago
Language and library support for practical PRAM programming
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
Christoph W. Keßler, Jesper Larsson Trä...
113
Voted
PODC
1997
ACM
15 years 9 months ago
Leap Forward Virtual Clock: A New Fair Queuing Scheme with Guaranteed Delays and Throughput Fairness
We describe an ejjicient fair queuing scheme, Leap Forward Virtual Clock, that provides end-to-end delay bounds simdar to WFQ, along with throughput fairness. Our scheme can be im...
Subhash Suri, George Varghese, Girish P. Chandranm...