496 search results - page 83 / 100 » Lyapunov functionals and matrices |
ESWS
2006
Springer
13 years 11 months ago
2006
Springer
A key argument for modeling knowledge in ontologies is the easy re-use and re-engineering of the knowledge. However, beside consistency checking, current ontology engineering tools...
LICS
1998
IEEE
13 years 11 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
BILDMED
2007
13 years 8 months ago
2007
We introduce a new hybrid approach for spline-based elastic image registration using both point landmarks and intensity information. As underlying deformation model we use Gaussian...
ERSA
2007
13 years 8 months ago
2007
- Even though state-of-the-art FPGAs present new opportunities in exploring low-cost high-performance architectures for floating-point scientific applications, they also pose serio...
NIPS
2008
13 years 8 months ago
2008
We present a multi-label multiple kernel learning (MKL) formulation in which the data are embedded into a low-dimensional space directed by the instancelabel correlations encoded ...