18306 search results - page 208 / 3662 » Algorithmics in Exponential Time |
106
Voted
SYNTHESE
2008
15 years 2 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
115
click to vote
CP
2010
Springer
15 years 1 months ago
2010
Springer
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
132
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
The purpose of this contribution is twofold: 1) to present for the first time a Lyapunov function that proves exponential ergodicity of a process studied by the authors in [1], whe...
123
click to vote
FCT
2001
Springer
15 years 7 months ago
2001
Springer
Many documents such as Web documents or XML files have tree structures. A term tree is an unordered tree pattern consisting of internal variables and tree structures. In order to ...
108
click to vote
SIMPAR
2010
15 years 11 days ago
2010
A biologically inspired control algorithm for robot control was introduced in a previous work. The algorithm is robust to noisy sensor information and hardware failures. In this pa...