3348 search results - page 592 / 670 » Around and Around |
163
click to vote
ICS
2000
Tsinghua U.
15 years 10 months ago
2000
Tsinghua U.
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
180
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: In addition to researchers in AI and robotics, RoboCup attracts ordinary people, especially kids, high school and university students. Over 3000 people from 35 nations around the...
175
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
The Principal Components Analysis (PCA) is one of the most successfull techniques that have been used to recognize faces in images. This technique consists of extracting the eigenv...
174
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
This paper discusses the technical and policy issues that West Virginia Network (WVNET) encountered when it expanded its statewide Internet dialup service through an outsourcing p...
174
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...