1
Material Type:
Ata de Congresso
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
Material Type:
Ata de Congresso
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
Material Type:
Ata de Congresso
“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
Material Type:
Ata de Congresso
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
Material Type:
Ata de Congresso
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
Material Type:
Ata de Congresso
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
Material Type:
Ata de Congresso
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
Material Type:
Ata de Congresso
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
Material Type:
Ata de Congresso
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
Material Type:
Ata de Congresso
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