16616 search results - page 3270 / 3324 » Extending Extended Vacuity |
190
Voted
LOGCOM
2007
15 years 5 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
152
click to vote
LOGCOM
2007
15 years 5 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
152
click to vote
MANSCI
2007
15 years 5 months ago
2007
We develop a formal model of the timing of resource development by competing …rms. Our aim is to deepen and extend resource-level theorizing about sustainable competitive advant...
157
click to vote
AROBOTS
2004
15 years 5 months ago
2004
NASA mission concepts for the upcoming decades of this century include exploration of sites such as steep cliff faces on Mars, as well as infrastructure deployment for a sustained ...
146
click to vote
BC
2004
15 years 5 months ago
2004
It is known that the springlike properties of muscles provide automatic load compensation during weight bearing. How crucial is sensory control of the motor output given these basi...