6881 search results - page 147 / 1377 » Motivation |
122
Voted
FCT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
122
click to vote
FPL
2007
Springer
15 years 11 months ago
2007
Springer
Designers of FPGA-based systems are increasingly including soft processors—processors implemented in programmable logic—in their designs. Any combination of area, clock freque...
154
Voted
FPL
2007
Springer
15 years 11 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
175
click to vote
ICADL
2007
Springer
15 years 11 months ago
2007
Springer
Digital libraries have untapped potential for supporting language teaching and learning. This paper describes a new scheme for automating topicspecific language learning using a sp...
132
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...