4158 search results - page 354 / 832 » A Framework for Web Science |
165
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
This paper recognises that comparisons have been made between the role of the conductor of an orchestra and leaders of enterprises, but that little note has been taken of how the c...
212
click to vote
ENC
2008
IEEE
16 years 1 months ago
2008
IEEE
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
152
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. LEAD is a large-scale effort to build a service-oriented infrastructure that allows atmospheric science researchers to dynamically and adaptively respond to weather patt...
175
click to vote
SOFSEM
2005
Springer
16 years 7 days ago
2005
Springer
Motivated by a potentially flawed deployment of the one time pad in a recent quantum cryptographic application securing a bank transfer [12], we show how to implement a statistica...
186
click to vote
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...