Sciweavers

519 search results - page 88 / 104
» A Meta-CSP Model for Optimal Planning
Sort
View
IJCAI
1993
13 years 10 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
ICCD
2001
IEEE
106views Hardware» more  ICCD 2001»
14 years 6 months ago
Pre-routing Estimation of Shielding for RLC Signal Integrity
The formiila-based I<,JJ model is a figiire of merit for the inductive coirpling, and has been used to solve the simrrltaneoris shield insertion and net ordering (SINO) and sim...
James D. Z. Ma, Arvind Parihar, Lei He
ATMOS
2009
102views Optimization» more  ATMOS 2009»
13 years 10 months ago
An Improved Train Classification Procedure for the Hump Yard Lausanne Triage
In this paper we combine an integer programming approach and a computer simulation tool to successfully develop and verify an improved classification schedule for a real-world trai...
Peter Marton, Jens Maue, Marc Nunkesser
BPM
2009
Springer
143views Business» more  BPM 2009»
13 years 10 months ago
MDPE Workbench - A Solution for Performance Related Decision Support
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
Mathias Fritzsche, Jendrik Johannes, Sebastian Cec...
KDD
2002
ACM
127views Data Mining» more  KDD 2002»
14 years 9 months ago
Mining knowledge-sharing sites for viral marketing
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...
Matthew Richardson, Pedro Domingos