5499 search results - page 320 / 1100 » Generalized Rewrite Theories |
178
Voted
KR
2010
Springer
16 years 7 days ago
2010
Springer
In this paper, I defend a multiplicative approach that distinguishes statues from amounts of matter, political entities from physical ones, qua entities (e.g. John qua Alitalia pa...
176
Voted
DESRIST
2009
Springer
16 years 2 days ago
2009
Springer
An approach to instructional design is described which avoids some of the problems traditionally associated with process design models, sometimes referred to as waterfall models. ...
234
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper investigates how to "observe" a planar object being pushed by a finger. The pushing is governed by a nonlinear system that relates through contact the object ...
176
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
224
Voted
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Encouraging voters to truthfully reveal their preferences in an election has long been an important issue. Previous studies have shown that some voting protocols are hard to manip...