Sciweavers

23704 search results - page 217 / 4741
» Data and Information as Property
Sort
View
CPP
2011
99views more  CPP 2011»
14 years 6 months ago
Proof-Carrying Code in a Session-Typed Process Calculus
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
Frank Pfenning, Luís Caires, Bernardo Tonin...
JMLR
2012
13 years 9 months ago
Graphlet decomposition of a weighted network
We introduce the graphlet decomposition of a weighted network, which encodes a notion of social information based on social structure. We develop a scalable algorithm, which combi...
Hossein Azari Soufiani, Edo Airoldi
RSCTC
2004
Springer
200views Fuzzy Logic» more  RSCTC 2004»
16 years 3 hour ago
A Comparative Study of Formal Concept Analysis and Rough Set Theory in Data Analysis
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
Yiyu Yao
ACL
2003
15 years 8 months ago
Learning the Countability of English Nouns from Corpus Data
This paper describes a method for learning the countability preferences of English nouns from raw text corpora. The method maps the corpus-attested lexico-syntactic properties of ...
Timothy Baldwin, Francis Bond
JUCS
2010
127views more  JUCS 2010»
15 years 5 months ago
A Selection Process Based on Additive Consistency to Deal with Incomplete Fuzzy Linguistic Information
: In group decision making situations, there may be cases in which experts do not have an in-depth knowledge of the problem to be solved and, as a result, they may present incomple...
Francisco Javier Cabrerizo, Ruben Heradio, Ignacio...