1128 search results - page 50 / 226 » Classical Natural Deduction |
ICDT
2010
ACM
14 years 2 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We investigate here the computational complexity of three natural problems in directed acyclic graphs. We prove their NP Completeness and consider their restrictions to linear orde...
AUIC
2005
IEEE
13 years 12 months ago
2005
IEEE
User-interface metaphors are not well understood in terms of their relationships and qualities. They are, however, constantly used both consciously and unconsciously in most user-...
ESANN
2006
13 years 11 months ago
2006
Due to the various and dynamic nature of stimuli, decisions of intelligent agents must rely on the coordination of complex cognitive systems. This paper precisely focusses on a gen...
TAL
2004
Springer
14 years 3 months ago
2004
Springer
In the current European scenario, characterized by the coexistence of communities writing and speaking a great variety of languages, machine translation has become a technology of ...