128 search results - page 7 / 26 » An Implicit Characterization of PSPACE |
FSTTCS
2008
Springer
14 years 11 months ago
2008
Springer
The unfolding of (1-)safe Petri nets to occurrence nets is well understood. There is a universal characterization of the unfolding of a safe net which is part and parcel of a core...
ADG
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
EFDBS
2001
14 years 11 months ago
2001
In this work, we consider augmenting SQL with constructs allowing dynamic restructuring. Dynamic restructuring occurs naturally in a framework including second-order capabilities f...
ECSCW
2007
14 years 11 months ago
2007
Abstract. We show that asynchronous collaboration can be made more effective by providing cues to common knowledge. We demonstrate this by empirically comparing two user interfaces...