Sciweavers

2611 search results - page 318 / 523
» A Logic for Concepts and Similarity
Sort
View
CISIS
2009
IEEE
15 years 11 months ago
The Role of Service Oriented Architecture in Telemedicine Healthcare System
Interoperability in telemedicine system is one of the major concern in telemedicine health care system. It is difficult to design exact and flexible interoperable architecture i...
Asadullah Shaikh, Muniba Shoukat Memon, Nasrullah ...
ATAL
2001
Springer
15 years 11 months ago
Formalizing a Language for Institutions and Norms
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
Marc Esteva, Julian A. Padget, Carles Sierra
FLOPS
1999
Springer
15 years 11 months ago
Typed Higher-Order Narrowing without Higher-Order Strategies
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
Sergio Antoy, Andrew P. Tolmach
VLSID
1997
IEEE
112views VLSI» more  VLSID 1997»
15 years 10 months ago
Adder and Comparator Synthesis with Exclusive-OR Transform of Inputs
An exclusive-OR transform of input variables significantly reduces the size of the PLA implementation for adder and comparator circuits. For n bit adder circuits, the size of PLA ...
James Jacob, P. Srinivas Sivakumar, Vishwani D. Ag...
COMPCON
1994
IEEE
15 years 10 months ago
AMULET1: A Micropipelined ARM
A fully asynchronous implementation of the ARM microprocessor has been developed in order to investigate the potential of asynchronous logic for low-power applications. The work d...
Stephen B. Furber, P. Day, Jim D. Garside, N. C. P...