2586 search results - page 155 / 518 » Automatic Abstraction for Congruences |
110
click to vote
IDEAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In human face recognition, different facial regions have different degrees of importance, and exploiting such information would hopefully improve the accuracy of the reco...
IFL
2005
Springer
15 years 3 months ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
ITRUST
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
166
click to vote
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Data copy is an important compiler optimization which dynamically rearranges the layout of arrays by copying their elements into local buffers. Traditionally, array copy...
74
Voted
RISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper applies the Evolutionary Strategy (ES) metaheuristic to the automatic test data generation problem. The problem consists in creating automatically a set of inp...