3359 search results - page 514 / 672 » A Simplified Idea Algorithm |
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
ACCV
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. This paper introduces a new model-based approach for simultaneously reconstructing 3D human motion and full-body skeletal size from a small set of 2D image features track...
ADC
2009
Springer
14 years 5 months ago
2009
Springer
This paper presents a model for privacy preserving access control which is based on variety of purposes. Conditional purpose is applied along with allowed purpose and prohibited p...
WAIM
2009
Springer
14 years 5 months ago
2009
Springer
Finding linear correlations in dataset is an important data mining task, which can be widely applied in the real world. Existing correlation clustering methods combine clustering w...
COCOA
2009
Springer
14 years 5 months ago
2009
Springer
In the context of scheduling and timetabling, we study a challenging combinatorial problem which is very interesting for both practical and theoretical points of view. The motivati...