2944 search results - page 159 / 589 » On Well Quasi-orders on Languages |
CICLING
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In many contexts today, documents are available in a number of versions. In addition to explicit knowledge that can be queried/searched in documents, these documents also...
81
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
This paper proposes a novel trail sharing system for mobile devices that deals with context information collected by sensors, as well as users’ personal opinions (e.g., landscape...
VL
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a reasoning system for inferring dimension information in spreadsheets. This system can be used to check the consistency of spreadsheet formulas and can be employed to ...
72
Voted
VL
2005
IEEE
15 years 6 months ago
2005
IEEE
Evolutionary algorithms (EAs) produce a vast amount of data by recurring processes, e.g., selection, recombination, or mutation, that work on populations of solutions for a speci�...
104
click to vote
ADC
2005
Springer
15 years 6 months ago
2005
Springer
The transformation and manipulation of XML is an increasingly important research topic. This paper examines a number of issues with regard to languages for transforming and reacti...