799 search results - page 47 / 160 » Refinement and Separation Contexts |
COSIT
2007
Springer
14 years 2 months ago
2007
Springer
Cavities in spatial phenomena require geometric representations of regions with holes. Existing models for reasoning over topological relations either exclude such specialized regi...
KBSE
1999
IEEE
14 years 29 days ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
TIT
2010
13 years 3 months ago
2010
This paper addresses lossy transmission of a common source over a broadcast channel when there is correlated side information at the receivers. The quadratic Gaussian and binary H...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
A transferable quality model must be general. This implies that only the high level characteristics can be transferred into different settings and that the refinement of the charac...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
Users frequently modify a previous search query in hope of retrieving better results. These modifications are called query reformulations or query refinements. Existing research h...