25156 search results - page 18 / 5032 » Applications for conscious systems |
VTS
2005
IEEE
14 years 2 months ago
2005
IEEE
An automated design procedure is described for synthesizing circuits with low power concurrent error detection. It is based on pre-synthesis selection of a parity-check code follo...
INTERACT
2003
13 years 10 months ago
2003
: As in advertising, online information works best if the users instantly realize the message conveyed. There is no easy to use and valid method for measuring what the viewers actu...
RSEISP
2007
Springer
14 years 2 months ago
2007
Springer
The current research in granular computing is dominated by set-theoretic models such as rough sets and fuzzy sets. By recasting the existing studies in a wider context, we propose ...
GCC
2003
Springer
14 years 2 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
ICLP
1998
Springer
14 years 1 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...