11151 search results - page 1934 / 2231 » On the Complexity of Model Expansion |
159
click to vote
LICS
1998
IEEE
15 years 11 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
165
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
199
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
We discuss properties of high order neurons in competitive learning. In such neurons, geometric shapes replace the role of classic `point' neurons in neural networks. Complex ...
186
Voted
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
184
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...