669 search results - page 11 / 134 » critical 2005 |
ICCV
2005
IEEE
15 years 3 months ago
2005
IEEE
Camera Calibration with one-dimensional objects is based on an algebraic constraint on the image of the absolute conic. We will give an alternative derivation to this constraint, ...
CRITICAL
2005
14 years 11 months ago
2005
As computing moves into every aspect of our daily lives, the process, values and assumptions that underlie our technical practices may unwittingly be propagated throughout our cul...
CADE
2005
Springer
15 years 9 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...
STORYTELLING
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. By use of a dance game, and after much input and advice from thirteen year old design consultants, we teach Java programming in a way that will interest middle school gir...
POLICY
2005
Springer
15 years 2 months ago
2005
Springer
We introduce the provisional trust negotiation framework PROTUNE, for combining distributed trust management policies with provisional-style business rules and accesscontrol relat...