Sciweavers

2165 search results - page 58 / 433
» cases 2005
Sort
View
112
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
A Modal View on Polder Politics
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
Wouter van Atteveldt, Stefan Schlobach
105
Voted
CIE
2005
Springer
15 years 9 months ago
Towards Computability of Higher Type Continuous Data
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
Margarita V. Korovina, Oleg V. Kudinov
ISORC
2005
IEEE
15 years 9 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
100
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
Agents with Exact Foreknowledge
Computational experiments are reported involving the concept of foreknowledge, an agent’s direct, unmediated and accurate, but possibly incomplete, awareness of its future includ...
Jim Doran
STOC
2005
ACM
145views Algorithms» more  STOC 2005»
16 years 3 months ago
On uniform amplification of hardness in NP
We continue the study of amplification of average-case complexity within NP, and we focus on the uniform case. We prove that if every problem in NP admits an efficient uniform alg...
Luca Trevisan