10568 search results - page 565 / 2114 » Computer Intelligence and Formalization |
168
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
180
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
203
click to vote
GRAMMARS
1998
15 years 6 months ago
1998
From the perspective of the linguist, the theory of formal languages serves as an abstract model to address issues such as complexity, learnability, information content, etc. which...
192
Voted
FLAIRS
2006
15 years 7 months ago
2006
The need to provide computers with the ability to estimate the affective state of their users is a major requirement for the practical implementation of Affective Computing concep...
728
click to vote
Lab
Division for foundations of software led by Professor Minoru Ito in graduate school of information science at Nara Institute of Science and Technology, JAPAN, is engaged in researc...