Scott Cotton

According to our database, Scott Cotton authored at least 12 papers between 2001 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Multi-criteria optimization for mapping programs to multi-processors.

Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi

Proceedings of the Industrial Embedded Systems (SIES), 2011

On universal search strategies for multi-criteria optimization using weighted sums.

Julien Legriel, Scott Cotton, Oded Maler

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

SpaceEx: Scalable Verification of Hybrid Systems.

Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Approximating the Pareto Front of Multi-criteria Optimization Problems.

Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Two Techniques for Minimizing Resolution Proofs.

Scott Cotton

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Natural Domain SMT: A Preliminary Assessment.

Scott Cotton

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2006

Fast and Flexible Difference Constraint Propagation for DPLL(T).

Scott Cotton, Oded Maler

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2004

Some Progress in Satisfiability Checking for Difference Logic.

Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert

Proceedings of the Formal Techniques, 2004

2002

An integrated framework for treebanks and multilayer annotations.

Scott Cotton, Steven Bird

Proceedings of the Third International Conference on Language Resources and Evaluation, 2002

2001

English Tasks: All-Words and Verb Lexical Sample.

Martha Palmer, Christiane Fellbaum, Scott Cotton, Lauren Delfs, Hoa Trang Dang

Proceedings of Second International Workshop on Evaluating Word Sense Disambiguation Systems, 2001

SENSEVAL-2: Overview.

Philip Edmonds, Scott Cotton

Proceedings of Second International Workshop on Evaluating Word Sense Disambiguation Systems, 2001

Automatic Predicate Argument Analysis of the Penn TreeBank.

Martha Palmer, Joseph Rosenzweig, Scott Cotton

Proceedings of the First International Conference on Human Language Technology Research, 2001