3305 search results - page 379 / 661 » Models and Modeling Infrastructures for Global Computational... |
156
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
245
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
The paper describes a new approach using a Conditional Random Fields (CRFs) to extract physical and logical layouts in unconstrained handwritten letters such as those sent by indi...
181
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
Virtualization is often used in cloud computing platforms for its several advantages in efficiently managing resources. However, virtualization raises certain additional challeng...
172
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
The interest in network virtualization has been growing steadily among the networking community in the last few years. Network virtualization opens up new possibilities for the ev...
160
click to vote
ISPASS
2005
IEEE
16 years 7 days ago
2005
IEEE
Computer architecture research in academia and industry is heavily reliant on simulation studies. While microprocessor companies have the resources to develop highly detailed simu...