511 search results - page 98 / 103 » More Precise Partition Abstractions |
125
click to vote
MPC
2010
Springer
15 years 6 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
125
click to vote
IBPRIA
2009
Springer
15 years 6 months ago
2009
Springer
ent abstract presents OASIS, an Online Algorithm for Scalable Image Similarity learning that learns a bilinear similarity measure over sparse representations. OASIS is an online du...
109
click to vote
IV
2000
IEEE
15 years 6 months ago
2000
IEEE
“addiction” is defined as a pattern (abstract relationship). Such definition allows us to look in a new way at a number of cultural issues including the values, the lifestyl...
123
click to vote
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
121
click to vote
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. This work addresses a class of total-variation based multilabeling problems over a spatially continuous image domain, where the data fidelity term can be any bounded fun...