4745 search results - page 707 / 949 » Discretization: An Enabling Technique |
182
click to vote
REFSQ
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
197
click to vote
RTA
2007
Springer
16 years 25 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
174
click to vote
SAMOS
2007
Springer
16 years 25 days ago
2007
Springer
As multi-processor system-on-chip (MPSoC) has become an effective solution to ever-increasing design complexity of modern embedded systems, fast and accurate HW/SW cosimulation of...
163
click to vote
SMALLTALK
2007
Springer
16 years 25 days ago
2007
Springer
Real world software systems change continuously to meet new demands. Most programming languages and development environments, however, are more concerned with limiting the effects...
187
click to vote
SUM
2007
Springer
16 years 25 days ago
2007
Springer
Schema matching is the task of matching between concepts describing the meaning of data in various heterogeneous, distributed data sources. With many heuristics to choose from, sev...