Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,829,659 papers from all fields of science
Search
Sign In
Create Free Account
ACM SIGACT
Known as:
ACM SIGACT News
, SIGACT
, Special Interest Group on Algorithms and Computation Theory
Expand
ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Dominating set
Gödel Prize
ICALP
Knuth Prize
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Invited Articles Foreword
A. Wigderson
,
Phokion G. Kolaitis
Journal of the ACM
2015
Corpus ID: 24697459
In this issue, the Invited Articles section is comprised of two articles. Permission to make digital or hard copies of part or…
Expand
2012
2012
SIGACT news online algorithms column 20: the power of harmony
R. V. Stee
SIGA
2012
Corpus ID: 14805804
I would like to begin this column by thanking Marek Chrobak, Lance Fortnow and Brendan Mumey for giving me this opportunity for…
Expand
2011
2011
Tree-structure Based Ontology Integration
Jie Xie
,
Fei Liu
,
S. Guan
Journal of information science
2011
Corpus ID: 38548884
This paper defines a framework for ontology integration – Tree-structure Based Ontology Integration (TSBOI). Unlike other…
Expand
Review
2009
Review
2009
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Zhong Shao
,
B. Pierce
ACM-SIGACT Symposium on Principles of Programming…
2009
Corpus ID: 59698536
Welcome to the Thirty-Sixth Symposium on Principles of Programming Languages, held Wednesday, January 21st, through Friday…
Expand
2008
2008
How to Solve Consensus in the Smallest Window of Synchrony
Dan Alistarh
,
Seth Gilbert
,
R. Guerraoui
,
Corentin Travers
International Symposium on Distributed Computing
2008
Corpus ID: 9703594
This paper addresses the following question: what is the minimum-sized synchronous window needed to solve consensus in an…
Expand
Review
2003
Review
2003
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A. Aiken
,
Greg Morrisett
ACM-SIGACT Symposium on Principles of Programming…
2003
Corpus ID: 59780744
This volume contains the papers and abstracts presented at POPL'03, the Thirtieth Annual ACM SIGPLAN-SIGACT Symposium on…
Expand
2003
2003
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic
M. Geilen
International Conference on Computer Aided…
2003
Corpus ID: 18400195
Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to…
Expand
Highly Cited
2002
Highly Cited
2002
Monads for incremental computing
M. Carlsson
ACM SIGPLAN International Conference on…
2002
Corpus ID: 15675653
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A…
Expand
1999
1999
Tracing and debugging lazy functional computations
Jan Sparud
1999
Corpus ID: 60656661
Functional programming languages have many advantages over the conventional alternative of procedural languages. For example…
Expand
1993
1993
Graph augmentation and related problems: theory and practice
T. Hsu
1993
Corpus ID: 60857111
Graphs play an important role in modeling the underlying structure of many real-world problems. In this thesis, we investigate…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE