skip to main content
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover assunto: Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automatic Assessment of Cognitive Impairment through Electronic Observation of Object Usage
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Automatic Assessment of Cognitive Impairment through Electronic Observation of Object Usage

Hodges, Mark R. ; Kirsch, Ned L. ; Newman, Mark W. ; Pollack, Martha E. Spasojevic, Mirjana ; Floréen, Patrik ; Krüger, Antonio

Pervasive Computing, p.192-209 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

2
An 'object-use fingerprint': the use of electronic sensors for human identification
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

An 'object-use fingerprint': the use of electronic sensors for human identification

Hodges, Mark R. ; Pollack, Martha E. Strang, Thomas ; Krumm, John ; Seneviratne, Aruna ; Abowd, Gregory D.

Proceedings of the 9th international conference on Ubiquitous computing, 2007, p.289-303 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

3
“What would you like to talk about?” an evaluation of social conversations with a virtual receptionist
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

“What would you like to talk about?” an evaluation of social conversations with a virtual receptionist

Babu, Sabarish ; Schmugge, Stephen ; Barnes, Tiffany ; Hodges, Larry F. Gratch, Jonathan ; Aylett, Ruth ; Ballin, Daniel ; Olivier, Patrick ; Young, Michael ; Young, Michael ; Aylett, Ruth ; Olivier, Patrick ; Ballin, Daniel ; Gratch, Jonathan

Intelligent Virtual Agents, 2006, p.169-180 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Sem texto completo

4
Interval Additive Generators of Interval T-Norms
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Interval Additive Generators of Interval T-Norms

Dimuro, G. P. ; Bedregal, B. C. ; Reiser, R. H. S. ; Santiago, R. H. N. de Queiroz, Ruy ; Hodges, Wilfrid

Logic, Language, Information and Computation, p.123-135 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

5
Marve: A Prototype Virtual Human Interface Framework for Studying Human-Virtual Human Interaction
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Marve: A Prototype Virtual Human Interface Framework for Studying Human-Virtual Human Interaction

Babu, Sabarish ; Schmugge, Stephen ; Inugala, Raj ; Rao, Srinivasa ; Barnes, Tiffany ; Hodges, Larry F. Aylett, Ruth ; Panayiotopoulos, Themis ; Rist, Thomas ; Gratch, Jonathan ; Olivier, Patrick ; Ballin, Daniel

Intelligent Virtual Agents, 2005, p.120-133 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

6
Propositional Dynamic Logic as a Logic of Belief Revision
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Propositional Dynamic Logic as a Logic of Belief Revision

van Eijck, Jan ; Wang, Yanjing de Queiroz, Ruy ; Hodges, Wilfrid

Logic, Language, Information and Computation, p.136-148 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

7
Expressive Power and Decidability for Memory Logics
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Expressive Power and Decidability for Memory Logics

Areces, Carlos ; Figueira, Diego ; Figueira, Santiago ; Mera, Sergio de Queiroz, Ruy ; Hodges, Wilfrid

Logic, Language, Information and Computation, p.56-68 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

8
A Propositional Dynamic Logic for CCS Programs
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A Propositional Dynamic Logic for CCS Programs

Benevides, Mario R. F. ; Schechter, L. Menasché de Queiroz, Ruy ; Hodges, Wilfrid

Logic, Language, Information and Computation, p.83-97 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

9
On the Descriptive Complexity of Linear Algebra
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

On the Descriptive Complexity of Linear Algebra

Dawar, Anuj de Queiroz, Ruy ; Hodges, Wilfrid

Logic, Language, Information and Computation, p.17-25 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

10
Inference Processes for Quantified Predicate Knowledge
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Inference Processes for Quantified Predicate Knowledge

Paris, J. B. ; Rad, S. R. de Queiroz, Ruy ; Hodges, Wilfrid

Logic, Language, Information and Computation, p.249-259 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Buscando em bases de dados remotas. Favor aguardar.