18716 search results - page 47 / 3744 » Automatic |
108
Voted
AIMSA
2006
Springer
15 years 6 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
148
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
115
Voted
ECOWS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Matching of semantic service descriptions is the key to automatic service discovery and binding. Existing approaches split the matchmaking process in two step: signature ...
132
click to vote
ICCHP
2010
Springer
15 years 6 months ago
2010
Springer
For people who cannot see non-textual web content, such as images, maps or audio files, the alternative texts are crucial to understand and use the content. Alternate texts are of...
128
Voted
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...