6269 search results - page 1208 / 1254 » Turning data into knowledge |
PRICAI
2004
Springer
14 years 23 days ago
2004
Springer
We present a novel geometric model for robot mapping based on shape. Shape similarity measure and matching techniques originating from computer vision are specially redesigned for ...
ISCC
2003
IEEE
14 years 21 days ago
2003
IEEE
This paper presents a new active queue management scheme, Fuzzy Explicit Marking (FEM), implemented within the differentiated services (Diff-Serv) framework to provide congestion ...
PVG
2003
IEEE
14 years 21 days ago
2003
IEEE
While commodity computing and graphics hardware has increased in capacity and dropped in cost, it is still quite difficult to make effective use of such systems for general-purpos...
IUI
2003
ACM
14 years 20 days ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
PLDI
2003
ACM
14 years 20 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...