8099 search results - page 1148 / 1620 » Higher-Order Task Models |
151
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We define the "Pulse Synchronization" problem that requires nodes to achieve tight synchronization of regular pulse events, in the settings of distributed computing syste...
219
click to vote
ENTCS
2010
15 years 7 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
179
click to vote
AI
2006
Springer
15 years 7 months ago
2006
Springer
This paper demonstrates how machine learning methods can be applied to deal with a realworld decipherment problem where very little background knowledge is available. The goal is ...
199
click to vote
AIR
2006
15 years 7 months ago
2006
Abstract Supervised classification is one of the tasks most frequently carried out by socalled Intelligent Systems. Thus, a large number of techniques have been developed based on ...
175
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...