Sciweavers

14161 search results - page 198 / 2833
» On generalized middle-level problem
Sort
View
CIRA
2007
IEEE
136views Robotics» more  CIRA 2007»
16 years 24 days ago
Algebraic interval constraint driven exploration in human-agent collaborative problem solving
—To enable effective human-agent collaboration, new human-centric computing paradigms are needed. This paper presents a soft constraint representation scheme based on generalized...
Yan Wang
CAV
2003
Springer
127views Hardware» more  CAV 2003»
15 years 10 months ago
Dense Counter Machines and Verification Problems
We generalize the traditional definition of a multicounter machine (where the counters, which can only assume nonnegative integer values, can be incremented/decremented by 1 and te...
Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi S...
JCT
2008
59views more  JCT 2008»
15 years 6 months ago
Partition identities and the coin exchange problem
The number of partitions of n into parts divisible by a or b equals the number of partitions of n in which each part and each difference of two parts is expressible as a non-negati...
Alexander E. Holroyd
CORR
2002
Springer
98views Education» more  CORR 2002»
15 years 6 months ago
Two Representations for Iterative Non-prioritized Change
We address a general representation problem for belief change, and describe two interrelated representations for iterative nonprioritized change: a logical representation in terms...
Alexander Bochman
MOC
2000
75views more  MOC 2000»
15 years 6 months ago
Multihomogeneous Newton methods
Abstract. We study multihomogeneous analytic functions and a multihomogeneous Newton's method for finding their zeros. We give a convergence result for this iteration and we s...
Jean-Pierre Dedieu, Mike Shub