1036 search results - page 79 / 208 » The case for a location metasystem |
167
click to vote
CAIP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
117
click to vote
ICC
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract – In this work we consider the problem of locating a known periodically embedded synchronization pattern in random data, which is subject to flat fading and additive wh...
152
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
156
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
153
click to vote
CCCG
2008
15 years 7 months ago
2008
Let P be the point set in two dimensional plane. In this paper, we consider the problem of locating two isothetic unit squares such that together they cover maximum number of poin...