5510 search results - page 724 / 1102 » Mathematics |
187
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
166
click to vote
ASIAN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
145
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
One of the most crucial criterion in automated negotiation is how to reach a consensus agreement for all negotiators under any negotiation environment. Currently, most negotiation...
173
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Ranking systems are a fundamental ingredient of multi-agent environments and Internet Technologies. These settings can be viewed as social choice settings with two distinguished p...
160
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...