Ban3

Equipe WAM

Date de début de l'équipe : 01/01/2003     Date de fin : 31/12/2100

http://pistou.imag.fr/site/team/31

Membres de l'équipe :

(28 membres ou périodes) Afficher/Réduire

Publications de l'équipe :

La liste contient 113 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2011
1
Semantic adaptation of multimedia documents.
Multimedia tools and applications (MTAP), 55(3):379-398, 2011.
Www-128x128 Www-128x128abstract ]
bibtex/ html
2
Impact of XML Schema Evolution.
ACM Transactions on Internet Technology (TOIT), 11:4:1--4:27, jul 2011.
Www-128x128 Www-128x128
bibtex/ html
2007
3
Deciding XPath Containment with MSO.
Data and Knowledge Engineering (DKE), 63(1):108-136, oct 2007.
Www-128x128abstract ]
bibtex/ html
4
Multimedia Authoring for Communities of Teachers.
International Journal of Web-Based Learning and Teaching Technologies, 2(3):1-18, jul 2007.
Www-128x128abstract ]
bibtex/ html
2006
5
A System for the Static Analysis of XPath.
ACM Transactions on Information Systems (TOIS), 24(4):475-502, oct 2006.
Www-128x128abstract ]
bibtex/ html
2003
6
NAC: An Architecture for Multimedia Content Adaptation for Mobile Devices.
ERCIM News, (54), jul 2003.
Pdf-128x128abstract ]
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2011
7
Mixed Reality Browsers.
International workshop on AR Standards, feb 2011.
Pdf-128x128abstract ]
bibtex/ html
8
Timesheets.js: When SMIL Meets HTML5 and CSS3.
DocEng 2011, 11th ACM Symposium on Document Engineering, :10 pages, Mountain View, États-Unis, sep 2011.
Www-128x128
bibtex/ html
9
Timesheets.js: Tools for Web Multimedia.
ACM Multimedia 2011, :4 pages, Scottsdale, Arizona, États-Unis, nov 2011.
Www-128x128
bibtex/ html
10
Parametric Polymorphism and Semantic Subtyping: the Logical Connection.
ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, :107-116, 2011.
bibtex/ html
11
Inconsistent path detection for XML IDEs.
Proceeding of the 33rd international conference on Software engineering, :983--985, ICSE '11, New York, NY, USA, 2011.
Www-128x128 Www-128x128
bibtex/ html
12
Query reasoning on trees with types, interleaving and counting.
IJCAI'11 : Proceedings of the 22nd International Joint Conference on Artificial Intelligence, :718-723, Barcelona, Spain, jul 2011.
bibtex/ html
2010
13
Augmented Reality Audio Editing.
128th AES Convention, :paper 8143, London, Royaume-Uni, may 2010.
Pdf-128x128abstract ]
bibtex/ html
14
Sound Objects for SVG.
Proceedings of SVG Open 2010, aug 2010. Note: https://www.svgopen.org/2010/papers/34-Sound_Objects_for_SVG/.
Pdf-128x128abstract ]
bibtex/ html
15
A Low-Cost Global Network for Data Collection and Query.
Proceedings of the 2nd Extreme Workshop on Communication, ExtremeCom 2010, sep 2010.
Pdf-128x128abstract ]
bibtex/ html
16
Basic Concepts in Augmented Reality Audio.
W3C Workshop: Augmented Reality on the Web, :4, Barcelona, Espagne, jun 2010.
Pdf-128x128abstract ]
bibtex/ html
17
Authoring XML all the Time, Everywhere and by Everyone.
Proceedings of XML Prague 2010, :125-149, mar 2010.
Pdf-128x128abstract ]
bibtex/ html
18
From Templates to Schemas: Bridging the Gap Between Free Editing and Safe Data Processing.
DocEng 2010: Proceedings of the Tenth ACM Symposium on Document Engineering, :61--64, sep 2010.
Pdf-128x128 Www-128x128abstract ]
bibtex/ html
19
Eliminating Dead-Code from XQuery Programs.
Proceedings of the 32nd ACM/IEEE International Conf on Software Engineering, ICSE 2010, may 2010.
Pdf-128x128abstract ]
bibtex/ html
20
Debugging Standard Document Formats.
Proceedings of the 19th International Conference on World Wide Web (WWW 2010), :1269--1272, apr 2010.
Pdf-128x128 Www-128x128abstract ]
bibtex/ html
21
XML Reasoning Made Practical.
Proceedings of the 26th IEEE International Conference on Data Engineering, ICDE 2010, :1169-1172, mar 2010.
Pdf-128x128abstract ]
bibtex/ html
2009
22
Counting in Trees along Multidirectional Regular Paths.
PLAN-X 2009, Programming Language Techniques for XML, jan 2009.
Www-128x128 Www-128x128abstract ]
bibtex/ html
23
On the Analysis of Queries with Counting Constraints.
DocEng'09: Proceedings of the Ninth ACM Symposium on Document Engineering, sep 2009.
Pdf-128x128abstract ]
bibtex/ html
24
An Interactive Audio System for Mobiles.
127th AES Convention, New York, États-Unis, oct 2009.
Pdf-128x128abstract ]
bibtex/ html
25
Réifier et réutiliser les pratiques d'enseignement : développement participatif d'un scénario et de services pour les communautés de pratique.
EIAH 09, :223-230, Le Mans, France, jun 2009.
Www-128x128
bibtex/ html
26
Identifying Query Incompatibilities with Evolving XML Schemas.
14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, :221-230, Edinburgh, Scotland, aug 2009.
abstract ]
bibtex/ html
27
Semantic multimedia document adaptation with functional annotations.
Proc. 4th international workshop on Semantic Media Adaptation and Personalization (SMAP2009), San Sebastián (ES), :44-49, 2009.
Pdf-128x128abstract ]
bibtex/ html
2008
28
An export architecture for a multimedia authoring environment.
DocEng'08: Proceedings of the eigth ACM Symposium on Document Engineering, :28--31, Sao Paulo, Brazil, sep 2008.
Www-128x128 Www-128x128abstract ]
bibtex/ html
29
Towards extending and using SPARQL for modular document generation.
Proc. 8th ACM symposium on document engineering (DocEng), São Paolo (BR), :164-172, 2008.
Pdf-128x128abstract ]
bibtex/ html
2007
30
Efficient Static Analysis of XML Paths and Types.
PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, :342--351, jun 2007.
Www-128x128 Www-128x128abstract ]
bibtex/ html
31
XPath Typing Using a Modal Logic with Converse for Finite Trees.
PLAN-X 2007, Programming Languages Technologies for XML, :61-72, jan 2007.
Www-128x128abstract ]
bibtex/ html
32
Mobile Immersive Music.
Proceedings of the 2007 International Computer Music Conference, ICMC 07, :21-24, aug 2007.
Www-128x128abstract ]
bibtex/ html
33
Engineering Multimedia Applications on the basis of Multi-Structured Descriptions of Audiovisual Contents.
Proceedings of the 2007 international workshop on Semantically aware document processing and indexing, :31-40, may 2007.
Www-128x128abstract ]
bibtex/ html
34
Multimedia document summarization based on a semantic adaptation framework.
Proc. 1st international workshop on Semantically aware document processing and indexing (SADPI), Montpellier (FR), :87-94, may 2007.
Www-128x128 Pdf-128x128abstract ]
bibtex/ html
35
Bi-intervals for backtracking on temporal constraint networks.
Proc. 14th international conference on temporal representation and reasoning (TIME), Alicante (SP), :163-168, Los Alamitos (CA US), 2007.
Pdf-128x128abstract ]
bibtex/ html
36
A framework for media adaptation using the web and the semantic web.
Proc. 2nd international workshop on semantic media adaptation and personalization (SMAP), London (UK), :32-37, Los Alamitos (CA), 2007. Note: Best paper award.
Pdf-128x128abstract ]
bibtex/ html
37
Editing with Style.
Proceedings of the 2007 ACM Symposium on Document Engineering, DocEng 2007, :151--160, aug 2007.
Www-128x128abstract ]
bibtex/ html
38
Structured Templates for Authoring Semantically Rich Documents.
Proceedings of the 2007 international workshop on Semantically aware document processing and indexing, ACM International Conference Proceeding Series; Vol. 259, :41-48, may 2007.
Www-128x128abstract ]
bibtex/ html
2006
39
Comparing XML Path Expressions.
Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, :65-74, oct 2006.
Pdf-128x128abstract ]
bibtex/ html
40
Multimedia Authoring for CoPs.
TEL-CoPs'06, 1st International Workshop on Building Technology Enhanced Learning solutions for Communities of Practice, oct 2006.
Pdf-128x128abstract ]
bibtex/ html
41
The LimSee3 Multimedia Authoring Model.
Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, :173-175, oct 2006.
Pdf-128x128abstract ]
bibtex/ html
42
Spatio-temporal proximities for multimedia document adaptation.
Proc. 12th conference on Artificial intelligence: methodology, systems and applications (AIMSA), Varna (BG), :128-137, 2006.
abstract ]
bibtex/ html
43
Adapting the hypermedia structure in a generic multimedia adaptation framework.
Proc. 1st International Workshop on Semantic Media Adaptation and Personalization (SMAP), Athens (GR), :62-67, 2006.
abstract ]
bibtex/ html
44
Templates, Microformats and Structured Editing.
Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, :188-197, oct 2006.
Www-128x128abstract ]
bibtex/ html
2005
45
Compiling XPath for Streaming Access Policy.
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, :52-54, nov 2005.
Pdf-128x128abstract ]
bibtex/ html
46
Integrating translation services within a structured editor.
ACM Symposium on Document Engineering, DocEng 2005, :165-167, Bristol, United Kingdom, 2005.
bibtex/ html
47
PACE: an Experimental Web-Based Audiovisual Application using FDL.
Web Document Analysis 2005, aug 2005.
Pdf-128x128abstract ]
bibtex/ html
48
Content Interaction and Formatting for Mobile Devices.
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, :98-100, nov 2005.
Pdf-128x128abstract ]
bibtex/ html
49
Towards Active Web Clients.
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, :168-176, nov 2005.
Pdf-128x128abstract ]
bibtex/ html
2004
50
Logic-Based XPath Optimization.
Proceedings of the 2004 ACM symposium on Document Engineering, DocEng 2004, :211-219, oct 2004.
Pdf-128x128abstract ]
bibtex/ html
51
XPath Formal Semantics and Beyond: a Coq based approach.
Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logic: TPHOLs 2004, :181-198, aug 2004.
Pdf-128x128abstract ]
bibtex/ html
52
Improving Efficiency of XPath-Based XML Querying.
IFIP 18th World Computer Congress, Student Forum, :143-153, aug 2004.
Pdf-128x128abstract ]
bibtex/ html
53
Logic-Based XPath Optimization.
First International Workshop on High Performance XML Processing, may 2004.
Pdf-128x128abstract ]
bibtex/ html
54
Compiling XPath into a State-less Forward-only Subset.
First International Workshop on High Performance XML Processing, may 2004.
Pdf-128x128abstract ]
bibtex/ html
55
Le temps dans les documents - Langage SMIL.
Document numériques -- Gestion de contenu, 249 rue de Crimée, 75925 Paris Cedex 19, 2004.
Www-128x128abstract ]
bibtex/ html
56
Adaptation aux différents modes de lecture.
Publier sur Internet, INRIA summer school, :129-155, sep 2004.
Pdf-128x128abstract ]
bibtex/ html
57
Outils pour la production de présentations hypermédias.
Les hypermédias : théorie et pratique, sep 2004.
Pdf-128x128abstract ]
bibtex/ html
58
Adaptation et multimédia mobile sur le Web.
Conférence nationale sur le multimédia mobile, Mcube 2004, :34-41, mar 2004.
Www-128x128abstract ]
bibtex/ html
59
Context-Aware Adaptation for Mobile Devices.
MDM2004 International Conference on Mobile Data Management, :106-111, jan 2004.
Pdf-128x128abstract ]
bibtex/ html
60
Techniques for Authoring Complex XML Documents.
Proceedings of the 2004 ACM symposium on Document Engineering, DocEng 2004, :115-123, oct 2004.
Pdf-128x128abstract ]
bibtex/ html
61
Compound XML Documents in Amaya.
W3C Workshop on Web Applications and Compound Documents, jun 2004.
Www-128x128abstract ]
bibtex/ html
2003
62
Editing SMIL with Timelines.
Proceedings of the Synchronized Multimedia Integration Language European Conference, feb 2003.
Www-128x128abstract ]
bibtex/ html
63
Improving Formatting Documents by Coupling Formatting Systems.
Proceedings of the 2003 ACM Symposium on Document Engineering, DocEng2003, :92-94, nov 2003.
Pdf-128x128abstract ]
bibtex/ html
64
Le langage SMIL au service des Sciences Humaines et Sociales.
JRES 2003, :341-353, nov 2003.
Pdf-128x128abstract ]
bibtex/ html
65
Multimedia Modeling Using MPEG-7 for Authoring Multimedia Integration.
5th ACM SIGMM International Workshop on Multimedia Information Retrieval (ACM MIR'03), :171-178, nov 2003.
Pdf-128x128abstract ]
bibtex/ html
66
A semantic framework for multimedia document adaptation.
Proceedings of the 18th International Joint Conference on Artificial Intelligence IJCAI'2003, :31-36, aug 2003.
Pdf-128x128abstract ]
bibtex/ html
67
Containment of XPath expressions: an Inference and Rewriting based approach.
Extreme Markup Languages, aug 2003.
Pdf-128x128abstract ]
bibtex/ html
68
Encoding Multimedia Presentation for User Preferences and Limited Environments.
Proceedings of IEEE International Conference on Multimedia and Expo (ICME), :165-168, jul 2003.
Pdf-128x128abstract ]
bibtex/ html
69
Media Resources Adaptation for Limited Devices.
Proceedings of the 7th ICCC/IFIP International Conference on Electronic Publishing, ELPUB 2003, :209-218, Portugal, jun 2003.
Pdf-128x128abstract ]
bibtex/ html
70
SMIL Content Adaptation for Embedded Devices.
Proceedings of the Synchronized Multimedia Integration Language European Conference, feb 2003.
Pdf-128x128abstract ]
bibtex/ html
71
Adapted Content Delivery for Different Contexts.
Proc. International Symposium on Applications and the Internet (SAINT 2003), :190-197, jan 2003.
Pdf-128x128abstract ]
bibtex/ html
72
Hypermédia et technologies Web.
Hypertextes hypermédias, actes de H2PTM'03, :381-390, sep 2003.
Www-128x128abstract ]
bibtex/ html
Short communications [COM] and posters [AFF] in conferences and workshops
2006
73
A spatial algebra for multimedia document adaptation.
Proc. 1st poster session of the International Conference on Semantic and Digital Media Technologies (SAMT), Athens (GR), :7-8, 2006.
abstract ]
bibtex/ html
Scientific books and chapter [OS]
2009
74
Logics for XML: Reasoning about Trees..
VDM Verlag, sep 2009.
bibtex/ html
2008
75
An incremental framework for adapting the hypermedia structure of multimedia documents.
Advances in Semantic Media Adaptation and Personalization, :157-176, Springer, Heidelberg (DE), 2008.
Pdf-128x128abstract ]
bibtex/ html
2007
76
Indeterminate Adaptive Digital Audio for Games on Mobiles.
4, :55-72, Ashgate, 2007.
Www-128x128
bibtex/ html
National peer reviewed journal [ACLN]
2005
77
NAC, une architecture pour l'adaptation multimédia sur le web.
Technique et Science Informatiques (TSI), 24(7):789-813, 2005.
Pdf-128x128abstract ]
bibtex/ html
National peer-reviewed conference proceedings [ACTN]
2010
78
Instrumentation des interrogations orales Support multimédia à l'évaluation et à la capitalisation des interrogations orales.
TICE2010 : 7ème Colloque Technologies de l'Information et de la Communication pour l'Enseignement, :6, Nancy, France, dec 2010.
Pdf-128x128abstract ]
bibtex/ html
2009
79
Réifier et réutiliser les pratiques d'enseignement : développement participatif d'un scénario et de services pour les communautés de pratique.
EIAH 09, :223-230, jun 2009.
Pdf-128x128abstract ]
bibtex/ html
2008
80
Adaptation spatio-temporelle et hypermédia de documents multimédia.
Atelier Représentation et Raisonnement sur le Temps et l'Espace (RTE), :1-13, jun 2008.
Pdf-128x128abstract ]
bibtex/ html
2007
81
Un système expert d'aide à la classification taxonomique de classes de descripteurs.
IC 2007, jul 2007.
Www-128x128abstract ]
bibtex/ html
2006
82
Adaptation spatiale efficace de documents SMIL.
Actes 15e conférence AFIA-AFRIF sur reconnaissance des formes et intelligence artificielle (RFIA), Tours (FR), :127, jan 2006.
Pdf-128x128abstract ]
bibtex/ html
83
Adaptation sémantique de documents SMIL.
Actes journées de travail interdisciplinaire sur autour des documents structurés, Giens (FR), :1-5, 2006.
Pdf-128x128
bibtex/ html
2005
84
Description des documents audiovisuels: s'affranchir des limitations de MPEG-7.
MetSI/Inforsid, may 2005.
Pdf-128x128abstract ]
bibtex/ html
85
Adapter temporellement un document SMIL.
Actes atelier plate-forme AFIA 2005 sur Connaissance et document temporel, Nice (FR), :47-58, may 2005.
Pdf-128x128abstract ]
bibtex/ html
Book or Proceedings editing [DO]
2003
86
Proceedings of the 2003 ACM Symposium on Document Engineering.
ACM Press, New York, NY, USA, nov 2003.
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
2011
87
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité.
THESE, Université de Grenoble, feb 2011.
Www-128x128
bibtex/ html
2008
88
Adaptation sémantique de documents multimédia.
Thèse d'informatique, Université Joseph Fourier, Grenoble (FR), 2008.
Pdf-128x128abstract ]
bibtex/ html
2006
89
Logics for XML.
Thèse de Doctorat, INPG, Grenoble, dec 2006.
Pdf-128x128abstract ]
bibtex/ html
Other Publications [AP]
2011
90
Le language audio pour mobiles MAUDL et son moteur de rendu audio interactif IXE.
Rapport de recherche, (RR-7847):40, INRIA, dec 2011.
Www-128x128
bibtex/ html
91
One Idea and Three Concepts for Indoor-Outdoor Navigation.
Rapport de recherche, (RR-7849):12, INRIA, dec 2011.
Www-128x128
bibtex/ html
92
Enhancing an XML Publishing Workflow for Web Multimedia.
Rapport de recherche, (RR-7836):23, INRIA, jul 2011.
Www-128x128
bibtex/ html
93
A Lightweight Framework for Authoring XML Multimedia Content on the Web.
Rapport de recherche, (RR-7848):23, INRIA, dec 2011.
Www-128x128
bibtex/ html
94
PSPARQL query containment.
Research report, (7641), INRIA, Grenoble (FR), 2011.
Www-128x128abstract ]
bibtex/ html
95
PSPARQL query containment.
Proc. 13th International symposium on database programming languages (DBPL), Seattle (WA US), 2011.
Pdf-128x128abstract ]
bibtex/ html
96
On the Analysis of Cascading Style Sheets.
Rapport de recherche, (RR-7808), INRIA, nov 2011.
Www-128x128
bibtex/ html
97
XML Reasoning Solver User Manual.
Rapport de recherche, (RR-6726), INRIA, jun 2011.
Www-128x128
bibtex/ html
2010
99
A Tree Logic with Graded Paths and Nominals.
Research Report, (7251), INRIA, apr 2010.
Www-128x128abstract ]
bibtex/ html
100
On the Count of Trees.
Rapport de recherche, (RR-7251), INRIA, aug 2010. Note: RR-7251.
bibtex/ html
2008
101
Comment bâtir un cours multimédia avec LimSee3 ?.
Article, EPI, oct 2008.
Www-128x128abstract ]
bibtex/ html
102
Ensuring Query Compatibility with Evolving XML Schemas.
Research Report, (6711), INRIA, nov 2008.
Www-128x128abstract ]
bibtex/ html
103
Efficient Static Analysis of XML Paths and Types.
Research Report, (6590), INRIA, jul 2008.
Www-128x128abstract ]
bibtex/ html
104
XML Reasoning Solver User Manual.
Research Report, (6726), INRIA, nov 2008.
Www-128x128abstract ]
bibtex/ html
105
Static Analysis of XML Programs.
ERCIM News, (72):33-34, jan 2008.
Www-128x128abstract ]
bibtex/ html
2007
106
Towards automatic XML structure building for Web documents.
Research Report, (6035), INRIA, feb 2007.
Www-128x128abstract ]
bibtex/ html
2006
107
A Decision Procedure for XPath Containment.
Research Report, (5867), INRIA, mar 2006.
Pdf-128x128abstract ]
bibtex/ html
2005
108
Synchronized Multimedia Integration Language (SMIL 2.1).
{W3C} Recommendation, World Wide Web Consortium, dec 2005.
Www-128x128abstract ]
bibtex/ html
109
SMIL 2.1 Language Profile.
{W3C} Recommendation, World Wide Web Consortium, dec 2005.
Www-128x128abstract ]
bibtex/ html
110
SMIL 2.1 Basic Profile and Scalability Framework.
{W3C} Recommendation, World Wide Web Consortium, dec 2005.
Www-128x128abstract ]
bibtex/ html
111
LimSee2: A Cross-Platform SMIL Authoring Tool.
ERCIM News, (62), jul 2005.
Www-128x128abstract ]
bibtex/ html
2004
112
Adaptation de documents multimédia : Approche sémantique de la dimension spatiotemporelle des documents SMIL.
Mémoire de mastère d'informatique, Université Joseph Fourier-INPG, Grenoble (FR), 2004.
Pdf-128x128abstract ]
bibtex/ html
2003
113
Langages de transformation incrémentaux.
Rapport de {DEA}, UJF, Grenoble, jun 2003.
Pdf-128x128abstract ]
bibtex/ html