613 search results - page 29 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
ACL
2010
13 years 5 months ago
2010
Scoring sentences in documents given abstract summaries created by humans is important in extractive multi-document summarization. In this paper, we formulate extractive summariza...
AI
2005
Springer
13 years 7 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
JPDC
2006
13 years 7 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
HAIS
2010
Springer
14 years 12 days ago
2010
Springer
Abstract. Color constancy and chromatic edge detection are fundamental problems in artificial vision. In this paper1 we present a way to provide a visualization of color constancy...
BMCBI
2010
13 years 7 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...