Sciweavers

1458 search results - page 36 / 292
» Monads for incremental computing
Sort
View
DCC
1997
IEEE
15 years 11 months ago
Linear-time, Incremental Hierarchy Inference for Compression
Craig G. Nevill-Manning, Ian H. Witten
142
Voted
CHI
1994
ACM
15 years 11 months ago
Supporting knowledge-base evolution with incremental formalization
Frank M. Shipman III, Raymond McCall
176
Voted
ASM
2010
ASM
15 years 10 months ago
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking
Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dew...