Result 101 to 120 of 157 total
Simulation of organic reactions: from the degradation of chemicals to combinatorial synthesis (English)
Journal of Chemical Information and Computer Sciences 40, No. 2, 482-494 (2000).
101
Using the web and jini to link vending machines and enterprise systems (English)
TOOLS (36), 260-264 (2000).
102
Controlling asymmetric errors in neuro-fuzzy classification (English)
SAC (1), 505-509 (2000).
103
Architecting cross-organisational B2B interactions (English)
EDOC, 92-101 (2000).
104
Why combined decision problems are often intractable (English)
FroCos, 217-244 (2000).
105
Location-based personal agents: A metaphor for situated computing (English)
ICPP Workshops, 17- (2000).
106
Unternehmensübergreifende prozeßkopplung im internet. (German)
HMD, Prax. Wirtsch.inform. 209 (1999).
107
Solvability of context equations with two context variables is decidable. (English)
Ganzinger, Harald (ed.), Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1632, 67-81 (1999).
108
Solvability of context equations with two context variables is decidable (English)
CADE, 67-81 (1999).
109
Combining constraint solving (English)
CCL, 104-158 (1999).
110
Unification theory. (English)
Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 8, 225-263 (1998).
111
Combination of constraint solvers for free and quasi-free structures. (English)
Theor. Comput. Sci. 192, No.1, 107-161 (1998).
112
On the exponent of periodicity of minimal solutions of context equations. (English)
Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 61-75 (1998).
113
Dynamic rate adaptation for efficient use of frame relay networks (English)
Broadband Communications, 499-510 (1998).
114
On the exponent of periodicity of minimal solutions of context equation (English)
RTA, 61-75 (1998).
115
On strong digraphs with a prescribed ultracenter. (English)
Czech. Math. J. 47, No.1, 83-94 (1997).
116
Church’s thesis. (Die These von Church. Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie.) (German)
Europäische Hochschulschriften. Reihe 1, Deutsche Sprache und Literatur. 1599. Frankfurt am Main: Peter Lang. Düsseldorf: Univ. Düsseldorf, Philosophische Fak. 318 S. sFr. 72.00; DM 89.00; öS 600.00; \$ 57.95; \sterling 36.00; FF 288.00 (1997).
117
A criterion for intractability of E-unification with free function symbols and its relevance for combination algorithms (English)
RTA, 284-298 (1997).
118
Unification in the union of disjoint equational theories: Combining decision procedures. (English)
J. Symb. Comput. 21, No.2, 211-243 (1996).
119
Partitioning and dynamic load balancing of adaptive hybrid grids for large-scale turbulent flow simulations (English)
HICSS (1), 575-584 (1996).
120
Result 101 to 120 of 157 total
Start
Contact
Print
General Help
