1433 search results - page 141 / 287 » On Covering Problems of Rado |
183
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Disconnection and reconnection are common problems for users of synchronous groupware, but these problems are not easy for developers to handle because of the wide range of scenar...
293
click to vote
ICDE
2004
IEEE
16 years 7 months ago
2004
IEEE
Several spatio-temporal applications require the retrieval of summarized information about moving objects that lie in a query region during a query interval (e.g., the number of m...
273
click to vote
VLDB
2008
ACM
16 years 6 months ago
2008
ACM
Mapping composition is a fundamental operation in metadata driven applications. Given a mapping over schemas 1 and 2 and a mapping over schemas 2 and 3, the composition problem is...
144
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a gridless method for solving the interior problem for a set of conductors in an homogeneous dielectric, at sufficiently high frequencies, valid for conductor lengths ...
128
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...