6142 search results - page 1127 / 1229 » The Complexity of Partition Functions |
145
click to vote
IPMI
2005
Springer
16 years 5 months ago
2005
Springer
Spherical navigators are an attractive approach to motion compensation in Magnetic Resonance Imaging. Because they can be acquired quickly, spherical navigators have the potential ...
135
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
128
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...
146
click to vote
STOC
2009
ACM
16 years 4 months ago
2009
ACM
The "direct product code" of a function f gives its values on all k-tuples (f(x1), . . . , f(xk)). This basic construct underlies "hardness amplification" in c...
168
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...