4609 search results - page 798 / 922 » Automatic Generation of Sigma-Protocols |
158
click to vote
IM
2007
15 years 7 months ago
2007
- Many researchers have considered security policy management, including how to configure policies manually and even how to automatically generate security policies based on securi...
171
click to vote
MIE
2008
15 years 7 months ago
2008
This paper describes the results of the KINELECTRICS project. Since more and more clinical documents are stored and transmitted in an electronic way, the aim of this project was to...
159
click to vote
MVA
2007
15 years 7 months ago
2007
We present a system to automatically assess the functional performance of stroke survivors along axes defined by the Arm Motor Ability Test (AMAT). The upper body motion of seven...
140
click to vote
AAAI
2006
15 years 7 months ago
2006
With the increased use of the web has come a corresponding increase in information overload that users face when trying to locate specific webpages, especially as a majority of vi...
155
Voted
AIPS
2004
15 years 7 months ago
2004
Military operations planning involves concurrent actions, resource assignment, and conflicting costs. Individual tasks sometimes fail with a known probability, promoting a decisio...