1712 search results - page 132 / 343 » A Computational Approach to Binding Theory |
104
Voted
SARA
2007
Springer
15 years 7 months ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
105
Voted
SARA
2007
Springer
15 years 7 months ago
2007
Springer
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
113
click to vote
LANMR
2007
15 years 3 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
113
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: The number of protein targets with a known or predicted tri-dimensional structure and of drug-like chemical compounds is growing rapidly and so is the need for new the...
CHI
2009
ACM
16 years 2 months ago
2009
ACM
Drawing on existing design approaches, this paper argues for the experiential desirability and critical importance--in terms of environmental sustainability-of designing for refle...