4139 search results - page 439 / 828 » Designing and Implementing Combinator Languages |
231
click to vote
AOIS
2004
15 years 9 months ago
2004
Large scale multi-agent systems (MASs) in unpredictable environments must use machine learning techniques to perform their goals and improve the performance of the system. This pap...
187
click to vote
UTP
2010
15 years 5 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
198
click to vote
HCI
2009
15 years 5 months ago
2009
This work presents the design and implementation of the DocEmoX system for the automated typography-derived emotional extraction and annotation of printed and electronic documents....
218
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Nowadays it is widely accepted that ontologies, the key technology for the realization of the Semantic Web, are artefacts that are collaboratively and iteratively developed/evolved...
173
click to vote
EUROPAR
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...