39362 search results - page 207 / 7873 » Global Computing Systems |
228
click to vote
SIAMSC
2008
15 years 3 months ago
2008
A survey of recent results of the authors is presented. This survey is short due to space limitations. A Coefficient Inverse Problem for a hyperbolic PDE with backscattering data ...
155
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
142
Voted
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a novel method for mobile robot localization using visual appearance features. A multidimensional-histogram is used to describe the global appearance features ...
133
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
121
click to vote
GRAPHICSINTERFACE
1998
15 years 4 months ago
1998
In this paper we examine the simultaneous solution of a set of image transformations with the goal of creating a globally optimal image mosaic. We examine an alternative parameter...