4401 search results - page 163 / 881 » Computing with Default Logic |
149
click to vote
TIME
2006
IEEE
15 years 8 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
136
Voted
AISC
2008
Springer
15 years 4 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
110
Voted
ISMVL
2005
IEEE
15 years 8 months ago
2005
IEEE
As logic device sizes shrink towards the nanometer scale, a number of important physical limits threaten to soon halt further improvements in computer performance per unit cost. H...
140
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...
95
Voted
ACSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...