Sciweavers

3206 search results - page 283 / 642
» How minds can be computational systems
Sort
View
ICCS
2007
Springer
16 years 25 days ago
Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
Tibor Bosse, Charlotte Gerritsen, Jan Treur
WEBI
2004
Springer
16 years 1 days ago
PPDN - a Framework for Peer-to-Peer Collaborative Research Network
PPDN, Push-Pull Distribution Network, — a proposal for a novel framework for peer-to-peer collaborative research network is presented. Some requirements not addressed by the cur...
Vlado Keselj, Nick Cercone
DEXAW
2003
IEEE
101views Database» more  DEXAW 2003»
15 years 12 months ago
The Patia Autonomic Webserver: Feasibility Experimentation
This paper introduces the Patia Autonomic webserver, which has been designed to be self-monitoring and adaptive to not only improve webserver performance but robustness in terms o...
Julie A. McCann, Gawesh Jawaheer
CSL
2001
Springer
15 years 11 months ago
Markov's Principle for Propositional Type Theory
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
Alexei Kopylov, Aleksey Nogin
EURODAC
1994
IEEE
120views VHDL» more  EURODAC 1994»
15 years 10 months ago
Generating compilers for generated datapaths
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
Michael Held, Manfred Glesner