4285 search results - page 732 / 857 » Differential Behavioral Analysis |
118
click to vote
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
79
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
This paper unifies two recent strands of research in multiagent system design. One, commitments are widely recognized as capturing important aspects of interactions among agents,...
71
Voted
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
Reliable execution and analysis of an evolutionary algorithm (EA) normally requires many runs to provide reasonable assurance that stochastic effects have been properly considered...
93
Voted
ICMI
2003
Springer
15 years 6 months ago
2003
Springer
We present methods for inferring the cost of interrupting users based on multiple streams of events including information generated by interactions with computing devices, visual ...
ICVS
2003
Springer
15 years 6 months ago
2003
Springer
Most approaches to detection and classification of human activity deal with observing individual persons. However, people often tend to organize into groups to achieve certain goa...