Sciweavers

26496 search results - page 266 / 5300
» An Approach to Computing Ethics
Sort
View
MSE
2000
IEEE
102views Hardware» more  MSE 2000»
15 years 11 months ago
Ubiquitous Computing and Its Influence on MSE
More than a decade after its invention, Mark Weiser’s vision of ubiquitous computing finally seems to spark many research activities world wide. This article reviews the ideas b...
Max Miihlhiiuser
EGICE
2006
15 years 10 months ago
Understanding Situated Design Computing and Constructive Memory: Newton, Mach, Einstein and Quantum Mechanics
Situated design computing is an approach to the use of computers in design based on situated cognition. It is founded on two concepts: situatedness and constructive memory. These h...
John S. Gero
CCA
2005
Springer
15 years 8 months ago
Computable Versions of Basic Theorems in Functional Analysis
If one wishes to find out whether a computational problem over discrete data is solvable or how complex it is, the classical approach is to represent the discrete objects in quest...
Atsushi Yoshikawa, Mariko Yasugi
NIPS
2004
15 years 8 months ago
Edge of Chaos Computation in Mixed-Mode VLSI - A Hard Liquid
Computation without stable states is a computing paradigm different from Turing's and has been demonstrated for various types of simulated neural networks. This publication t...
Felix Schürmann, Karlheinz Meier, Johannes Sc...
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 8 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power