3931 search results - page 391 / 787 » Separation logic and abstraction |
214
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
154
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Empirical hardness models are a recent approach for studying NP-hard problems. They predict the runtime of an instance using efficiently computable features. Previous res...
186
click to vote
ICWL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
178
click to vote
MLDM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In the biometric field, different experts are combined to improve the system reliability, as in many application the performance attained by individual experts (i.e., d...
167
click to vote
CCGRID
2006
IEEE
16 years 1 months ago
2006
IEEE
A problem with running distributed shared memory applications in heterogeneous environments is that making optimal use of available resources often requires significant changes t...