4328 search results - page 552 / 866 » A New Kind of Science |
134
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
It is becoming more and more evident that the major hindrance to the proliferation and adoption of the MDA vision in the large is the current lack of tool support. Parallax, based...
157
click to vote
ITCC
2005
IEEE
16 years 9 days ago
2005
IEEE
New developments in the field of theoretical chemistry require the computation of numerous Molecular Potential Energy Surfaces (PESs) to generate adequate quantum force field pa...
188
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
196
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
176
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...