7495 search results - page 1216 / 1499 » Intelligent Document Processing |
194
click to vote
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
169
click to vote
PRIMA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
148
click to vote
SGAI
2007
Springer
16 years 24 days ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
194
click to vote
SOCASE
2007
Springer
16 years 24 days ago
2007
Springer
The need to add semantic information to web-accessible services has created a growing research activity in this area. Standard initiatives such as OWL-S and WSDL enable the automat...
165
click to vote
WILF
2007
Springer
16 years 24 days ago
2007
Springer
In the last years haplotype reconstruction and haplotype blocks discovery, i.e., the estimation of patterns of linkage disequilibrium (LD) in the haplotypes, riveted the attention ...