AAAI
2007
14 years 2 months ago
2007
In most mechanism design settings, optimal general-purpose mechanisms are not known. Thus the automated design of mechanisms tailored to specific instances of a decision scenario...
ASWC
2006
Springer
14 years 4 months ago
2006
Springer
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...
FROCOS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
Negotiation surrounds our day-to-day lives. Research in the field of automated negotiations has suggested the design and use of automated negotiators, on one hand to allow facilit...
TIME
1994
IEEE
14 years 4 months ago
1994
IEEE
: In a dynamic, multi-agent environment, an the intelligent agents act as automated pilots automated intelligent agent is often faced with the for the simulated aircraft. These aut...
ICAPR
2001
Springer
14 years 5 months ago
2001
Springer
Identity verification becomes a challenging task when it has to be automated with high accuracy and non-repudiability. The existing methods such as passwords and photo identity c...
ISMIR
2005
Springer
14 years 6 months ago
2005
Springer
The number of studies investigating automated genre classification is growing following the increasing amounts of digital audio data available. The underlying techniques to perfor...
APSEC
2005
IEEE
14 years 6 months ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...
AXMEDIS
2006
IEEE
14 years 6 months ago
2006
IEEE
The IST Polymnia project aims to create a fully automated system for personalised video generation. Film production involves content creation, selection and composition. Technolog...
VAMOS
2007
Springer
14 years 6 months ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...