16504 search results - page 3149 / 3301 » New Problems, New Solutions |
150
click to vote
COCOON
2007
Springer
16 years 22 days ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
203
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
171
click to vote
ESWS
2007
Springer
16 years 21 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
168
click to vote
EUROCAST
2007
Springer
16 years 21 days ago
2007
Springer
Abstract a paradigm of modern Machine Learning (ML) which uses rewards and punishments to guide the learning process. One of the central ideas of RL is learning by “direct-online...
173
click to vote
EVOW
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Overcompression is the process of post-processing compressed images to gain either further size reduction or improved quality. This is made possible by the fact that the ...