4666 search results - page 720 / 934 » Equations on Timed Languages |
145
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
152
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Many problems used in AI planning including Blocks, Logistics, Gripper, Satellite, and others lack the interactions that characterize puzzles and can be solved nonoptimally in low...
161
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
152
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
134
click to vote
SBCCI
2004
ACM
15 years 10 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...