Sciweavers

FUIN
2006
105views more  FUIN 2006»
13 years 10 months ago
Spiking Neural P Systems
This paper is an attempt to incorporate the idea of spiking neurons into the area of membrane computing, and to this aim we introduce a class of neural-like P systems which we cal...
Mihai Ionescu, Gheorghe Paun, Takashi Yokomori
ECSCW
1997
14 years 4 days ago
Plans as Situated Action: An Activity Theory Approach to Workflow Systems
: Within the community of CSCW the notion and nature of workflow systems as prescriptions of human work has been debated and criticised. Based on the work of Suchman (1987) the not...
Jakob Bardram
AAAI
2007
14 years 1 months ago
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
Alfredo Gabaldon, Gerhard Lakemeyer
TYPES
2007
Springer
14 years 4 months ago
Attributive Types for Proof Erasure
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
Hongwei Xi