Arc is a dialect of the Lisp programming language developed by Paul Graham and Robert Morris.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2009

Highly Cited

2009

- Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond
- Business Proc. Manag. Journal
- 2009

ion rule Fusion of equivalent nets rule Elimination of self-loop transition rule Fig. 8. Reset Reduction rules (Please note thatâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Nimrod Megiddo, Dharmendra S. Modha
- FAST
- 2003

We consider the problem of cache management in a demand paging scenario with uniform page sizes. We propose a new cacheâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Javier Larrosa, Thomas Schiex
- IJCAI
- 2003

The weighted CSP (WCSP) framework is a soft constraint framework with a wide range of applications. In this paper, we considerâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Thomas Schiex
- CP
- 2000

The notion of arc consistency plays a central role in constraint satisfaction. It is known since [19, 4, 5] that the notion ofâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- GÃ©rard Verfaillie, Michel LemaÃ®tre, Thomas Schiex
- AAAI/IAAI, Vol. 1
- 1996

If the Constraint Satisfaction framework has been extended to deal with Constraint Optimization problems, it appears thatâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Peter Eades, Nicholas C. Wormald
- Algorithmica
- 1994

Systems engineers have recently shown interest in algorithms for drawing directed graphs so that they are easy to understand andâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- Dimitri P. Bertsekas
- Networks
- 1993

We propose a new method for ordering the candidate nodes in label correcting methods for shortest path problems. The method isâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Itay Meiri
- AAAI
- 1991

This paper presents a general model for temporal reasoning that is capable of handling both qualitative and quantitativeâ€¦Â (More)

Is this relevant?

1991

1991

- Ralph Kopperman, Paul R. Meyer, Richard G. Wilson
- Discrete & Computational Geometry
- 1991

Many applications of digital image processing now deal with threedimensional images (the third dimension can be time or a spatialâ€¦Â (More)

Is this relevant?

Highly Cited

1972

Highly Cited

1972

- Jack Edmonds, Richard M. Karp
- Combinatorial Optimization
- 1972

This paper presents new algori thms for the maximum flow problem, the Hitchcock t r anspo r t a t i on problem, and the generalâ€¦Â (More)

Is this relevant?