738 search results - page 73 / 148 » cases 2001 |
104
click to vote
CSEE
2001
Springer
15 years 2 months ago
2001
Springer
Process in software engineering is a growing concern for many software development organizations. The need for well-educated software engineers is bringing new software engineerin...
CSL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
120
click to vote
DBTEL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The input data for a data warehouse, coming from operational systems, are not immediately ready for loading into data warehouse. Cleaning and integration could be necessa...
ECSQARU
2001
Springer
15 years 2 months ago
2001
Springer
Abstract A (general) preferential entailment is defined by a “preference relation” among “states”. States can be either interpretations or sets of interpretations, or “c...
ESOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...