6054 search results - page 216 / 1211 » Implementation of Andorra-based Languages |
170
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
175
click to vote
EUROPAR
2005
Springer
16 years 4 days ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
148
click to vote
OTM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...
145
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This work compares different metaheuristics techniques applied to an important problem in natural language: tagging. Tagging amounts to assigning to each word in a text ...
183
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...