Sciweavers

3229 search results - page 296 / 646
» Theories with the Independence Property
Sort
View
WDAG
2000
Springer
87views Algorithms» more  WDAG 2000»
15 years 10 months ago
A Probabilistically Correct Leader Election Protocol for Large Groups
This paper presents a scalable leader election protocol for large process groups with a weak membership requirement. The underlying network is assumed to be unreliable but characte...
Indranil Gupta, Robbert van Renesse, Kenneth P. Bi...
ICSE
1995
IEEE-ACM
15 years 10 months ago
Deriving Specifications from Requirements: An Example
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
Michael Jackson, Pamela Zave
WSC
2008
15 years 9 months ago
Modeling and simulation of integrated intelligent systems
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...
Yongchang Li, Michael Balchanos, Bassem Nairouz, N...
APPROX
2008
Springer
101views Algorithms» more  APPROX 2008»
15 years 8 months ago
Learning Random Monotone DNF
We give an algorithm that with high probability properly learns random monotone DNF with t(n) terms of length log t(n) under the uniform distribution on the Boolean cube {0, 1}n ....
Jeffrey C. Jackson, Homin K. Lee, Rocco A. Servedi...
ACL
2007
15 years 8 months ago
Generalizing Tree Transformations for Inductive Dependency Parsing
Previous studies in data-driven dependency parsing have shown that tree transformations can improve parsing accuracy for specific parsers and data sets. We investigate to what ex...
Jens Nilsson, Joakim Nivre, Johan Hall