Sciweavers

2877 search results - page 419 / 576
» Complex Decision Making Processes: their Modelling and Suppo...
Sort
View
CADE
2004
Springer
14 years 9 months ago
Automatic Generation of Classification Theorems for Finite Algebras
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
Simon Colton, Andreas Meier, Volker Sorge, Roy L. ...
ISESE
2006
IEEE
14 years 3 months ago
Predicting component failures at design time
How do design decisions impact the quality of the resulting software? In an empirical study of 52 ECLIPSE plug-ins, we found that the software design as well as past failure histo...
Adrian Schröter, Thomas Zimmermann, Andreas Z...
TSMC
2008
134views more  TSMC 2008»
13 years 9 months ago
Expanding the Criteria for Evaluating Socio-Technical Software
Abstract--This paper compares two evaluation criterion frameworks for sociotechnical software. Research on the technology acceptance model (TAM) confirms that perceived usefulness ...
Brian Whitworth, Victor Bañuls, Cheickna Sy...
TCSV
2010
13 years 3 months ago
Subsampled Block-Matching for Zoom Motion Compensated Prediction
Motion compensated prediction plays a vital role in achieving enormous video compression efficiency in advanced video coding standards. Most practical motion compensated prediction...
Lai-Man Po, Ka-Man Wong, Kwok-Wai Cheung, Ka-Ho Ng
DKE
2008
208views more  DKE 2008»
13 years 9 months ago
Deploying defeasible logic rule bases for the semantic web
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
Efstratios Kontopoulos, Nick Bassiliades, Grigoris...