3238 search results - page 428 / 648 » On the Computational Interpretation of Negation |
200
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
188
click to vote
CVPR
2007
IEEE
16 years 26 days ago
2007
IEEE
Generative model learning is one of the key problems in machine learning and computer vision. Currently the use of generative models is limited due to the difficulty in effective...
177
click to vote
NDSS
2007
IEEE
16 years 24 days ago
2007
IEEE
With Hidden Credentials Alice can send policyencrypted data to Bob in such a way that he can decrypt the data only with the right combination of credentials. Alice gains no knowle...
162
click to vote
SIBGRAPI
2006
IEEE
16 years 16 days ago
2006
IEEE
Recent statistics show that breast cancer is a major cause of death among women in all of the world. Hence, early diagnostic with Computer Aided Diagnosis (CAD) systems is a very ...
168
click to vote
BIRTHDAY
2005
Springer
16 years 2 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...