Sciweavers

9841 search results - page 644 / 1969
» Distributed Value Functions
Sort
View
PODC
1989
ACM
15 years 11 months ago
Equational Reasoning About Nondeterministic Processes
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...
Jayadev Misra
171
Voted
CONCUR
2010
Springer
15 years 8 months ago
Termination in Impure Concurrent Languages
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
Romain Demangeon, Daniel Hirschkoff, Davide Sangio...
ADBIS
1995
Springer
76views Database» more  ADBIS 1995»
15 years 11 months ago
Towards a Realistic Model of Indices in Object Bases
A comparison of several indexing techniques for complex object in object-oriented database systems is presented, based on assumption of non-uniform distribution of attribute value...
Boris Novikov
SODA
2001
ACM
80views Algorithms» more  SODA 2001»
15 years 8 months ago
On the discrete Bak-Sneppen model of self-organized criticality
We propose a discrete variant of the Bak-Sneppen model for self-organized criticality. In this process, a configuration is an n-bit word, and at each step one chooses a random bit...
Jérémy Barbay, Claire Kenyon
NAACL
1994
15 years 8 months ago
A New Approach to Word Sense Disambiguation
This paper presents and evaluates models created according to a schema that provides a description of the joint distribution of the values of sense tags and contextual features th...
Rebecca F. Bruce, Janyce Wiebe