1738 search results - page 321 / 348 » Local Consistency and SAT-Solvers |
SCIA
2005
Springer
14 years 1 months ago
2005
Springer
Deformable contours are now widely used in image segmentation, using different models, criteria and numeric schemes. Some theoretical comparisons between few deformable model met...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
CF
2004
ACM
14 years 1 months ago
2004
ACM
The ever increasing gap between processor and memory speed, sometimes referred to as the Memory Wall problem [42], has a very negative impact on performance. This mismatch will be...
MOBIHOC
2004
ACM
14 years 29 days ago
2004
ACM
Bandwidth efficiency of wireless multicast can be improved substantially by exploiting the fact that several receivers can be reached at the MAC layer by a single transmission. T...
CIKM
2004
Springer
14 years 29 days ago
2004
Springer
The proliferation of XML as a standard for data representation and exchange in diverse, next-generation Web applications has created an emphatic need for effective XML data-integr...