6142 search results - page 417 / 1229 » The Complexity of Partition Functions |
219
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
132
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents an efficient protocol to reliably exchange information in a single-hop radio network with unpredictable interference. The devices can access C communication...
175
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In order to assist surgeons during surgery on moving organs, e.g. minimally invasive beating heart bypass surgery, a master-slave system which synchronizes surgical instruments...
188
click to vote
SAT
2007
Springer
16 years 27 days ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
214
click to vote
SCALESPACE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Natural images consist of texture, structure and smooth regions and this makes the task of filtering challenging mainly when it aims at edge and texture preservation. In...