Sciweavers

8067 search results - page 179 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
110
Voted
WSC
1998
15 years 5 months ago
A Practical Module-Based Simulation Model for Transportation-Inventory Systems
A method of modeling transportation-inventory systems is proposed in an attempt to flexibly describe the systems in which a lot of kinds of items are ordered to transport, transpo...
Soemon Takakuwa
140
Voted
IUI
1999
ACM
15 years 8 months ago
Towards a General Computational Framework for Model-Based Interface Development Systems
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
Angel R. Puerta, Jacob Eisenstein
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
15 years 7 months ago
Inside a predator-prey model for multi-objective optimization: a second study
In this article, new variation operators for evolutionary multiobjective algorithms (EMOA) are proposed. On the basis of a predator-prey model theoretical considerations as well a...
Christian Grimme, Karlheinz Schmitt
128
Voted
ENTCS
2007
134views more  ENTCS 2007»
15 years 3 months ago
A Compact Linear Translation for Bounded Model Checking
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
Paul B. Jackson, Daniel Sheridan
98
Voted
TSP
2008
103views more  TSP 2008»
15 years 3 months ago
Low-Rank Variance Approximation in GMRF Models: Single and Multiscale Approaches
Abstract--We present a versatile framework for tractable computation of approximate variances in large-scale Gaussian Markov random field estimation problems. In addition to its ef...
Dmitry M. Malioutov, Jason K. Johnson, Myung Jin C...