12084 search results - page 2109 / 2417 » Effect Systems with Subtyping |
180
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Virtualization technology facilitates a dynamic, demanddriven allocation and migration of servers. This paper studies how the flexibility offered by network virtualizatio...
200
click to vote
JAIR
2011
15 years 1 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
150
click to vote
JOCN
2011
15 years 1 months ago
2011
■ The left inferior frontal gyrus (LIFG) has long been claimed to play a key role in language function. However, there is considerable controversy as to whether regions within L...
209
click to vote
PAMI
2011
15 years 1 months ago
2011
—This paper presents an automatic segmentation algorithm for video frames captured by a (monocular) webcam that closely approximates depth segmentation from a stereo camera. The ...
176
click to vote
SIMULATION
2011
15 years 1 months ago
2011
In a recent paper entitled ‘Influences of Resource Limitations and Transmission Costs on Epidemic Simulations and Critical Thresholds in Scale-Free Networks’ by Huang et al., ...