Search

Your search keyword '"BRY, FRANÇOIS"' showing total 518 results
Start Over Author "BRY, FRANÇOIS"

Refine your results

more »

more »

more »

more »
518 results on '"BRY, FRANÇOIS"'

1. Coinduction Plain and Simple

Author

Bry, François

Subjects
Computer Science - Programming Languages, Computer Science - Computation and Language, Computer Science - Logic in Computer Science, F.3.2
Abstract

Coinduction refers to both a technique for the definition of infinite streams, so-called codata, and a technique for proving the equality of coinductively specified codata. This article first reviews coinduction in declarative programming. Second, it reviews and slightly extends the formalism commonly used for specifying codata. Third, it generalizes the coinduction proof principle, which has been originally specified for the equality predicate only, to other predicates. This generalization makes the coinduction proof principle more intuitive and stresses its closeness with structural induction. The article finally suggests in its conclusion extensions of functional and logic programming with limited and decidable forms of the generalized coinduction proof principle.

Published
2020

3. In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming

Author

Bry, François

Subjects
Computer Science - Logic in Computer Science, D.1.6, F.4.1, I.2.4
Abstract

Processing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques. In logic programming, there is a gap between the meta-programming practice and its theory: The formalisations of meta-programming do not explicitly address its impredicativity and are not fully adequate. This article aims at overcoming this unsatisfactory situation by discussing the relevance of impredicativity to meta-programming, by revisiting former formalisations of meta-programming and by defining Reflective Predicate Logic, a conservative extension of first-order logic, which provides a simple formalisation of meta-programming., Comment: Under consideration for publication in Theory and Practice of Logic Programming

Published
2018
Full Text
View/download PDF

4. Informing a Financial Market

Author

Bry, François, Kacprzyk, Janusz, Series Editor, Bucciarelli, Edgardo, editor, Chen, Shu-Heng, editor, Corchado, Juan M., editor, and Parra D., Javier, editor

Published
2021
Full Text
View/download PDF

5. Effects of Competitive Coding Games on Novice Programmers

Author

Fischer, Konrad, Vaupel, Sarah, Heller, Niels, Mader, Sebastian, Bry, François, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Auer, Michael E., editor, and Rüütmann, Tiia, editor

Published
2021
Full Text
View/download PDF

6. Promoting Active Participation in Large Programming Classes

Author

Mader, Sebastian, Bry, François, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Lane, H. Chad, editor, Zvacek, Susan, editor, and Uhomoibhi, James, editor

Published
2020
Full Text
View/download PDF

7. Learning by Fiddling: Patterns of Behaviour in Formal Language Learning

Author

Heller, Niels, Bry, François, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Gennari, Rosella, editor, Vittorini, Pierpaolo, editor, De la Prieta, Fernando, editor, Di Mascio, Tania, editor, Temperini, Marco, editor, Azambuja Silveira, Ricardo, editor, and Ovalle Carranza, Demetrio Arturo, editor

Published
2020
Full Text
View/download PDF

8. Towards an Annotation System for Collaborative Peer Review

Author

Mader, Sebastian, Bry, François, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Gennari, Rosella, editor, Vittorini, Pierpaolo, editor, De la Prieta, Fernando, editor, Di Mascio, Tania, editor, Temperini, Marco, editor, Azambuja Silveira, Ricardo, editor, and Ovalle Carranza, Demetrio Arturo, editor

Published
2020
Full Text
View/download PDF

9. Gaming the Lecture Hall: Using Social Gamification to Enhance Student Motivation and Participation

Author

Mader, Sebastian, Bry, François, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Auer, Michael E., editor, and Tsiatsos, Thrasyvoulos, editor

Published
2020
Full Text
View/download PDF

10. Peer Teaching in Tertiary STEM Education: A Case Study

Author

Heller, Niels, Bry, François, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Auer, Michael E., editor, and Tsiatsos, Thrasyvoulos, editor

Published
2020
Full Text
View/download PDF

11. Predicting Learners’ Behaviours to Get It Wrong

Author

Heller, Niels, Bry, François, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Di Mascio, Tania, editor, Vittorini, Pierpaolo, editor, Gennari, Rosella, editor, De la Prieta, Fernando, editor, Rodríguez, Sara, editor, Temperini, Marco, editor, Azambuja Silveira, Ricardo, editor, Popescu, Elvira, editor, and Lancia, Loreto, editor

Published
2019
Full Text
View/download PDF

12. Blending Classroom, Collaborative, and Individual Learning Using Backstage 2

Author

