2909 search results - page 200 / 582 » Consistency of the theory of contexts |
221
click to vote
CSL
2007
Springer
16 years 20 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ...
172
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
There are well known algorithms for learning the structure of directed and undirected graphical models from data, but nearly all assume that the data consists of a single i.i.d. s...
146
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
: The discussion presents a framework of concepts that is intended to account for the rationality of semantic change and variation, suggesting that each scientific concept consists...
112
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper addresses the problem of multi-pitch estimation, which consists in estimating the fundamental frequencies of multiple harmonic sources, with possibly overlapping partia...
146
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
The development of graphical argument models is an active and growing area of research in Artificial Intelligence and Law. The aim is to develop models which may be readily used ...