Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
Marcelino C. Pequeno, Rodrigo de M. S. Veras, Wlad...
This paper describes the results of three studies investigating an embodied agent that supports its interaction with the user by gazing at corresponding objects within its close e...
Johann Schrammel, Arjan Geven, Reinhard Sefelin, M...
Minimally invasive image guided interventions are an attractive option for localized therapy delivery and diagnostic biopsy. We have developed a method for CT guided needle placeme...
Robert C. Susil, James H. Anderson, Russell H. Tay...
A new hybrid BIST scheme is proposed which is based on using an “incrementally guided LFSR.” It very efficiently combines external deterministic data from the tester with on-c...
Architectural knowledge is reflected in various artifacts of a software product. In the case of a software product audit this architectural knowledge needs to be uncovered and it...