14670 search results - page 2521 / 2934 » Designing interaction, not interfaces |
189
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
What sort of democracies should open agent societies be? We present three normative models of democracy from political philosophy and consider their relevance for the engineering o...
175
click to vote
CP
2000
Springer
15 years 10 months ago
2000
Springer
This paper addresses the interaction between randomization, with restart strategies, and learning, an often crucial technique for proving unsatisfiability. We use instances of SAT ...
183
click to vote
JMLC
2000
Springer
15 years 10 months ago
2000
Springer
We are concerned with the design of programming languages that support the paradigm of component-oriented programming. Languages based on the accepted idea of combining modular and...
198
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
We describe a new magnetic resonance (MR) image analysis tool that produces cortical surface representations with spherical topology from MR images of the human brain. The tool pr...
183
click to vote
AMAST
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...