3710 search results - page 366 / 742 » A new calculus of contexts |
147
click to vote
ASAP
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper introduces a powerful novel sequencer for controlling computational machines and for structured DMA (direct memory access) applications. It is mainly focused on applica...
143
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
The value for decision making of high-quality postsolution analysis of decision-supporting models can hardly be overestimated. Candle-lighting analysis (CLA) takes this notion ver...
149
click to vote
LOPSTR
1998
Springer
15 years 11 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
150
click to vote
COMPGEOM
1997
ACM
15 years 11 months ago
1997
ACM
Within industrial contexts, a common view of the level of confidence needed in CAD data transfer processes may be expressed as “1 don’t mind if the [CAD data- tmnsfer] algorit...
218
Voted
EPS
1997
Springer
15 years 11 months ago
1997
Springer
This paper describes a GA for job shop scheduling problems. Using the Giffler and Thompson algorithm, we created two new operators, THX crossover and mutation, which better trans...