4767 search results - page 352 / 954 » Structures for Abstract Rewriting |
183
click to vote
CICLING
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
176
Voted
CSCLP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
175
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
154
click to vote
FPL
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present an evaluation of accelerating fault simulation by hardware emulation on FPGA. Fault simulation is an important subtask in test pattern generation and it is fre...
183
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Factored Markov Decision Processes is the theoretical framework underlying multi-step Learning Classifier Systems research. This framework is mostly used in the context ...