Sciweavers

973 search results - page 90 / 195
» Usability: not as we know it!
Sort
View
AAAI
2000
15 years 7 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
ALIFE
2002
15 years 6 months ago
Artificial Life and the Chinese Room Argument
: We use the term 'Strong Artificial Life' to refer to the thesis that a sufficiently sophisticated computer simulation of a life-form is a life-form in its own right. Ca...
David Anderson, B. Jack Copeland
SPIEVIP
2010
15 years 4 months ago
Ship detection in satellite imagery using rank-order grayscale hit-or-miss transforms
Ship detection from satellite imagery is something that has great utility in various communities. Knowing where ships are and their types provides useful intelligence information....
Neal R. Harvey, Reid B. Porter, James Theiler
CHI
2009
ACM
16 years 6 months ago
Timing is everything?: the effects of timing and placement of online privacy indicators
Many commerce websites post privacy policies to address Internet shoppers' privacy concerns. However, few users read or understand them. Iconic privacy indicators may make pr...
Serge Egelman, Janice Y. Tsai, Lorrie Faith Cranor...
SP
2005
IEEE
149views Security Privacy» more  SP 2005»
15 years 12 months ago
Distributed Proving in Access-Control Systems
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
Lujo Bauer, Scott Garriss, Michael K. Reiter