Sciweavers

55 search results - page 7 / 11
» birthday 2006
Sort
View
BIRTHDAY
2006
Springer
13 years 11 months ago
Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity
This essay draws on participant observation, ethnographic interviews, phenomenological inquiry, and recent insights from the study of swarm intelligence and complex networks to ill...
David Borgo
BIRTHDAY
2006
Springer
13 years 11 months ago
Research Perspectives for Logic and Deduction
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
Wolfgang Bibel
BIRTHDAY
2006
Springer
13 years 11 months ago
Complete Categorical Deduction for Satisfaction as Injectivity
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
Grigore Rosu
BIRTHDAY
2006
Springer
13 years 11 months ago
Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses
We consider secrecy problems for cryptographic protocols modeled using Horn clauses and present general classes of Horn clauses which can be efficiently decided. Besides simplifyin...
Helmut Seidl, Kumar Neeraj Verma
BIRTHDAY
2006
Springer
13 years 11 months ago
Abstract Interpretation for Worst and Average Case Analysis
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...