10304 search results - page 1950 / 2061 » Computer science with the sciences: an emphasis in computati... |
123
click to vote
CPHYSICS
2006
15 years 1 months ago
2006
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...
105
click to vote
IANDC
2006
15 years 1 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
137
click to vote
CN
2007
15 years 1 months ago
2007
With the ever increasing deployment and usage of gigabit networks, traditional network anomaly detection based Intrusion Detection Systems (IDS) have not scaled accordingly. Most,...
120
click to vote
JANCL
2008
15 years 1 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
102
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate th...