2152 search results - page 230 / 431 » An Abstract Account of Composition |
185
click to vote
ECSQARU
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
168
click to vote
EMMCVPR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...
146
click to vote
GRID
2005
Springer
16 years 1 days ago
2005
Springer
Abstract— In this paper we present a system permitting controlled policy administration and delegation using the XACML access control system. The need for these capabilities stem...
157
click to vote
GW
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In our paper we present a method for the automatic generation of single German Sign Language glosses from German words. Glosses are often used as a textual description of...
187
click to vote
HPCC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Tracing parallel programs to observe their performance introduces intrusion as the result of trace measurement overhead. If post-mortem trace analysis does not compensate...