6020 search results - page 314 / 1204 » A New Approach to Model Counting |
151
click to vote
WSC
2004
15 years 8 months ago
2004
This paper discusses a new approach that facilitates the use of simulation in supply chain applications, especially for manufacturing-related activities. A neutral information rep...
124
click to vote
JCNS
2006
15 years 6 months ago
2006
"Equation-free modelling" is a recently-developed technique for bridging the gap between detailed, microscopic descriptions of systems and macroscopic descriptions of the...
205
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present a new trajectory planning algorithm for virtual humans. Our approach focuses on implicit cooperation between multiple virtual agents in order to share th...
191
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe DEIMOS, a system that automatically discovers and models new sources of information. The system exploits four core technologies developed by our group that makes an en...
156
click to vote
AISS
2010
15 years 4 months ago
2010
Service orientation is one of the solutions for achieving agile enterprises, that helps make an alignment between business and information technology. By the influx of service ori...