skip to main content
Mostrar Somente
Refinado por: data de publicação: Após 2008 remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal verification of information flow security for a simple arm-based separation kernel
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Formal verification of information flow security for a simple arm-based separation kernel

Dam, Mads ; Guanciale, Roberto ; Khakpour, Narges ; Nemati, Hamed ; Schwarz, Oliver

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.223-234

New York, NY, USA: ACM

Texto completo disponível

2
SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems

Hernández Luz, Carles ; Flich Cardo, José ; Paredes Palacios, Roberto ; Lefebvre, Charles-Alexis ; Allende, Imanol ; Abella, Jaume ; Trilla, David ; Matschnig, Martin ; Fischer, Bernhard ; Schwarz, Konrad ; Kiszka, Jan ; Ronnback, Martin ; Klockars, Johan ; McGuire, Nicholas ; Rammerstorfer, Franz

IEEE 2020

Texto completo disponível

3
Fast Simple Linear Iterative Clustering by Early Candidate Cluster Elimination
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Fast Simple Linear Iterative Clustering by Early Candidate Cluster Elimination

Choi, Kang-Sun ; Oh, Ki-Won Paredes, Roberto ; Pardo, Xosé M. ; Cardoso, Jaime S.

Pattern Recognition and Image Analysis, p.579-586 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

4
On the limits of effectiveness in estimation of distribution algorithms
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

On the limits of effectiveness in estimation of distribution algorithms

Echegoyen, Carlos ; Qingfu Zhang ; Mendiburu, Alexander ; Santana, Roberto ; Lozano, Jose A.

2011 IEEE Congress of Evolutionary Computation (CEC), 2011, p.1573-1580 [Periódico revisado por pares]

IEEE

Texto completo disponível

5
Q-CP: Learning Action Values for Cooperative Planning
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Q-CP: Learning Action Values for Cooperative Planning

Riccio, Francesco ; Capobianco, Roberto ; Nardi, Daniele

2018 IEEE International Conference on Robotics and Automation (ICRA), 2018, p.6469-6475

IEEE

Texto completo disponível

6
Performance Analysis of the Scalable Video Coding (SVC) extension of H.264/AVC for constrained scenarios
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Performance Analysis of the Scalable Video Coding (SVC) extension of H.264/AVC for constrained scenarios

SUAREZ, N ; CALLICO, Gustavo M ; LOPEZ, Sebastian ; LOPEZ, Jose ; SARMIENTO, Roberto

Proceedings of SPIE, the International Society for Optical Engineering, 2011, Vol.8067

Bellingham WA: SPIE

Texto completo disponível

7
Analyzing the probability of the optimum in EDAs based on Bayesian networks
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Analyzing the probability of the optimum in EDAs based on Bayesian networks

Echegoyen, C. ; Mendiburu, A. ; Santana, R. ; Lozano, J.A.

2009 IEEE Congress on Evolutionary Computation, 2009, p.1652-1659 [Periódico revisado por pares]

IEEE

Texto completo disponível

8
A low-cost sensor platform for large-scale wideband spectrum monitoring
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A low-cost sensor platform for large-scale wideband spectrum monitoring

Calvo-Palomino, Roberto ; Pfammatter, Damian ; Giustiniano, Domenico ; Lenders, Vincent

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015, p.396-397

New York, NY, USA: ACM

Texto completo disponível

9
Ginga extensions to support depth-based 3D media
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Ginga extensions to support depth-based 3D media

de Albuquerque Azevedo, Roberto Gerson ; Gomes Soares, Luis Fernando

2014 3DTV-Conference: The True Vision - Capture, Transmission and Display of 3D Video (3DTV-CON), 2014, p.1-4

IEEE

Texto completo disponível

10
Impact Evaluation of Job Training Programs by a Latent Variable Model
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Impact Evaluation of Job Training Programs by a Latent Variable Model

Bartolucci, Francesco ; Pennoni, Fulvia Ingrassia, Salvatore ; Vichi, Maurizio ; Rocci, Roberto

New Perspectives in Statistical Modeling and Data Analysis, p.65-73

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4)

Buscando em bases de dados remotas. Favor aguardar.