5216 search results - page 718 / 1044 » Planning as Model Checking |
162
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In seeking to model realistic room acoustics, direct numerical simulation can be employed. This paper presents 3D Finite Difference Time Domain schemes that incorporate losses at ...
313
click to vote
DSS
2011
14 years 10 months ago
2011
: We study a new supply chain network design problem with environmental concerns. We are interested in the environmental investments decisions in the design phase and propose a mul...
194
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Recent rise in maritime piracy prompts the search for novel techniques for addressing the problem. We therefore developed AgentC, a prototype system that demonstrates how agent-ba...
186
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
Viral marketing takes advantage of networks of influence among customers to inexpensively achieve large changes in behavior. Our research seeks to put it on a firmer footing by mi...
205
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The PROBADO project is a research effort to develop Digital Library support for non-textual documents. The main goal is to contribute to all parts of the Digital Library...