Sciweavers

5241 search results - page 794 / 1049
» Embedded Programming with C
Sort
View
ACL
1997
15 years 4 months ago
Learning Features that Predict Cue Usage
Our goal is to identify the features that predict the occurrence and placement of discourse cues in tutorial explanations in order to aid in the automatic generation of explanatio...
Barbara Di Eugenio, Johanna D. Moore, Massimo Paol...
129
Voted
ISMB
1998
15 years 4 months ago
Sequence Assembly Validation by Multiple Restriction Digest Fragment Coverage Analysis
DNA sequence analysis depends on the accurate assembly of fragment reads for the determination of a consensus sequence. This report examines the possibility of analyzing multiple,...
Eric C. Rouchka, David J. States
83
Voted
WSC
1998
15 years 4 months ago
Discrete Time Simulation of an Equipment Rental Business
In this work we report the results of a discrete time simulation model that we developed for an equipment rental business to study the impact of business decisions. The whole tool...
R. Alan Bowman, Ira J. Haimowitz, Robert M. Matthe...
115
Voted
SOSP
1997
ACM
15 years 4 months ago
A Decentralized Model for Information Flow Control
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
Andrew C. Myers, Barbara Liskov
104
Voted
IJCAI
1993
15 years 4 months ago
Notes on Formalizing Context
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
John McCarthy