613 search results - page 29 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
109
click to vote
ACL
2010
14 years 7 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
14 years 9 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...
90
Voted
JPDC
2006
14 years 9 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...
55
Voted
HAIS
2010
Springer
15 years 2 months 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...
111
click to vote
BMCBI
2010
14 years 9 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 ...