skip to main content
Resultados 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automated Verification of Linearization Policies
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Automated Verification of Linearization Policies

Abdulla, Parosh Aziz ; Jonsson, Bengt ; Trinh, Cong Quy Rival, Xavier

Automated Verification of Linearization Policies, 2016, p.61-83 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
Statistical Knowledge Patterns: Identifying Synonymous Relations in Large Linked Datasets
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Statistical Knowledge Patterns: Identifying Synonymous Relations in Large Linked Datasets

Zhang, 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 Xavier

The Semantic Web – ISWC 2013, 2013, p.703-719 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

3
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 Papers
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

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 Papers

Durrleman, Stanley ; Fletcher, Thomas P. ; Gerig, Guido ; Niethammer, Marc ; Pennec, Xavier Gerig, Guido ; Pennec, Xavier ; Durrleman, Stanley ; Fletcher, Tom ; Niethammer, Marc

Cham: Springer International Publishing 2015

Texto completo disponível

4
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Mcmillan, Kenneth ; Rival, Xavier McMillan, Kenneth L. ; Rival, Xavier

Berlin, Heidelberg: Springer Berlin Heidelberg 2014

Texto completo disponível

5
Purpose Driven Competency Planning for Enterprise Modeling Projects
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Purpose Driven Competency Planning for Enterprise Modeling Projects

Stirna, Janis ; Persson, Anne Franch, Xavier ; Ralyté, Jolita ; Wrycza, Stanislaw ; Brinkkemper, Sjaak

Advanced Information Systems Engineering, 2012, p.662-677 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
Configurable Process Models for the Swedish Public Sector
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Configurable Process Models for the Swedish Public Sector

Lönn, Carl-Mikael ; Uppström, Elin ; Wohed, Petia ; Juell-Skielse, Gustaf Franch, Xavier ; Ralyté, Jolita ; Wrycza, Stanislaw ; Brinkkemper, Sjaak

Advanced Information Systems Engineering, 2012, p.190-205 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
NeuroCast: adaptive multi-source P2P video streaming application for wireless networks
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

NeuroCast: adaptive multi-source P2P video streaming application for wireless networks

Gañan, Carlos ; Caubet Fernández, Juan ; Mata Diaz, Jorge ; Alins Delgado, Juan José ; Esparza Martín, Óscar

2011

Texto completo disponível

8
Buffer sizing for self-timed stream programs on heterogeneous distributed memory multiprocessors
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Buffer sizing for self-timed stream programs on heterogeneous distributed memory multiprocessors

Carpenter, Paul ; Ramírez Bellido, Alejandro ; Ayguadé Parra, Eduard

Springer Verlag 2010

Texto completo disponível

9
The Semantic Web – ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

The Semantic Web – ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I

Hendler, 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, Guus

Berlin, Heidelberg: Springer Berlin Heidelberg 2012

Texto completo disponível

10
The Semantic Web – ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

The Semantic Web – ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II

Hendler, 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, Guus

Berlin, Heidelberg: Springer Berlin Heidelberg 2012

Texto completo disponível

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de2003  (4)
  2. 2003Até2010  (4)
  3. 2011Até2013  (11)
  4. 2014Até2017  (12)
  5. Após 2017  (2)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.