1358 search results - page 170 / 272 » Proceedings |
190
click to vote
SCN
2011
Springer
14 years 11 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
135
click to vote
TSP
2011
14 years 11 months ago
2011
—In this paper, a novel algorithm to blindly separate an instantaneous linear underdetermined mixture of nonstationary sources is proposed. It means that the number of sources ex...
178
click to vote
IHI
2010
14 years 10 months ago
2010
One of the concerns patients have when confronted with a medical condition is which physician to trust. Any recommendation system that seeks to answer this question must ensure an...
134
click to vote
TEC
2010
14 years 10 months ago
2010
in HTML. Full version in PDF. 08i YOGEV, O., SHAPIRO, A. A., AND ANTONSSON, E. K. Computational Evolutionary Embryogeny. IEEE Transactions on Evolutionary Computation. Accepted for...
134
Voted
TOG
2010
14 years 10 months ago
2010
2d animation is a traditional but fascinating domain that has recently regained popularity both in animated movies and video games. This paper introduces a method for automaticall...