Result 81 to 100 of 157 total
Fast string correction with Levenshtein automata. (English)
Int. J. Doc. Anal. Recognit. 5, No. 1, 67-85 (2002).
81
Decidability of bounded higher-order unification. (English)
Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 522-536 (2002).
82
Solvability of context equations with two context variables is decidable. (English)
J. Symb. Comput. 33, No.1, 77-122 (2002).
83
Towards a cross-organizational workflow model (English)
PRO-VE (2002).
84
Decidability of bounded higher-order unification (English)
CSL, 522-536 (2002).
85
Complete answer aggregates for treelike databases: a novel approach to combine querying and navigation. (English)
ACM Trans. Inf. Syst. 19, No. 2, 161-215 (2001).
86
Towards aggregated answers for semistructured data. (English)
Van den Bussche, Jan (ed.) et al., Database theory - ICDT 2001. 8th international conference, London, GB, January 4‒6, 2001. Proceedings. Berlin: Springer (ISBN 3-540-41456-8). Lect. Notes Comput. Sci. 1973, 346-360 (2001).
87
Phenomenology-based segmentation of InSAR data for building detection. (English)
Radig, Bernd (ed.) et al., Pattern recognition. 23rd DAGM symposium, Munich, Germany, September 12‒14, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42596-9). Lect. Notes Comput. Sci. 2191, 345-352 (2001).
88
The Gibbs’ phenomenon from a signal processing point of view. (English)
Int. J. Math. Educ. Sci. Technol. 32, No.6, 863-872 (2001).
89
Combination of constraint systems II: Rational amalgamation. (English)
Theor. Comput. Sci. 266, No.1-2, 113-157 (2001).
90
Combining constraint solving. (English)
Comon, Hubert (ed.) et al., Constraints in computational logics: theory and application. International summer school, CCL ’99, Gif-sur-Yvette, France, September 5-8, 1999. Revised lectures. Berlin: Springer. Lect. Notes Comput. Sci. 2002, 104-158 (2001).
91
The use of generalised likelihood measures for uncertainty estimation in high-order models of environmental systems. (English)
Fitzgerald, W. J. (ed.) et al., Nonlinear and nonstationary signal processing. Cambridge: Cambridge University Press. 115-151 (2001).
92
Architectural issues for cross-organisational B2B interactions (English)
ICDCS Workshops, 79-87 (2001).
93
Phenomenology-based segmentation of insar data for building detection (English)
DAGM-Symposium, 345-352 (2001).
94
Object oriented hardware synthesis and verification (English)
ISSS, 189-194 (2001).
95
Towards aggregated answers for semistructured data (English)
ICDT, 346-360 (2001).
96
Paper-to-web: papier als eingabemedium für formulare im world-wide web (English)
Mensch & Computer (2001).
97
Why combined decision problems are often intractable. (English)
Kirchner, Hélène (ed.) et al., Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1794, 217-244 (2000).
98
Tractable and intractable instances of combination problems for unification and disunification. (English)
J. Log. Comput. 10, No.1, 105-135 (2000).
99
Java professional programming. An introduction to the expanded APIs of the Java 2 platform. (Java professionell programmieren. Eine Einführung in die erweiterten APIs der Java 2 Plattform.) (German)
Berlin: Springer. xvi, 643 p. DM 98.00; öS 716.00; sFr 89.50; \sterling 37.50; \$ 56.00 (2000).
100
Result 81 to 100 of 157 total
Start
Contact
Print
General Help
