3001 search results - page 354 / 601 » Recursive type generativity |
177
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
144
click to vote
ICARIS
2007
Springer
15 years 10 months ago
2007
Springer
The idiotypic network has a long and chequered history in both theoretical immunology and Artificial Immune Systems. In terms of the latter, the drive for engineering applications ...
148
click to vote
GRC
2009
IEEE
15 years 10 months ago
2009
IEEE
It is well-known that one can granulate data and information in multiple ways to generate a plethora of granulation hierarchies each with their levels of granularity. It is left im...
170
click to vote
AIMSA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Spoken audio is an important source of information available to knowledge extraction and management systems. Organization of spoken messages by priority and content can f...
151
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
Advances in technological support for augmented personal memories make possible new ways of enhancing the process of product recommendation. Instead of simply analyzing information...