1788 search results - page 295 / 358 » Model Theory for Process Algebra |
115
Voted
IOR
2002
15 years 3 months ago
2002
abstract mathematics. My mentor was Professor S. Bochner, a distinguished contributor to harmonic analysis. My classmates included Richard Bellman (who later nurtured the method of...
191
Voted
CANDC
2011
ACM
14 years 3 months ago
2011
ACM
This paper describes a computerized aesthetic composition task that is based on a “creativity as search” metaphor. The technique collects detailed, moment-to-moment data about...
133
Voted
COMPGEOM
2003
ACM
15 years 9 months ago
2003
ACM
Docking is the process by which two or several molecules form a complex. Docking involves the geometry of the molecular surfaces, as well as chemical and energetical consideration...
122
Voted
ECAL
1999
Springer
15 years 8 months ago
1999
Springer
The “social dilemma” is a problem inherent in forming and maintaining cooperation among selfish individuals, and is of fundamental importance in the biological and social sci...
168
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...