6039 search results - page 1164 / 1208 » The Function Space of an Activity |
169
click to vote
ICDM
2009
IEEE
16 years 12 days ago
2009
IEEE
—Identifying modules, or natural communities, in large complex networks is fundamental in many fields, including social sciences, biological sciences and engineering. Recently s...
178
click to vote
TPHOL
2009
IEEE
16 years 12 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
170
Voted
ADHOCNOW
2009
Springer
16 years 11 days ago
2009
Springer
Abstract— Mobile wireless sensor networks have to be robust against the limitations of the underlying platform. While lightweight form factor makes them an attractive choice for ...
169
Voted
CIKM
2009
Springer
16 years 10 days ago
2009
Springer
This paper addresses the issue of social recommendation based on collaborative filtering (CF) algorithms. Social recommendation emphasizes utilizing various attributes informatio...
162
click to vote
MEMBRANE
2009
Springer
16 years 9 days ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...