457 search results - page 80 / 92 » Distributed verification with LoLA |
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Difficulties understanding update paths while understanding code cause developers to waste time and insert bugs. A detailed investigation of these difficulties suggests that a wid...
WWW
2009
ACM
14 years 2 months ago
2009
ACM
In this paper, we propose to model the blended search problem by assuming conditional dependencies among queries, VSEs and search results. The probability distributions of this mo...
ICB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. State-of-the-art palmprint recognition algorithms achieve high accuracy based on component based texture analysis. However, they are still sensitive to local variations o...
CLUSTER
2007
IEEE
14 years 1 months ago
2007
IEEE
-Jul 2 - Santa Clara Conv Ctr - abstracts by 4/30 Asilomar Conference on Signals, Systems, and Computers due by June 1 [more] - Nov 1-4, 2009 - Asilomar Conf Grounds, Pacific Grove...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
This paper investigates the impacts of individual egoistic and altruistic behaviors in a virtual society built upon the Vidya game, used here as the social simulation and Multiage...