3692 search results - page 395 / 739 » Active learning and its use in computer science |
149
click to vote
EJWCN
2010
15 years 1 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...
185
click to vote
WECWIS
2003
IEEE
16 years 2 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...
243
click to vote
HRI
2011
ACM
14 years 10 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...
162
click to vote
CHI
2006
ACM
16 years 7 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 ...
171
click to vote
ISEUD
2009
Springer
16 years 1 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...