6142 search results - page 577 / 1229 » The Complexity of Partition Functions |
161
click to vote
ALIFE
2008
15 years 7 months ago
2008
Current analyses of genomes from numerous species show that the diversity of organism's functional and behavioral characters is not proportional to the number of genes that e...
171
click to vote
AROBOTS
2007
15 years 7 months ago
2007
Natural human-like human-robot interaction (NHL-HRI) requires the robot to be skilled both at recognizing and producing many subtle human behaviors, often taken for granted by hum...
151
click to vote
BMCBI
2010
15 years 7 months ago
2010
The Protein-DNA Interface database (PDIdb) is a repository containing relevant structural information of Protein-DNA complexes solved by X-ray crystallography and available at the...
160
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
It is well-known that modal satisfiability is PSPACE-complete [Lad77]. However, the complexity may decrease if we restrict the set of propositional operators used. Note that there ...
186
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...