Sciweavers

1368 search results - page 101 / 274
» Personality-Based Practical Reasoning
Sort
View
HICSS
2011
IEEE
190views Biometrics» more  HICSS 2011»
14 years 6 months ago
Validating Cyber Security Requirements: A Case Study
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
Robert K. Abercrombie, Frederick T. Sheldon, Ali M...
TVCG
2012
248views Hardware» more  TVCG 2012»
13 years 5 months ago
Scanning 3D Full Human Bodies Using Kinects
—Depth camera such as Microsoft Kinect, is much cheaper than conventional 3D scanning devices, and thus it can be acquired for everyday users easily. However, the depth data capt...
Jing Tong, Jin Zhou, Ligang Liu, Zhigeng Pan, Hao ...
CADE
2002
Springer
16 years 3 months ago
The Quest for Efficient Boolean Satisfiability Solvers
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
Lintao Zhang, Sharad Malik
ATAL
2005
Springer
15 years 8 months ago
Generating intentions through argumentation
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...
ATAL
2004
Springer
15 years 8 months ago
The SPARK Agent Framework
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
David N. Morley, Karen L. Myers