1138 search results - page 141 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
ICML
2009
IEEE
14 years 8 months ago
2009
IEEE
We consider the problem of embedding arbitrary objects (e.g., images, audio, documents) into Euclidean space subject to a partial order over pairwise distances. Partial order cons...
FGR
2008
IEEE
14 years 2 months ago
2008
IEEE
Active Appearance Models (AAMs) have been extensively used for face alignment during the last 20 years. While AAMs have numerous advantages relative to alternate approaches, they ...
ICCV
2007
IEEE
14 years 2 months ago
2007
IEEE
We introduce the use of over-complete spherical wavelets for shape analysis of 2D closed surfaces. Bi-orthogonal spherical wavelets have been shown to be powerful tools in the seg...
BROADNETS
2006
IEEE
14 years 2 months ago
2006
IEEE
— We consider the problem of supporting absolute QoS guarantees in terms of the end-to-end burst loss in OBS networks. We present a parameterized model for wavelength sharing whi...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
Differential games (DGs), considered as a typical model of game with continuous states and non-linear dynamics, play an important role in control and optimization. Finding optimal...