281 search results - page 9 / 57 » Comparing operational models of name-passing process calculi |
106
Voted
3DIM
2007
IEEE
15 years 6 months ago
2007
IEEE
Laser scanner measurements are corrupted by noise and artifacts that can undermine the performance of registration, segmentation, surface reconstruction, recognition, and other al...
ER
2007
Springer
15 years 6 months ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
114
click to vote
EDBT
2010
ACM
15 years 4 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
129
click to vote
ER
2007
Springer
15 years 6 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
WSC
2004
15 years 1 months ago
2004
This paper illustrates the use of simulation for evaluating and analyzing air cargo operations at one of the new stateof-the art cargo facilities at Toronto Pearson Airport. The e...