4961 search results - page 296 / 993 » Homomorphism-Homogeneous Relational Structures |
150
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
154
click to vote
SCALESPACE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...
149
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
147
click to vote
HAPTICS
2006
IEEE
15 years 10 months ago
2006
IEEE
Three-dimensional ultrasound (3D US) is a novel imaging modality that allows real time visualization of internal body structures such as the heart, even through visually opaque bl...
105
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
The use of patterns in e-learning is being recently proposed with different purposes and scopes. This paper provides a unifying view of several representative proposals in order t...