623 search results - page 12 / 125 » Relational Parametricity for Control Considered as a Computa... |
173
click to vote
EL
2002
15 years 5 months ago
2002
Distributed, real-time multiplayer computer games (MCGs) are in the vanguard of utilizing the networking possibilities. Although related research have been done in military simulat...
190
click to vote
CORR
2011
Springer
15 years 29 days ago
2011
Springer
—We present controllers that enable mobile robots to persistently monitor or sweep a changing environment. The changing environment is modeled as a field which grows in location...
139
click to vote
CDC
2008
IEEE
16 years 13 days ago
2008
IEEE
— In this paper, we propose a two-step controller design method with control Lyapunov functions (CLFs) for nonlinear systems with convex input constraints. In the first step, we...
196
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Microarray experiments measure changes in the expression of thousands of genes. The resulting lists of genes with changes in expression are then searched for biologica...
167
click to vote
CSE
2009
IEEE
16 years 22 days ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...