3299 search results - page 205 / 660 » A general mathematics of names |
189
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
190
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
168
click to vote
WSC
2008
15 years 9 months ago
2008
Design Of Experiments (DOE) is needed for experiments with real-life systems, and with either deterministic or random simulation models. This contribution discusses the different ...
172
click to vote
ITICSE
2010
ACM
15 years 8 months ago
2010
ACM
We show how to teach and motivate small quantum computer programs as a supplemental topic in a CS2 data structures class. A traditional example such as Shor’s factorization [8] ...
192
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Online communities are connecting hordes of individuals and generating rich social network data. The social capital that resides within these networks is largely unknown. We propo...