11345 search results - page 243 / 2269 » Foundations of Computer Science |
152
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...
144
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
158
click to vote
ISMB
1993
15 years 8 months ago
1993
Researchersin the biological sciencesrequire access to a variety of information sources locatedin variousplacesondifferent computer networks.In order to satisfy the information ne...
155
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...
203
click to vote
CLUSTER
2002
IEEE
15 years 6 months ago
2002
IEEE
Grid Portals, based on standard web technologies, are emerging as important and useful user interfaces to computational and data Grids. Grid Portals enable Virtual Organizations, c...