6142 search results - page 1019 / 1229 » The Complexity of Partition Functions |
121
click to vote
IJCV
2006
15 years 5 months ago
2006
In this paper, we suggest a variational model for optic flow computation based on non-linearised and higher order constancy assumptions. Besides the common grey value constancy ass...
159
click to vote
IJCV
2006
15 years 5 months ago
2006
Variational methods are among the most accurate techniques for estimating the optic flow. They yield dense flow fields and can be designed such that they preserve discontinuities, ...
167
Voted
COMPUTER
2007
15 years 5 months ago
2007
Ubiquitous computing has become a reality in recent years. Tiny wireless sensors and RFID tags are being deployed today and will soon form an important aspect of our infrastructur...
137
Voted
JAIR
2008
15 years 5 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
139
Voted
JBI
2008
15 years 5 months ago
2008
The complexity of quantitative biomedical models, and the rate at which they are published, is increasing to a point where managing the information has become all but impossible w...