Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Automated Verification of Linearization PoliciesAbdulla, Parosh Aziz ; Jonsson, Bengt ; Trinh, Cong Quy Rival, XavierAutomated Verification of Linearization Policies, 2016, p.61-83 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Statistical Knowledge Patterns: Identifying Synonymous Relations in Large Linked DatasetsZhang, Ziqi ; Gentile, Anna Lisa ; Blomqvist, Eva ; Augenstein, Isabelle ; Ciravegna, Fabio Kagal, Lalana ; Aroyo, Lora ; Biemann, Chris ; Groth, Paul ; Noy, Natasha ; Welty, Chris ; Janowicz, Krzysztof ; Alani, Harith ; Fokoue, Achille ; Parreira, Josiane XavierThe Semantic Web – ISWC 2013, 2013, p.703-719 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data: Third International Workshop, STIA 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected PapersDurrleman, Stanley ; Fletcher, Thomas P. ; Gerig, Guido ; Niethammer, Marc ; Pennec, Xavier Gerig, Guido ; Pennec, Xavier ; Durrleman, Stanley ; Fletcher, Tom ; Niethammer, MarcCham: Springer International Publishing 2015Texto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ProceedingsMcmillan, Kenneth ; Rival, Xavier McMillan, Kenneth L. ; Rival, XavierBerlin, Heidelberg: Springer Berlin Heidelberg 2014Texto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Purpose Driven Competency Planning for Enterprise Modeling ProjectsStirna, Janis ; Persson, Anne Franch, Xavier ; Ralyté, Jolita ; Wrycza, Stanislaw ; Brinkkemper, SjaakAdvanced Information Systems Engineering, 2012, p.662-677 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Configurable Process Models for the Swedish Public SectorLönn, Carl-Mikael ; Uppström, Elin ; Wohed, Petia ; Juell-Skielse, Gustaf Franch, Xavier ; Ralyté, Jolita ; Wrycza, Stanislaw ; Brinkkemper, SjaakAdvanced Information Systems Engineering, 2012, p.190-205 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
NeuroCast: adaptive multi-source P2P video streaming application for wireless networksGañan, Carlos ; Caubet Fernández, Juan ; Mata Diaz, Jorge ; Alins Delgado, Juan José ; Esparza Martín, Óscar2011Texto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Buffer sizing for self-timed stream programs on heterogeneous distributed memory multiprocessorsCarpenter, Paul ; Ramírez Bellido, Alejandro ; Ayguadé Parra, EduardSpringer Verlag 2010Texto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
The Semantic Web – ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part IHendler, Jim ; Euzenat, Jérôme ; Schreiber, Guus ; Bernstein, Abraham ; Sirin, Evren ; Tudorache, Tania ; Heflin, Jeff ; Cudré-Mauroux, Philippe ; Blomqvist, Eva ; Parreira, Josiane Xavier ; Hauswirth, Manfred ; Hendler, Jim ; Bernstein, Abraham ; Sirin, Evren ; Hauswirth, Manfred ; Parreira, Josiane Xavier ; Blomqvist, Eva ; Cudré-Mauroux, Philippe ; Euzenat, Jérôme ; Tudorache, Tania ; Heflin, Jeff ; Schreiber, GuusBerlin, Heidelberg: Springer Berlin Heidelberg 2012Texto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
The Semantic Web – ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part IIHendler, Jim ; Euzenat, Jérôme ; Schreiber, Guus ; Bernstein, Abraham ; Tudorache, Tania ; Heflin, Jeff ; Hauswirth, Manfred ; Cudré-Mauroux, Philippe ; Blomqvist, Eva ; Parreira, Josiane Xavier ; Sirin, Evren ; Hendler, Jim ; Bernstein, Abraham ; Sirin, Evren ; Hauswirth, Manfred ; Parreira, Josiane Xavier ; Blomqvist, Eva ; Cudré-Mauroux, Philippe ; Euzenat, Jérôme ; Tudorache, Tania ; Heflin, Jeff ; Schreiber, GuusBerlin, Heidelberg: Springer Berlin Heidelberg 2012Texto completo disponível |