Sciweavers

1893 search results - page 222 / 379
» Computational composites
Sort
View
SIBGRAPI
2007
IEEE
14 years 5 months ago
White blood cell segmentation using morphological operators and scale-space analysis
Cell segmentation is a challenging problem due to both the complex nature of the cells and the uncertainty present in video microscopy. Manual methods for this purpose are onerous...
Leyza Baldo Dorini, Rodrigo Minetto, Neucimar Jer&...
CSL
2007
Springer
14 years 4 months ago
The Theory of Calculi with Explicit Substitutions Revisited
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
Delia Kesner
ICCS
2007
Springer
14 years 4 months ago
Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
Matt J. Fairman, Andrew R. Price, Gang Xue, Marc M...
TLCA
2007
Springer
14 years 4 months ago
Two Session Typing Systems for Higher-Order Mobile Processes
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
Dimitris Mostrous, Nobuko Yoshida
SCW
2006
IEEE
14 years 4 months ago
Implementation of a Complex Event Engine for the Web
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
José Júlio Alferes, Gaston E. Tagni