4835 search results - page 685 / 967 » Intelligent Selection Tools |
155
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
While argumentation is highly important for humans in many different aspects of life, it is hard to teach large groups to argue. Classic face-to-face approaches, which have shown ...
159
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
148
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— The reported work advances the state-of-the-art in assistive technology for the blind by enhancing a low-cost automated tutor designed to teach braille writing skills to visual...
147
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
157
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
In the recent years, query answering over Description Logic (DL) knowledge bases has been receiving increasing attention, and various methods and techniques have been presented for...