3579 search results - page 462 / 716 » Transformations of software models into performance models |
192
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Vertebrate and most invertebrate organisms interact with their environment through processes of adaptation and learning. Such processes are generally controlled by comple...
171
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...
198
click to vote
CONSTRAINTS
2011
15 years 1 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
177
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
163
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper proposes an efficient dental radiograph registration algorithm using Phase-Only Correlation (POC). The use of phase components in 2D (twodimensional) discrete Fourier t...