Scott Cotton

13 papers A* 1A 3B 2Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2011 — conf
Multi-criteria optimization for mapping programs to multi-processors.
SIES
Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi
2011 B conf
On universal search strategies for multi-criteria optimization using weighted sums.
IEEE Congress on Evolutionary Computation
Julien Legriel, Scott Cotton, Oded Maler
2011 A* conf
SpaceEx: Scalable Verification of Hybrid Systems.
CAV
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
2010 A conf
Approximating the Pareto Front of Multi-criteria Optimization Problems.
TACAS
Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler
2010 — conf
Natural Domain SMT: A Preliminary Assessment.
FORMATS
Scott Cotton
2010 A conf
Two Techniques for Minimizing Resolution Proofs.
SAT
Scott Cotton
2006 A conf
Fast and Flexible Difference Constraint Propagation for DPLL(T).
SAT
Scott Cotton, Oded Maler
2004 — conf
Some Progress in Satisfiability Checking for Difference Logic.
FORMATS/FTRTFT
Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
2002 J jnl
An Integrated Framework for Treebanks and Multilayer Annotations
CoRR
Scott Cotton, Steven Bird
2002 B conf
An integrated framework for treebanks and multilayer annotations.
LREC
Scott Cotton, Steven Bird
2001 — conf
Automatic Predicate Argument Analysis of the Penn TreeBank.
HLT
Martha Palmer, Joseph Rosenzweig, Scott Cotton
2001 — conf
English Tasks: All-Words and Verb Lexical Sample.
SENSEVAL@ACL
Martha Palmer, Christiane Fellbaum, Scott Cotton, Lauren Delfs, Hoa Trang Dang
2001 — conf
SENSEVAL-2: Overview.
SENSEVAL@ACL
Philip Edmonds, Scott Cotton