Sciweavers

537 search results - page 29 / 108
» Accountability and automation bias
Sort
View
CIT
2007
Springer
13 years 11 months ago
An Approach for Assessment of Reliability of the System Using Use Case Model
Existing approaches on reliability assessment of the system have limitations such as performance entirely depends on expertise, knowledge of system analysts and computation of usa...
Debasish Kundu, Debasis Samanta
LREC
2008
89views Education» more  LREC 2008»
13 years 9 months ago
Sentiment Analysis and the Use of Extrinsic Datasets in Evaluation
The field of automated sentiment analysis has emerged in recent years as an exciting challenge to the computational linguistics community. Research in the field investigates how e...
Ann Devitt, Khurshid Ahmad
DSS
2000
107views more  DSS 2000»
13 years 7 months ago
MarketNet: protecting access to information systems through financial market controls
This paper describes novel market-based technologies that uniquely establish quantifiable and adjustable limits on the power of attackers, enable verifiable accountability for mal...
Yechiam Yemini, Apostolos Dailianas, Danilo Floris...
DAC
2007
ACM
14 years 8 months ago
Variation Resilient Low-Power Circuit Design Methodology using On-Chip Phase Locked Loop
This paper presents a variation resilient circuit design technique for maintaining parametric yield of design under inherent variation in process parameters. We propose to utilize...
Kunhyuk Kang, Kee-Jong Kim, Kaushik Roy
LOPSTR
2000
Springer
13 years 11 months ago
A formal framework for synthesis and verification of logic programs
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
Alessandro Avellone, Mauro Ferrari, Camillo Fioren...