1567 search results - page 147 / 314 » A Mechanized Model of the Theory of Objects |
194
click to vote
TOG
2012
13 years 4 months ago
2012
We introduce an efficient method for synthesizing acceleration noise – sound produced when an object experiences abrupt rigidbody acceleration due to collisions or other contac...
135
click to vote
MST
2010
14 years 8 months ago
2010
We consider a cost sharing system where users are selfish and act according to their own interest. There is a set of facilities and each facility provides services to a subset of ...
113
click to vote
ICIAP
2009
ACM
15 years 8 months ago
2009
ACM
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...
IGPL
2006
15 years 1 months ago
2006
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
146
click to vote
ACOM
2006
Springer
15 years 7 months ago
2006
Springer
In this research, we re-arrange FIPA’s ACL performatives to form a subsumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable...