Sciweavers

519 search results - page 61 / 104
» Comparing Instance Generation Methods for Automated Reasonin...
Sort
View
LOGCOM
2007
130views more  LOGCOM 2007»
13 years 7 months ago
A Logic for Concepts and Similarity
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...
GLVLSI
2007
IEEE
171views VLSI» more  GLVLSI 2007»
14 years 2 months ago
Combinational equivalence checking for threshold logic circuits
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...
Tejaswi Gowda, Sarma B. K. Vrudhula, Goran Konjevo...
ITCC
2005
IEEE
14 years 1 months ago
Comparison of Information Technology Adoption Rates across Laggards, Innovators and Others
It is important to predict and analyze user acceptance of information technology in order to address success and failures of technological products. The Theory of Reasoned Action ...
Rukmini Reddy Muduganti, Shravan Kumar Sogani, Hen...
ILP
2007
Springer
14 years 1 months ago
Learning with Kernels and Logical Representations
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
Paolo Frasconi
VISUALIZATION
2003
IEEE
14 years 1 months ago
Video Visualization
We present a feasibility study on using video visualization to aid snooker skill training. By involving the coaches and players in the loop of intelligent reasoning, our approach ...
Gareth Daniel, Min Chen