29143 search results - page 452 / 5829 » A Sortation System Model |
157
click to vote
AICT
2006
IEEE
16 years 27 days ago
2006
IEEE
Spoken language education plays an important role in modern language courses. Computer-based spoken language test systems provide a convenient, efficient and reliable approach to ...
182
Voted
SIGIR
2006
ACM
16 years 23 days ago
2006
ACM
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
202
click to vote
PDP
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
176
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
288
click to vote
LOGCOM
1998
15 years 6 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...