2502 search results - page 457 / 501 » Using probabilistic model checking in systems biology |
KDD
2008
ACM
16 years 6 days ago
2008
ACM
This paper addresses several key issues in the ArnetMiner system, which aims at extracting and mining academic social networks. Specifically, the system focuses on: 1) Extracting ...
101
click to vote
PDCAT
2005
Springer
15 years 5 months ago
2005
Springer
Recently a bulk of research [14, 5, 15, 9] has been done on the modelling of the smallworld phenomenon, which has been shown to be pervasive in social and nature networks, and eng...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
In large, collaborative, heterogeneous teams, team members often collect information that is useful to other members of the team. Recognizing the utility of such information and d...
108
click to vote
DAC
2007
ACM
16 years 24 days ago
2007
ACM
We discover significant value-dependent programming energy variations in multi-level cell (MLC) flash memories, and introduce an energy-aware data compression method that minimize...
118
click to vote
ICDCS
2002
IEEE
15 years 4 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...