10891 search results - page 1847 / 2179 » Combining Model Reductions |
160
Voted
CSCLP
2007
Springer
16 years 26 days ago
2007
Springer
Global constraints are used in constraint programming to help users specify patterns that occur frequently in the real world. In addition, global constraints facilitate the use of ...
148
click to vote
ECAL
2007
Springer
16 years 26 days ago
2007
Springer
The human body has a complex skeleton, giving a very high number of degrees of freedom, and is actuated by a large number of elastic elements muscles and tendons. As a consequence,...
201
click to vote
EUROPAR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...
184
click to vote
FSEN
2007
Springer
16 years 25 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
209
click to vote
CVPR
2009
IEEE
16 years 25 days ago
2009
IEEE
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...