2364 search results - page 26 / 473 » An Engine for Computing Well-Founded Models |
104
click to vote
ADBIS
2005
Springer
15 years 5 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
IRREGULAR
1997
Springer
15 years 3 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...
TNN
2008
14 years 11 months ago
2008
In this paper, spiking neuronal models employing means, variances, and correlations for computation are introduced. We present two approaches in the design of spiking neuronal netw...
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...