4042 search results - page 513 / 809 » The EXODUS Optimizer Generator |
169
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
192
click to vote
IJCNLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We build a class-based selection preference sub-model to incorporate external semantic knowledge from two Chinese electronic semantic dictionaries. This sub-model is comb...
163
click to vote
ISCIS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Based on a distinguishing sequence for a Finite State Machine (FSM), an efficient checking sequence may be produced from the elements of a set Eα of α –sequences and ...
187
click to vote
ISRR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present an interpolation-based planning and replanning algorithm for generating smooth paths through non-uniform cost grids. Most grid-based path planners use discrete...
158
click to vote
KES
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. An energy-efficient power-aware design is highly desirable for digital signal processing functions that encounter a wide diversity of operating scenarios in battery-power...