Sciweavers

70 search results - page 5 / 14
» What Are the Future Possibilities of eDemocracy
Sort
View
KR
1991
Springer
13 years 10 months ago
Meta-Reasoning in Executable Temporal Logic
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
Howard Barringer, Michael Fisher, Dov M. Gabbay, A...
HICSS
2009
IEEE
107views Biometrics» more  HICSS 2009»
14 years 1 months ago
EM Enforcing Information Flow Properties using Compensating Events
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
Thoshitha T. Gamage, Bruce M. McMillin
DSONLINE
2000
60views more  DSONLINE 2000»
13 years 6 months ago
Ubiquitous Electronic Tagging
The automatic identification industry is growing rapidly. Tags occur in many forms and appear on everything from luggage at the airport, to dogs, trains and fresh fruit. As with m...
Roy Want, Daniel M. Russell
PRL
2007
287views more  PRL 2007»
13 years 6 months ago
2D and 3D face recognition: A survey
Government agencies are investing a considerable amount of resources into improving security systems as result of recent terrorist events that dangerously exposed flaws and weakn...
Andrea F. Abate, Michele Nappi, Daniel Riccio, Gab...
HRI
2010
ACM
14 years 1 months ago
Psychological intimacy with robots?: using interaction patterns to uncover depth of relation
— This conceptual paper broaches possibilities and limits of establishing psychological intimacy in HRI. Keywords- human-robot interaction, interaction patterns, social and moral...
Peter H. Kahn Jr., Jolina H. Ruckert, Takayuki Kan...