Sciweavers

4066 search results - page 194 / 814
» Almost Complete Sets
Sort
View
TAPSOFT
1991
Springer
15 years 10 months ago
Comparative Semantics for a Real-Time Programming Language with Integration
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
Franck van Breugel
NIPS
2008
15 years 8 months ago
An Online Algorithm for Maximizing Submodular Functions
We present an algorithm for solving a broad class of online resource allocation . Our online algorithm can be applied in environments where abstract jobs arrive one at a time, and...
Matthew J. Streeter, Daniel Golovin
FSS
2006
85views more  FSS 2006»
15 years 6 months ago
The logic of tied implications, part 2: Syntax
An implication operator A is said to be tied if there is a binary operation T that ties A; that is, the identity A(a, A(b, z)) = A(T (a, b), z) holds for all a, b, z. We aim at th...
Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Sal...
IJRR
2008
100views more  IJRR 2008»
15 years 6 months ago
Comparing the Power of Robots
Robots must complete their tasks in spite of unreliable actuators and limited, noisy sensing. In this paper, we consider the information requirements of such tasks. What sensing a...
Jason M. O'Kane, Steven M. LaValle
JMIV
2007
94views more  JMIV 2007»
15 years 6 months ago
A Variational Model for Capturing Illusory Contours Using Curvature
Illusorycontours,suchastheclassicalKanizsatriangleandsquare[9],areintrinsicphenomenainhuman vision. These contours are not completely defined by real object boundaries, but also i...
Wei Zhu, Tony F. Chan