2725 search results - page 271 / 545 » Constraint Solving for Interpolation |
176
click to vote
PADL
2007
Springer
16 years 1 months ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
189
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
— Job-shop scheduling is one of the most difficult production scheduling problems in industry. This paper proposes an adaptive neural network and local search hybrid approach fo...
158
click to vote
ICRA
2005
IEEE
16 years 26 days ago
2005
IEEE
— In [5], a version of Relative Map Filter (RMF) is proposed to solve the simultaneous localization and map building (SLAM) problem. In the RMF, the map states contain only quant...
233
click to vote
RTSS
2005
IEEE
16 years 26 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
176
click to vote
GECCO
2005
Springer
16 years 24 days ago
2005
Springer
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...