5216 search results - page 782 / 1044 » Planning as Model Checking |
180
click to vote
AIED
2007
Springer
16 years 22 days ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
170
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...
174
click to vote
CAIP
2007
Springer
16 years 21 days ago
2007
Springer
Segmentation of femurs in Anterior-Posterior x-ray images is very important for fracture detection, computer-aided surgery and surgical planning. Existing methods do not perform we...
166
click to vote
ISI
2007
Springer
16 years 20 days ago
2007
Springer
—We address the problem of planning patrol routes to maximize coverage of important locations (hot spots) at minimum cost (length of patrol route). We model a road network using ...
164
click to vote
CONEXT
2006
ACM
16 years 15 days ago
2006
ACM
Accurate network traffic classification is an important task. We intend to develop an intelligent classification system by learning the types of service inside a network flow usin...