5525 search results - page 790 / 1105 » Verification of Model Transformations |
204
click to vote
ISMAR
2006
IEEE
16 years 24 days ago
2006
IEEE
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
215
click to vote
ISVLSI
2006
IEEE
16 years 24 days ago
2006
IEEE
Power consumption has been the primary issue in processor design, with various power reduction strategies being adopted from system-level to circuitlevel. In order to develop a po...
169
click to vote
CSFW
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
164
click to vote
ICMCS
2005
IEEE
16 years 12 days ago
2005
IEEE
The ability of humans for color constancy, i.e. the ability to correct for color deviation caused by a different illumination, is far beyond computer vision performances: nowadays...
161
Voted
ICCBR
2005
Springer
16 years 9 days ago
2005
Springer
The development of large-scale case-based reasoning systems has increased the necessity of providing tools for analyzing the case base structure. In this paper we present a hierarc...