2131 search results - page 87 / 427 » Immunity for Closed Sets |
106
click to vote
CSL
2009
Springer
15 years 7 months ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
126
click to vote
RP
2009
Springer
15 years 7 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
95
Voted
IV
2008
IEEE
15 years 7 months ago
2008
IEEE
Given a group of overlapping sets, it is not always possible to represent it with Euler diagrams. Euler diagram characteristics might collide with the sets relationships to depict...
AAAI
2007
15 years 3 months ago
2007
Existing methods for single document summarization usually make use of only the information contained in the specified document. This paper proposes the technique of document expa...
90
Voted
COLING
2010
14 years 7 months ago
2010
The goal of this work is to produce a classifier that can distinguish subjective sentences from objective sentences for the Urdu language. The amount of labeled data required for ...