Daniel Frost

14 papers A* 3A 6Misc 1Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2015 Misc conf
Likelihood Ratio-based Forensic Voice Comparison on L2 speakers: A Case of Hong Kong native male production of English vowels.
ALTA
Daniel Frost, Shunichi Ishihara
2008 A conf
Ucigame, a java library for games.
SIGCSE
Daniel Frost
2007 A conf
Fourth grade computer science.
SIGCSE
Daniel Frost
2002 J jnl
Backjump-based backtracking for constraint satisfaction problems.
Artif. Intell.
Rina Dechter, Daniel Frost
1999 J jnl
Maintenance scheduling problems as benchmarks for constraint algorithms.
Ann. Math. Artif. Intell.
Daniel Frost, Rina Dechter
1998 A conf
Optimizing with Constraints: A Case Study in Scheduling Maintenance of Electric Power Units.
CP
Daniel Frost, Rina Dechter
1997 A conf
Statistical Analysis of Backtracking on Inconsistent CSPs.
CP
Irina Rish, Daniel Frost
1997 — conf
Summarizing CSP Hardness with Continuous Probability Distributions.
AAAI/IAAI
Daniel Frost, Irina Rish, Lluís Vila
1996 A conf
Looking at Full Looking Ahead.
CP
Daniel Frost, Rina Dechter
1995 A* conf
Look-Ahead Value Ordering for Constraint Satisfaction Problems.
IJCAI (1)
Daniel Frost, Rina Dechter
1994 A* conf
Dead-End Driven Learning.
AAAI
Daniel Frost, Rina Dechter
1994 A* conf
In Search of the Best Constraint Satisfaction Search.
AAAI
Daniel Frost, Rina Dechter
1993 — —
The dual jump diffusion model for security prices.
Daniel Frost
1992 A conf
Identification of Domain-Specific Terminology by Combining Mutual Information and Lexical Induction.
ECAI
C. Gierl, Daniel Frost
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski