1140 search results - page 222 / 228 » Progress on Certifying Algorithms |
135
click to vote
CACM
2008
15 years 2 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
123
click to vote
CGF
2008
15 years 2 months ago
2008
Many casually taken "tourist" photographs comprise of architectural objects like houses, buildings, etc. Reconstructing such 3D scenes captured in a single photograph is...
121
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--The question of polynomial learnability of probability distributions, particularly Gaussian mixture distributions, has recently received significant attention in theoreti...
139
Voted
AIS
2006
Springer
15 years 2 months ago
2006
Springer
Today's computer network technologies are sociologically founded on hunter-gatherer principles; common users may be possible subjects of surveillance and sophisticated Interne...
115
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Despite recent algorithmic and conceptual progress, the stoichiometric network analysis of large metabolic models remains a computationally challenging problem. Result...