8648 search results - page 1361 / 1730 » Designing for Human-Agent Interaction |
185
click to vote
JCP
2008
15 years 6 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
167
click to vote
JCP
2008
15 years 6 months ago
2008
Developers of visual Interface Design Environments (IDEs), like Microsoft Visual Studio and Java NetBeans, are competing in producing pretty crowded graphical interfaces in order t...
168
click to vote
JIIS
2008
15 years 6 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
185
click to vote
JMLR
2008
15 years 6 months ago
2008
Many complex control problems require sophisticated solutions that are not amenable to traditional controller design. Not only is it difficult to model real world systems, but oft...
181
click to vote
IVS
2006
15 years 6 months ago
2006
Very early in the object recognition process the human visual system extracts shading information. While shading can enhance the visibility of structures, it can have a negative i...