-
1
-
-
85025173017
-
-
Baumgartner, P., Grabowski, B., Oevel, W., Melis, E.: In2math - Interaktive Mathematik- und Informatikgrundausbildung. Softwaretechnik-Trends 24(1), 36– 45 (2004)
-
(2004)
2Math - Interaktive Mathematik- Und Informatikgrundausbildung. Softwaretechnik-Trends
, vol.24
, Issue.1
-
-
Baumgartner, P.1
Grabowski, B.2
Oevel, W.3
Melis, E.4
-
2
-
-
7044245492
-
Living book’: -’deduction’, ’slicing’, ’interaction
-
Baumgartner, P., Furbach, U., Groß-Hardt, M., Sinner, A.: ’living book’: -’deduction’, ’slicing’, ’interaction’. In: CADE, pp. 284–288 (2003)
-
(2003)
CADE
, pp. 284-288
-
-
Baumgartner, P.1
Furbach, U.2
Groß-Hardt, M.3
Sinner, A.4
-
3
-
-
84885998337
-
Smartweb: Getting answers on the go
-
Wahlster, W.: Smartweb: Getting answers on the go. In: ECAI, p. 6 (2006)
-
(2006)
ECAI
, pp. 6
-
-
Wahlster, W.1
-
4
-
-
78650401081
-
SmartKom: Foundations of Multimodal Dialogue Systems
-
Wahlster, W. (ed.), Springer, Heidelberg
-
Wahlster, W. (ed.): SmartKom: Foundations of Multimodal Dialogue Systems. Cognitive Technologies, vol. XVIII. Springer, Heidelberg (2006)
-
(2006)
Cognitive Technologies
, vol.18
-
-
-
5
-
-
19944402166
-
Enabling pervasive computing with smart phones
-
Roussos, G., Maglavera, S., Marsh, A.: Enabling pervasive computing with smart phones. IEEE Pervasive Computing 4(2) (2005)
-
(2005)
IEEE Pervasive Computing
, vol.4
, Issue.2
-
-
Roussos, G.1
Maglavera, S.2
Marsh, A.3
-
6
-
-
4544267243
-
Bluetooth and wap push based location-aware mobile advertising system
-
ACM Press, New York
-
Aalto, L., Göthlin, N., Korhonen, J., Ojala, T.: Bluetooth and wap push based location-aware mobile advertising system. In: MobiSys 2004: Proceedings of the 2nd international conference on Mobile systems, applications, and services, pp. 49–58. ACM Press, New York (2004)
-
(2004)
Mobisys 2004: Proceedings of the 2Nd International Conference on Mobile Systems, Applications, and Services
, pp. 49-58
-
-
Aalto, L.1
Göthlin, N.2
Korhonen, J.3
Ojala, T.4
-
7
-
-
84958976213
-
Pervasive web access via public communication walls
-
Springer, Heidelberg
-
Ferscha, A., Vogl, S.: Pervasive web access via public communication walls. In: Pervasive 2002: Proceedings of the First International Conference on Pervasive Computing, London, UK, pp. 84–97. Springer, Heidelberg (2002)
-
(2002)
Pervasive 2002: Proceedings of the First International Conference on Pervasive Computing, London, UK
, pp. 84-97
-
-
Ferscha, A.1
Vogl, S.2
-
8
-
-
0003727420
-
The Description Logic Handbook: Theory, Implementation, and Applications
-
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F
-
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. In: Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) Description Logic Handbook. Cambridge University Press, Cambridge (2003)
-
(2003)
Description Logic Handbook. Cambridge University Press, Cambridge
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.L.3
Nardi, D.4
Patel-Schneider, P.F.5
-
11
-
-
85025150678
-
Krhyper inside — model based deduction in applications
-
Baumgartner, P., Furbach, U., Gross-Hardt, M., Kleemann, T., Wernhard, C.: Krhyper inside — model based deduction in applications. In: Proc. CADE-19 Workshop on Novel Applications of Deduction Systems (2003)
-
(2003)
Proc. CADE-19 Workshop on Novel Applications of Deduction Systems
-
-
Baumgartner, P.1
Furbach, U.2
Gross-Hardt, M.3
Kleemann, T.4
Wernhard, C.5
-
12
-
-
57049108772
-
Description logic based matchmaking on mobile devices
-
Baumeister, J., Seipel, D
-
Kleemann, T., Sinner, A.: Description logic based matchmaking on mobile devices. In: Baumeister, J., Seipel, D. (eds.) 1st Workshop on Knowledge Engineering and Software Engineering - KESE 2005, pp. 37–48 (2005)
-
(2005)
1St Workshop on Knowledge Engineering and Software Engineering - KESE 2005
, pp. 37-48
-
-
Kleemann, T.1
Sinner, A.2
|