3385 search results - page 389 / 677 » Language, Logic, and the Brain |
163
click to vote
CP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
173
click to vote
ICALP
2003
Springer
16 years 6 hour ago
2003
Springer
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
198
Voted
PODS
2010
ACM
15 years 12 months ago
2010
ACM
Abiteboul et al. initiated the systematic study of distributed XML documents consisting of several logical parts, possibly located on different machines. The physical distributio...
164
click to vote
JELIA
1998
Springer
15 years 11 months ago
1998
Springer
Appeared in: Dix, J., del Cerro, F. L., and Furbach, U., editors, Logics in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence 1489, Springer, pages...
150
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, ...