1532 search results - page 211 / 307 » Connection Relations in Mereotopology |
SOFSEM
2010
Springer
14 years 6 months ago
2010
Springer
An arc-annotated string is a string of characters, called bases, augmented with a set of pairs, called arcs, each connecting two bases. Given arc-annotated strings P and Q the arc-...
ACHI
2009
IEEE
14 years 4 months ago
2009
IEEE
Designing CSCW systems that support the widely varying needs of targeted users is difficult. There is no silver bullet technology that enables users to effectively collaborate wit...
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
New Web 2.0 applications, with their emphasis on collaboration and communication, hold the promise of major advances in social connectivity and coordination; however, they also in...
SC
2009
ACM
14 years 4 months ago
2009
ACM
A stock market data processing system that can handle high data volumes at low latencies is critical to market makers. Such systems play a critical role in algorithmic trading, ri...
CADE
2009
Springer
14 years 4 months ago
2009
Springer
predicate abstraction Shuvendu K. Lahiri and Shaz Qadeer Microsoft Research In this paper, we investigate the asymptotic complexity of various predicate abstraction problems relati...