Sciweavers

6719 search results - page 1108 / 1344
» A Generalization of Automatic Sequences
Sort
View
PROCOMET
1998
15 years 8 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
RIAO
2000
15 years 8 months ago
The Visual Book and the Hyper-TextBook: Two Electronic Books One Lesson?
This paper presents the results of two separate studies into electronic book production. The Visual Book (Landoni, 1997) which explored the importance of the visual component of t...
Monica Landoni, Fabio Crestani, Massimo Melucci
WSC
1997
15 years 8 months ago
Petri Net Based Simulation of Construction Schedules
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
Anil Sawhney
WSC
1997
15 years 8 months ago
A Simulation-Based Backward Planning Approach for Order-Release
The problem of order release planning for a make-toorder production facility is addressed. Traditionally, order-release planning in a multi-stage shop is performed with material r...
Edward F. Watson, Deborah J. Medeiros, Randall P. ...
COLING
1996
15 years 8 months ago
Aligning More Words with High Precision for Small Bilingual Corpora
In this paper, we propose an algorithm for identifying each word with its translations in a sentence and translation pair. Previously proposed methods require enormous amounts of ...
Sur-Jin Ker, Jason J. S. Chang
« Prev « First page 1108 / 1344 Last » Next »