3007 search results - page 374 / 602 » Linear Functional Fixed-points |
113
Voted
SC
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, a systematic study of the effects of complexity of prediction methodology on its accuracy for a set of real applications on a variety of HPC systems is performed. R...
137
Voted
ASM
2005
ASM
15 years 9 months ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
127
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We discuss the face detection method by using skin information. Skin color has proven to be a useful and robust cue for face detection, localization and tracking. Numerou...
115
Voted
CC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
137
Voted
DALT
2005
Springer
15 years 9 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...