2934 search results - page 342 / 587 » Universality in Multi-Agent Systems |
182
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
159
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
This work presents the first worst-case execution times (WCET) analysis of MPEG-decoding. Solutions for two scenarios (Video-on-Demand (VoD), live) are presented, serving as exam...
168
click to vote
ASSETS
2000
ACM
15 years 11 months ago
2000
ACM
People with severe visual impairment need a means of remaining oriented to their environment as they move through it. Three wearable orientation interfaces were developed and eval...
184
click to vote
ITS
1998
Springer
15 years 10 months ago
1998
Springer
TRANSoM is a collaborative effort among university and industry researchers aimed at producing an intelligent tutoring system for training pilots of remotely operated vehicles (ROV...
198
click to vote
LCR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper gives an overview of locality enhancement techniques used by the Jasmine compiler, currently under development at the University of Toronto. These techniques e...