Sciweavers

34181 search results - page 6481 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
FLAIRS
2004
15 years 6 months ago
Augmenting AI Coursework Through Undergraduate Research
All courses in Artificial Intelligence are not equal. The topics covered by a course entitled Artificial Intelligence vary widely. The Computing Curricula 2001: Computer Science o...
Antonio M. Lopez Jr.
161
Voted
NIPS
2004
15 years 6 months ago
Using Machine Learning to Break Visual Human Interaction Proofs (HIPs)
Machine learning is often used to automatically solve human tasks. In this paper, we look for tasks where machine learning algorithms are not as good as humans with the hope of ga...
Kumar Chellapilla, Patrice Y. Simard
NSDI
2004
15 years 6 months ago
Democratizing Content Publication with Coral
CoralCDN is a peer-to-peer content distribution network that allows a user to run a web site that offers high performance and meets huge demand, all for the price of a cheap broad...
Michael J. Freedman, Eric Freudenthal, David Mazi&...
NSDI
2004
15 years 6 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
ICAI
2003
15 years 6 months ago
Threshold Behavior in a Boolean Network Model for SAT
Boolean satisfiability (SAT) is the canonical NP-complete problem that plays an important role in AI and has many practical applications in Computer Science in general. Boolean n...
Alejandro Bugacov, Aram Galstyan, Kristina Lerman
« Prev « First page 6481 / 6837 Last » Next »