Sciweavers

8512 search results - page 316 / 1703
» Computing Theory With Relevance
Sort
View
RTA
2010
Springer
15 years 10 months ago
Infinitary Rewriting: Foundations Revisited
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
Stefan Kahrs
FUIN
2006
103views more  FUIN 2006»
15 years 6 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...
GRC
2005
IEEE
16 years 9 days ago
Information granulation and granular relationships
— As an emerging research method to deal with information and knowledge processing, various topics of granular computing have recently received more attention by researchers. The...
Jingtao Yao
GECCO
2005
Springer
109views Optimization» more  GECCO 2005»
16 years 6 days ago
Information landscapes and the analysis of search algorithms
In [15] we introduced the information landscape as a new concept of a landscape. We showed that for a landscape of a small size, information landscape theory can be used to predic...
Yossi Borenstein, Riccardo Poli
AISB
2008
Springer
15 years 8 months ago
Constructivism in AI: Prospects, Progress and Challenges
This position paper argues the case for the application of constructivist theories to Artificial Intelligence, with particular emphasis on Piaget's theory. The idea of buildin...
Frank Guerin