skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 2005Até2011 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms
Material Type:
Artigo
Adicionar ao Meu Espaço

On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms

Chernoy, Viacheslav ; Shalom, Mordechai ; Zaks, Shmuel

Distributed computing, 2010-09, Vol.23 (1), p.43-60 [Periódico revisado por pares]

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

2
The state of the art in end-user software engineering
Material Type:
Artigo
Adicionar ao Meu Espaço

The state of the art in end-user software engineering

Ko, Andrew ; Abraham, Robin ; Beckwith, Laura ; Blackwell, Alan ; Burnett, Margaret ; Erwig, Martin ; Scaffidi, Chris ; Lawrance, Joseph ; Lieberman, Henry ; Myers, Brad ; Rosson, Mary ; Rothermel, Gregg ; Shaw, Mary ; Wiedenbeck, Susan

ACM computing surveys, 2011-04, Vol.43 (3), p.1-44 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

3
The online laboratory: conducting experiments in a real labor market
Material Type:
Artigo
Adicionar ao Meu Espaço

The online laboratory: conducting experiments in a real labor market

Horton, John J. ; Rand, David G. ; Zeckhauser, Richard J.

Experimental economics : a journal of the Economic Science Association, 2011-09, Vol.14 (3), p.399-425 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

4
Linear work suffix array construction
Material Type:
Artigo
Adicionar ao Meu Espaço

Linear work suffix array construction

Kärkkäinen, Juha ; Sanders, Peter ; Burkhardt, Stefan

Journal of the ACM, 2006-11, Vol.53 (6), p.918-936 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

5
Building a push-button RESOLVE verifier: Progress and challenges
Material Type:
Artigo
Adicionar ao Meu Espaço

Building a push-button RESOLVE verifier: Progress and challenges

Sitaraman, Murali ; Adcock, Bruce ; Avigad, Jeremy ; Bronish, Derek ; Bucci, Paolo ; Frazier, David ; Friedman, Harvey M. ; Harton, Heather ; Heym, Wayne ; Kirschenbaum, Jason ; Krone, Joan ; Smith, Hampton ; Weide, Bruce W.

Formal aspects of computing, 2011-09, Vol.23 (5), p.607-626 [Periódico revisado por pares]

London: Springer-Verlag

Texto completo disponível

6
Dynamic limits for bloat control in genetic programming and a review of past and current bloat theories
Material Type:
Artigo
Adicionar ao Meu Espaço

Dynamic limits for bloat control in genetic programming and a review of past and current bloat theories

Silva, Sara ; Costa, Ernesto

Genetic programming and evolvable machines, 2009-06, Vol.10 (2), p.141-179 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

7
Normative design using inductive learning
Material Type:
Artigo
Adicionar ao Meu Espaço

Normative design using inductive learning

CORAPI, DOMENICO ; RUSSO, ALESSANDRA ; DE VOS, MARINA ; PADGET, JULIAN ; SATOH, KEN

Theory and practice of logic programming, 2011-07, Vol.11 (4-5), p.783-799 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

8
Human Action Segmentation and Recognition Using Discriminative Semi-Markov Models
Material Type:
Artigo
Adicionar ao Meu Espaço

Human Action Segmentation and Recognition Using Discriminative Semi-Markov Models

Shi, Qinfeng ; Cheng, Li ; Wang, Li ; Smola, Alex

International journal of computer vision, 2011-05, Vol.93 (1), p.22-32 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

9
Applicative programming with effects
Material Type:
Artigo
Adicionar ao Meu Espaço

Applicative programming with effects

MCBRIDE, CONOR ; PATERSON, ROSS

Journal of functional programming, 2008-01, Vol.18 (1), p.1-13 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

10
Multitask Visual Learning Using Genetic Programming
Material Type:
Artigo
Adicionar ao Meu Espaço

Multitask Visual Learning Using Genetic Programming

Jaśkowski, Wojciech ; Krawiec, Krzysztof ; Wieloch, Bartosz

Evolutionary computation, 2008-12, Vol.16 (4), p.439-459 [Periódico revisado por pares]

One Rogers Street, Cambridge, MA 02142-1209, USA: MIT Press

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1.396)
  2. Revistas revisadas por pares (862)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (925)
  2. Anais de Congresso  (334)
  3. Book Chapters  (202)
  4. Verbetes  (70)
  5. magazinearticle  (12)
  6. Dissertações  (8)
  7. Resenhas  (2)
  8. Livros  (1)
  9. Reports  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2004  (4)
  2. 2004Até2006  (368)
  3. 2007Até2009  (723)
  4. 2010Até2013  (504)
  5. Após 2013  (2)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.554)
  2. Japonês  (89)
  3. Ndongo  (44)
  4. Alemão  (6)
  5. Francês  (1)
  6. Letão  (1)
  7. Turco  (1)
  8. Norueguês  (1)
  9. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.