Sciweavers

192 search results - page 9 / 39
» Nondeterminism in Constructive Z
Sort
View
ETAI
1998
99views more  ETAI 1998»
14 years 9 months ago
A Logical Account of the Common Sense Informatic Situation for a Mobile Robot
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...
Murray Shanahan
JSC
2006
102views more  JSC 2006»
14 years 9 months ago
Counterexamples to witness conjectures
Consider the class of exp-log constants, which is constructed from the integers using the field operations, exponentiation and logarithm. Let z be such an exp-log constant and let...
Joris van der Hoeven
CORR
2011
Springer
181views Education» more  CORR 2011»
14 years 4 months ago
Octal Bent Generalized Boolean Functions
In this paper we characterize (octal) bent generalized Boolean functions defined on Zn 2 with values in Z8. Moreover, we propose several constructions of such generalized bent fun...
Pante Stanica, Thor Martinsen
ICITA
2005
IEEE
15 years 3 months ago
Automated Feature Points Management for Video Mosaic Construction
— A novel algorithm for construct a seamless video mosaic of the entire panorama continuously by automatically analyzing and managing feature points, including management of quan...
Jing Li, Quan Pan, Tao Yang, Stan Z. Li
STOC
1992
ACM
122views Algorithms» more  STOC 1992»
15 years 1 months ago
Existence and Construction of Edge Disjoint Paths on Expander Graphs
Given an expander graph G = (V, E) and a set of q disjoint pairs of vertices in V , we are interested in finding for each pair (ai, bi), a path connecting ai to bi, such that the ...
Andrei Z. Broder, Alan M. Frieze, Eli Upfal