7040 search results - page 1100 / 1408 » The Single Model Principle |
170
click to vote
ISCA
2007
IEEE
16 years 26 days ago
2007
IEEE
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...
179
click to vote
CIE
2007
Springer
16 years 23 days ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
157
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
180
click to vote
WOLLIC
2007
Springer
16 years 21 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
181
click to vote
SIGCPR
2006
ACM
16 years 16 days ago
2006
ACM
A review of 862 papers published in SIGMIS/CPR proceedings over the past 44 years revealed only 29 articles that focused on gender and the IT workforce or gender and IT education,...