Sciweavers

15254 search results - page 391 / 3051
» A k
Sort
View
172
Voted
CIKM
1997
Springer
15 years 11 months ago
Visualizing Document Authorship Using n-grams and Latent Semantic Indexing
Ian Soboroff, Charles K. Nicholas, James M. Kukla,...
143
Voted
SARA
2000
Springer
15 years 11 months ago
On Reformulating Planning as Dynamic Constraint Satisfaction
Jeremy Frank, Ari K. Jónsson, Paul H. Morri...
175
Voted
SPIN
2000
Springer
15 years 11 months ago
Bebop: A Symbolic Model Checker for Boolean Programs
Thomas Ball, Sriram K. Rajamani
143
Voted
DAC
1995
ACM
15 years 11 months ago
Requirements-Based Design Evaluation
Stephen T. Frezza, Steven P. Levitan, Panos K. Chr...