2956 search results - page 247 / 592 » Asim: A Performance Model Framework |
167
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
High angular resolution diffusion imaging (HARDI) permits the computation of water molecule displacement probabilities over the sphere. This probability is often referred to as th...
184
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In Web-based services of dynamic content (such as news articles), recommender systems face the difficulty of timely identifying new items of high-quality and providing recommendat...
163
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
172
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The increasing economical, ecological and social significance of information systems (IS) demands reorientation for IS management. Ever-growing energy consumption, waste streams, ...
164
click to vote
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
Given a large-scale linked document collection, such as a collection of blog posts or a research literature archive, there are two fundamental problems that have generated a lot o...