12981 search results - page 2330 / 2597 » Model Checking (Abstract) |
118
click to vote
ITP
2010
15 years 8 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
131
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Computer manipulated social networks are usually built from the explicit assertion by users that they have some relation with other users or by the implicit evidence of s...
132
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...
123
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
Effective learning in multi-label classification (MLC) requires an ate level of abstraction for representing the relationship between each instance and multiple categories. Curren...
162
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—In cognitive mobile multihop relay (CMMR) network, the mobile user as the primary user is allocated with the channel for transmitting data. Relay station as the secondar...