6020 search results - page 595 / 1204 » A New Approach to Model Counting |
189
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
This paper describes a new approach for solving disjunctive temporal problems such as the open shop and job shop scheduling domains. Much previous research in systematic search app...
176
click to vote
CRV
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a simple linear operator that accurately estimates the position and parameters of ellipse features. Based on the dual conic model, the operator avoids the inte...
175
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
: This paper investigates a new modelling and control issue: the tracking control problem of underactuated dynamic systems by using a special example – a pendulum-driven cart-pol...
192
click to vote
ECSA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
216
click to vote
WABI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Parameter estimation of large bio-pathway models is an important and difficult problem. To reduce the prohibitive computational cost, one approach is to decompose a large...