5550 search results - page 370 / 1110 » Different Approaches to Proof Systems |
199
click to vote
GECCO
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents an approach for classifying students in order to predict their final grade based on features extracted from logged data in an education web-based system. A comb...
231
click to vote
TASLP
2008
15 years 6 months ago
2008
This paper describes an approach for computing a consensus translation from the outputs of multiple machine translation (MT) systems. The consensus translation is computed by weigh...
185
click to vote
SIGMETRICS
2005
ACM
16 years 12 days ago
2005
ACM
To bridge the increasing processor-disk performance gap, buffer caches are used in both storage clients (e.g. database systems) and storage servers to reduce the number of slow di...
237
click to vote
JUCS
2008
15 years 6 months ago
2008
: Multi-Agent Systems (MAS) constitute a well known approach in modelling dynamical real world systems. Recently, this technology has been applied to Wireless Communication Systems...
182
click to vote
TPDS
2008
15 years 6 months ago
2008
Multiparty voice-over-IP (MVoIP) services allow a group of people to freely communicate with each other via the Internet, which have many important applications such as online gami...