12774 search results - page 2393 / 2555 » A Framework for Proof Systems |
194
click to vote
SACMAT
2003
ACM
16 years 8 days ago
2003
ACM
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...
213
click to vote
ATAL
2003
Springer
16 years 7 days ago
2003
Springer
This paper describes the implementation and evaluation of a framework for modeling emotions in complex, decision-making agents. Sponsored by U.S. Army Research Institute (ARI), th...
328
click to vote
UM
2010
Springer
16 years 2 days ago
2010
Springer
The field of intelligent tutoring systems has been using the well known knowledge tracing model, popularized by Corbett and Anderson (1995) to track individual users’ knowledge f...
194
Voted
GLVLSI
2002
IEEE
15 years 12 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
186
Voted
ICSM
2002
IEEE
15 years 12 months ago
2002
IEEE
Software is multidimensional but the tools that support it are not. The lack of tool support causes the software artifacts representing different dimensions to evolve independentl...