Sciweavers

12742 search results - page 21 / 2549
» On canonical number systems
Sort
View
STACS
2009
Springer
15 years 4 months ago
Strong Completeness of Coalgebraic Modal Logics
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
Lutz Schröder, Dirk Pattinson
DLT
2007
14 years 11 months ago
Coding Partitions: Regularity, Maximality and Global Ambiguity
The canonical coding partition of a set of words is the finest partition such that the words contained in at least two factorizations of a same sequence belong to a same class. In...
Marie-Pierre Béal, Fabio Burderi, Antonio R...
76
Voted
CVPR
2001
IEEE
15 years 11 months ago
Recognition of Human Gaits
We pose the problem of recognizing different types of human gait in the space of dynamical systems where each gait is represented. Established techniques are employed to track a k...
Alessandro Bissacco, Alessandro Chiuso, Yi Ma, Ste...
STOC
2006
ACM
180views Algorithms» more  STOC 2006»
15 years 10 months ago
Pricing for fairness: distributed resource allocation for multiple objectives
In this paper, we present a simple distributed algorithm for resource allocation which simultaneously approximates the optimum value for a large class of objective functions. In p...
Sung-woo Cho, Ashish Goel
CDC
2008
IEEE
133views Control Systems» more  CDC 2008»
15 years 4 months ago
The pontryagin maximum principle applied to nonholonomic mechanics
— We introduce a method which allows one to recover the nonholonomic equations of motion of certain systems by instead finding a Hamiltonian via Pontryagin’s Maximum Principle...
Oscar E. Fernandez, Anthony M. Bloch, Tom Mestdag