623 search results - page 64 / 125 » Relational Parametricity for Control Considered as a Computa... |
FOCI
2007
IEEE
15 years 6 months ago
2007
IEEE
— The exchange Monte Carlo method was proposed as an improved algorithm of Markov Chain Monte Carlo method and its effectiveness has been shown in many fields. In the exchange M...
ESAW
2000
Springer
15 years 3 months ago
2000
Springer
Social Order becomes a major problem in MAS and in computer mediated human interaction. After explaining the notions of Social Order and Social Control, I claim that there are mult...
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
—We propose an approach for improving object recognition and localization using spatial kernels together with instance embedding. Our approach treats each image as a bag of insta...
ICCS
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We analyze and simulate a near continuum MagnetoGasDynamic(MGD) flow inside a two-dimensional microchannel with a low magnetic Reynolds number assumption. Complex physics...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
The impact of operating system noise on the performance of large-scale applications is a growing concern and ameliorating the effects of OS noise is a subject of active research. ...