4949 search results - page 254 / 990 » Consistency and Set Intersection |
184
click to vote
WICON
2008
15 years 8 months ago
2008
We consider a wireless network consisting of multiple transmitters with multicast traffic destined for a set of receivers. We are interested in the problem of joint scheduling and...
188
click to vote
ACL
2006
15 years 8 months ago
2006
This paper describes an algorithm for propagating verb arguments along lexical chains consisting of WordNet relations. The algorithm creates verb argument structures using VerbNet...
161
click to vote
IADIS
2003
15 years 8 months ago
2003
Ontologies in a web setting, particularly those used in a group context (such as a virtual community), need to be flexible and open to changes that reflect the evolution of knowle...
196
click to vote
IICAI
2003
15 years 8 months ago
2003
Abstract. This paper presents a new sequential algorithm to answer the question about the existence of a causal explanation for a set of independence statements (a dependency model...
146
click to vote
AML
2010
15 years 6 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...