8201 search results - page 1333 / 1641 » Approaching Manual Intelligence |
190
click to vote
IEEEICCI
2005
IEEE
16 years 12 days ago
2005
IEEE
The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...
167
click to vote
ISMVL
2005
IEEE
16 years 11 days ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
169
click to vote
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
193
click to vote
GROUP
2005
ACM
16 years 11 days ago
2005
ACM
We introduce the use of negative preferences to produce solutions that are acceptable to a group of users. Using negative preference profiling, a system determines which solution...
185
click to vote
SIGECOM
2005
ACM
16 years 11 days ago
2005
ACM
We present a new approach to representing coalitional games based on rules that describe the marginal contributions of the agents. This representation scheme captures characterist...