Mader, Sebastian, Bry, François, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Di Mascio, Tania, editor, Vittorini, Pierpaolo, editor, Gennari, Rosella, editor, De la Prieta, Fernando, editor, Rodríguez, Sara, editor, Temperini, Marco, editor, Azambuja Silveira, Ricardo, editor, Popescu, Elvira, editor, and Lancia, Loreto, editor

Published
2019
Full Text
View/download PDF

13. Audience Response Systems Reimagined

Author

Mader, Sebastian, Bry, François, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Herzog, Michael A., editor, Kubincová, Zuzana, editor, Han, Peng, editor, and Temperini, Marco, editor

Published
2019
Full Text
View/download PDF

15. List of contributors

Author

Abdullah, Tariq, primary, Amado-Salvatierra, Héctor R., additional, Atif, Amara, additional, Avigal, Mireille, additional, Azoulay, Rina, additional, Bagher, Mammed, additional, Bennani, Samir, additional, Bilgin, Ayse A., additional, Braga, Regina, additional, Bry, François, additional, Caballé, Santi, additional, Campos, Fernanda, additional, Capuano, Nicola, additional, Casas-Roma, Joan, additional, Conesa, Jordi, additional, Dantas, Mário, additional, Daradoumis, Thanasis, additional, David, Esther, additional, David, José Maria N., additional, Demetriadis, Stavros, additional, EL Faddouli, Nourredine, additional, Feidakis, Michalis, additional, Fotopoulou, Eleni, additional, Gómez-Sánchez, Eduardo, additional, Guiu, Isaac Muro, additional, Hadioui, Abdelladim, additional, Heller, Niels, additional, Hernández Rizzardini, Rocael, additional, Hodges, Matthew, additional, Hutzler, Dorit, additional, Jeske, Debora, additional, Jha, Meena, additional, Karakostas, Anastasios, additional, Kolling, Allison, additional, Kuk, Kristijan, additional, Li, Jianxin, additional, Meki, Edis, additional, Michos, Konstantinos, additional, Morales Chan, Miguel, additional, Neves, Felipe, additional, Pantidi, Nadia, additional, Palaigeorgiou, George, additional, Papadopoulos, Pantelis M., additional, Papavassiliou, Symeon, additional, Paunovi, Tijana, additional, Psathas, Georgios, additional, Richards, Deborah, additional, Sakr, Asmaa, additional, Song, Xiangyu, additional, Ströele, Victor, additional, Tegos, Stergios, additional, Touimi, Yassine Benjelloun, additional, Tsiatsos, Thrasyvoulos, additional, Tsibanis, Costas, additional, Vukovi, Igor, additional, Weinberger, Armin, additional, Bech, Christian Winther, additional, Yoon, John, additional, and Zafeiropoulos, Anastasios, additional

Published
2021
Full Text
View/download PDF

18. Semantic Web Query Languages

Author

Bailey, James, Bry, François, Furche, Tim, Schaffert, Sebastian, Gal, Avigdor, Section Editor, Liu, Ling, editor, and Özsu, M. Tamer, editor

Published
2018
Full Text
View/download PDF

19. An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning

Author

Bry, François

Subjects
Computer Science - Logic in Computer Science, F.4.1, I.2.3, I.2.4, D.3.1
Abstract

The model theory of a first-order logic called N^4 is introduced. N^4 does not eliminate double negations, as classical logic does, but instead reduces fourfold negations. N^4 is very close to classical logic: N^4 has two truth values; implications in N^4 are material, like in classical logic; and negation distributes over compound formulas in N^4 as it does in classical logic. Results suggest that the semantics of normal logic programs is conveniently formalized in N^4: Classical logic Herbrand interpretations generalize straightforwardly to N^4; the classical minimal Herbrand model of a positive logic program coincides with its unique minimal N^4 Herbrand model; the stable models of a normal logic program and its so-called complete minimal N^4 Herbrand models coincide., Comment: 16 pages. Originally published in proc. PCL 2002, a FLoC workshop; eds. Hendrik Decker, Dina Goldin, Jorgen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/)

Published
2002

26. Four Lessons in Versatility or How Query Languages Adapt to the Web

Author

Bry, François, Furche, Tim, Linse, Benedikt, Pohl, Alexander, Weinzierl, Antonius, Yestekhina, Olga, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bry, François, editor, and Małuszyński, Jan, editor

Published
2009
Full Text
View/download PDF

27. RDF Querying: Language Constructs and Evaluation Methods Compared

Author

