Sciweavers

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