10604 search results - page 71 / 2121 » Computational Fluid Dynamics |
CHI
2007
ACM
14 years 10 months ago
2007
ACM
In this paper, we introduce K-Menu, a keyword-based dynamic menu interface. When a user enters a keyword, a menu with items related to the keyword is constructed dynamically and p...
IJCAI
2007
13 years 11 months ago
2007
Motivated by applications such as the spread of epidemics and the propagation of influence in social networks, we propose a formal model for analyzing the dynamics of such networ...
EPIA
2009
Springer
14 years 4 months ago
2009
Springer
Computational Trust and Reputation (CTR) systems are platforms capable of collecting trust information about candidate partners and of computing confidence scores for each one of t...
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
INDIASE
2009
ACM
14 years 4 months ago
2009
ACM
When trying to reverse engineer software, execution trace analysis is increasingly used. Though, by using this technique we are quickly faced with an enormous amount of data that ...