3692 search results - page 395 / 739 » Active learning and its use in computer science |
163
click to vote
EJWCN
2010
15 years 2 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
208
click to vote
WECWIS
2003
IEEE
16 years 26 days ago
2003
IEEE
The great amount of information that a user handles in their typical transactions on the Internet –identifiers, addresses, credit card numbers, among others-, makes it necessary...
264
click to vote
HRI
2011
ACM
14 years 11 months ago
2011
ACM
In this paper, we present a real world user study of 4 interfaces designed to teach new visual objects to a social robot. This study was designed as a robotic game in order to mai...
173
click to vote
CHI
2006
ACM
16 years 8 months ago
2006
ACM
Interpretation and audit of financial information is a significant undertaking that must rest on a fuller understanding of the firm and its operations. A pictorial representation ...
187
click to vote
ISEUD
2009
Springer
16 years 2 months ago
2009
Springer
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...