Sciweavers

633 search results - page 31 / 127
» A Few Constructions on Constructors
Sort
View
VMCAI
2004
Springer
15 years 7 months ago
Widening Operators for Powerset Domains
Abstract. The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of its elements. In this paper we define three g...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
NAACL
2007
15 years 3 months ago
Multi-Document Relationship Fusion via Constraints on Probabilistic Databases
Previous multi-document relationship extraction and fusion research has focused on single relationships. Shifting the focus to multiple relationships allows for the use of mutual ...
Gideon Mann
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 1 months ago
Threshold-Controlled Global Cascading in Wireless Sensor Networks
Abstract-- We investigate cascade dynamics in thresholdcontrolled (multiplex) propagation on random geometric networks. We find that such local dynamics can serve as an efficient, ...
Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski
COMCOM
1998
52views more  COMCOM 1998»
15 years 1 months ago
Dissemination of state information in distributed autonomous systems
Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those alg...
Steve J. Chapin, Eugene H. Spafford
MLQ
2010
74views more  MLQ 2010»
15 years 10 days ago
Tallness and level by level equivalence and inequivalence
We construct two models containing exactly one supercompact cardinal in which all nonsupercompact measurable cardinals are strictly taller than they are either strongly compact or...
Arthur W. Apter