4098 search results - page 118 / 820 » Sound mobility models |
124
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
113
click to vote
MABS
2000
Springer
15 years 7 months ago
2000
Springer
g of target systems attempted but rather an abstraction of the target systems is modelled and insights bout the abstraction then applied back to the target systems. The MABS modell...
168
click to vote
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we introduce a new instance-based approach to the label ranking problem. This approach is based on a probability model on rankings which is known as the Mallows mode...
119
click to vote
APAL
2010
15 years 3 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
131
click to vote
BIOSYSTEMS
2007
15 years 3 months ago
2007
10 Phonotaxis is the ability to orient towards or away from sound sources. Crickets can locate conspecifics by phonotaxis to the calling (mating) song they produce, and can evade ...