9186 search results - page 1386 / 1838 » A Module System for Scheme |
136
click to vote
JANCL
2007
15 years 4 months ago
2007
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
144
click to vote
AROBOTS
2004
15 years 4 months ago
2004
Future robotic planetary exploration will need to traverse geographically diverse and challenging terrain. Cliffs, ravines, and fissures are of great scientific interest because th...
135
click to vote
ASE
2004
15 years 4 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
137
click to vote
CN
2004
15 years 4 months ago
2004
Distributed Web-server systems have been widely used to provide effective Internet services. The management of these systems requires dynamic controls of the Web traffic. With the...
145
click to vote
ASPDAC
2010
ACM
15 years 2 months ago
2010
ACM
The gramian approximation methods have been proposed recently to overcome the high computing costs of classical balanced truncation based reduction methods. But those methods typi...