Sciweavers

1523 search results - page 69 / 305
» Partially ordered secretaries
Sort
View
LICS
2010
IEEE
14 years 11 months ago
On the Expressivity of Symmetry in Event Structures
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
Sam Staton, Glynn Winskel
84
Voted
DAM
2006
93views more  DAM 2006»
15 years 19 days ago
Update schedules of sequential dynamical systems
Sequential dynamical systems have the property, that the updates of states of individual cells occur sequentially, so that the global update of the system depends on the order of t...
Reinhard Laubenbacher, Bodo Pareigis
91
Voted
LREC
2010
188views Education» more  LREC 2010»
15 years 2 months ago
Improving Chunking Accuracy on Croatian Texts by Morphosyntactic Tagging
In this paper, we present the results of an experiment with utilizing a stochastic morphosyntactic tagger as a pre-processing module of a rule-based chunker and partial parser for...
Kristina Vuckovic, Zeljko Agic, Marko Tadic
106
Voted
CASCON
1994
123views Education» more  CASCON 1994»
15 years 1 months ago
Integrating real-time and partial-order information in event-data displays
The events occurring in the execution of a distributed or parallel application are related by a partial, rather than a total, order. We have developed prototype software that coll...
David J. Taylor, Michael H. Coffin
114
Voted
DAGSTUHL
1996
15 years 1 months ago
Pragmatics of Type-Directed Partial Evaluation
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
Olivier Danvy