1993 search results - page 161 / 399 » On Action Theory Change |
110
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
106
Voted
FGR
2006
IEEE
15 years 6 months ago
2006
IEEE
A realtime system for shrug detection is discussed in this paper. The system is automatically initialized by a face detector based on Ada-boost[14]. After frontal face is localize...
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Multiagent learning literature has investigated iterated twoplayer games to develop mechanisms that allow agents to learn to converge on Nash Equilibrium strategy profiles. Such ...
139
click to vote
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Grounded on both social cognitive theory and expectation-disconfirmation theory (EDT), this study aims to investigate how individuals’ continuance intention of knowledge creatio...
103
Voted
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
In intelligence analysis, information plays an important role in solving problems and making decisions. However, an increasing number of malicious behaviors, most of which come fr...