467 search results - page 27 / 94 » Designer Definites in Logical Form |
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
ICDCSW
2007
IEEE
14 years 3 months ago
2007
IEEE
It is well known that both space and the spatial organization play an important role in our work and learning environments as well as in everyday life. There is a definite need fo...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Articulation work is a critical factor in information infrastructure building projects that involve multiple and diverse communities. It brings awareness of language differences, ...
ECIS
2000
13 years 10 months ago
2000
Abstract- This paper deals with "Knowledge Management Systems" (KMS) which are seen as a new kind of information systems supporting organizational information processing....
GLVLSI
2007
IEEE
14 years 3 months ago
2007
IEEE
A PAL-based logic block is the core of great majority of contemporary CPLD devices. The purpose of the paper is to present a new approach to multi-level synthesis for PAL-based CP...