1581 search results - page 129 / 317 » Mechanizing Inductive Reasoning |
157
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We present a system for the actuation of tangible magnetic widgets (Madgets) on interactive tabletops. Our system combines electromagnetic actuation with fiber optic tracking to m...
147
click to vote
ACSAC
2006
IEEE
2006
IEEE
A Study of Access Control Requirements for Healthcare Systems Based on Audit Trails from Access Logs
16 years 13 days ago
In healthcare, role-based access control systems are often extended with exception mechanisms to ensure access to needed informationeven when the needs don’t followthe expected ...
141
click to vote
ICEIS
2005
IEEE
15 years 12 months ago
2005
IEEE
Electrical and mechanical equipment such as gearboxes in an industrial robot or electronic circuits in an industrial printer sometimes fail to operate as intended. The faulty compo...
117
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Agents operating in the real world have to deal with a constantly changing and only partially predictable environment and are nevertheless expected to choose reasonable actions qui...
149
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, a novel multi-objective orthogonal simulated annealing algorithm MOOSA using a generalized Pareto-based scale-independent fitness function and multi-objective intell...