516 search results - page 19 / 104 » Getting the Details Right |
JAPLL
2007
13 years 7 months ago
2007
We propose a novel method of determining the appropriateness of an answer to a question through a proof of logical relevance rather than a logical proof of truth. We define logic...
JAT
2007
13 years 7 months ago
2007
We study the efficiency of greedy algorithms with regard to redundant dictionaries in Hilbert spaces. We obtain upper estimates for the errors of the Pure Greedy Algorithm and th...
CL
2004
Springer
13 years 7 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
HCI
2009
13 years 5 months ago
2009
Abstract. Interactive Game-Based Learning might be used to raise the awareness of students concerning questions of sustainability. Sustainability is a very complex topic. By intera...
ECIS
2004
13 years 9 months ago
2004
In a business environment, making the right decisions is vital for the success of a company. Making right decisions is inevitably bound to the availability and provision of releva...