7529 search results - page 1411 / 1506 » The Modula-3 Type System |
141
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
164
click to vote
ISER
1995
Springer
15 years 8 months ago
1995
Springer
Most robot designers make the mechanical interface between an actuator and its load as stiff as possible[9][10]. This makes sense in traditional position-controlled systems, becau...
152
click to vote
FLAIRS
2010
15 years 6 months ago
2010
Nowadays, graph-based knowledge discovery algorithms do not consider numeric attributes (they are discarded in the preprocessing step, or they are treated as alphanumeric values w...
178
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In a class of games known as Stackelberg games, one agent (the leader) must commit to a strategy that can be observed by the other agent (the follower or adversary) before the adv...
163
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The Distributed Constraint Optimization Problem (DCOP) is a fundamental formalism for multi-agent cooperation. A dedicated framework called Resource Constrained DCOP (RCDCOP) has ...