Furche, Tim, Linse, Benedikt, Bry, François, Plexousakis, Dimitris, Gottlob, Georg, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Barahona, Pedro, editor, Bry, François, editor, Franconi, Enrico, editor, Henze, Nicola, editor, and Sattler, Ulrike, editor

Published
2006
Full Text
View/download PDF

30. Technology Use in Lectures to Enhance Students’ Attention

Author

Gehlen-Baum, Vera, Weinberger, Armin, Pohl, Alexander, Bry, Francois, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Rensing, Christoph, editor, de Freitas, Sara, editor, Ley, Tobias, editor, and Muñoz-Merino, Pedro J., editor

Published
2014
Full Text
View/download PDF

33. On Reasoning on Time and Location on the Web

Author

Bry, François, Lorenz, Bernhard, Ohlbach, Hans Jürgen, Spranger, Stephanie, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Bry, François, editor, Henze, Nicola, editor, and Małuszyński, Jan, editor

Published
2003
Full Text
View/download PDF

34. The HIT Model: Workflow-Aware Event Stream Monitoring

Author

Poppe, Olga, Giessl, Sandro, Rundensteiner, Elke A., Bry, François, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hameurlain, Abdelkader, editor, Küng, Josef, editor, Wagner, Roland, editor, Amann, Bernd, editor, and Lamarre, Philippe, editor

Published
2013
Full Text
View/download PDF

37. Squaring and Scripting the ESP Game: Trimming a GWAP to Deep Semantics

Author

Bry, François, Wieser, Christoph, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ma, Minhua, editor, Oliveira, Manuel Fradinho, editor, Hauge, Jannicke Baalsrud, editor, Duin, Heiko, editor, and Thoben, Klaus-Dieter, editor

Published
2012
Full Text
View/download PDF

38. Backstage – Designing a Backchannel for Large Lectures

Author

Gehlen-Baum, Vera, Pohl, Alexander, Weinberger, Armin, Bry, François, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ravenscroft, Andrew, editor, Lindstaedt, Stefanie, editor, Kloos, Carlos Delgado, editor, and Hernández-Leo, Davinia, editor

Published
2012
Full Text
View/download PDF

39. Discerning Actuality in Backstage : Comprehensible Contextual Aging

Author

Hadersberger, Julia, Pohl, Alexander, Bry, François, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ravenscroft, Andrew, editor, Lindstaedt, Stefanie, editor, Kloos, Carlos Delgado, editor, and Hernández-Leo, Davinia, editor

Published
2012
Full Text
View/download PDF

40. Semantic Wikis: Approaches, Applications, and Perspectives

Author

Bry, François, Schaffert, Sebastian, Vrandečić, Denny, Weiand, Klara, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Eiter, Thomas, editor, and Krennwallner, Thomas, editor

Published
2012
Full Text
View/download PDF

43. Datalog Relaunched: Simulation Unification and Value Invention

Author

Bry, François, Furche, Tim, Ley, Clemens, Marnette, Bruno, Linse, Benedikt, Schaffert, Sebastian, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, de Moor, Oege, editor, Gottlob, Georg, editor, Furche, Tim, editor, and Sellers, Andrew, editor

Published
2011
Full Text
View/download PDF

44. Reasoning as Axioms Change : Incremental View Maintenance Reconsidered

Author

Kotowski, Jakub, Bry, François, Brodt, Simon, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Rudolph, Sebastian, editor, and Gutierrez, Claudio, editor

Published
2011
Full Text
View/download PDF

45. A RPL through RDF: Expressive Navigation in RDF Graphs

Author

Zauner, Harald, Linse, Benedikt, Furche, Tim, Bry, François, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hitzler, Pascal, editor, and Lukasiewicz, Thomas, editor

Published
2010
Full Text
View/download PDF

46. KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge

Author

Weiand, Klara, Hausmann, Steffen, Furche, Tim, Bry, François, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hitzler, Pascal, editor, and Lukasiewicz, Thomas, editor

Published
2010
Full Text
View/download PDF

47. Flavors of KWQL, a Keyword Query Language for a Semantic Wiki

Author

Bry, François, Weiand, Klara, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, van Leeuwen, Jan, editor, Muscholl, Anca, editor, Peleg, David, editor, Pokorný, Jaroslav, editor, and Rumpe, Bernhard, editor

Published
2010
Full Text
View/download PDF

48. A Social Vision of Knowledge Representation and Reasoning

Author

Bry, François, Kotowski, Jakub, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, van Leeuwen, Jan, editor, Muscholl, Anca, editor, Peleg, David, editor, Pokorný, Jaroslav, editor, and Rumpe, Bernhard, editor

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results