1728 search results - page 290 / 346 » Formal Modeling of Process Migration |
ASM
2008
ASM
13 years 11 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
VG
2003
13 years 11 months ago
2003
In this paper, we propose a novel shape and physical attribute handling system Volume-CAD designated for practical and robust use in the manufacturing process of various industrie...
JCP
2008
13 years 9 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
MAGS
2008
13 years 9 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...