Sciweavers

825 search results - page 47 / 165
» Internal Iteration Externalized
Sort
View
ACTA
2000
302views more  ACTA 2000»
13 years 7 months ago
Efficiently building a parse tree from a regular expression
We show in this paper that parsing with regular expressions instead of context-free grammars, when it is possible, is desirable. We present efficient algorithms for performing diff...
Danny Dubé, Marc Feeley
IFM
2009
Springer
183views Formal Methods» more  IFM 2009»
13 years 5 months ago
Challenges in the Specification of Full Contracts
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
Gordon J. Pace, Gerardo Schneider
IPMI
2007
Springer
14 years 8 months ago
A Shape-Guided Deformable Model with Evolutionary Algorithm Initialization for 3D Soft Tissue Segmentation
Abstract. We present a novel method for the segmentation of volumetric images, which is especially suitable for highly variable soft tissue structures. Core of the algorithm is a s...
Hans-Peter Meinzer, Ivo Wolf, Sascha Münzing,...
ICPR
2006
IEEE
14 years 2 months ago
Gender Recognition in Non Controlled Environments
In most of the automatic face classification applications, images should be captured in natural environments, where partial occlusions or high local changes in the illumination a...
Àgata Lapedriza, Manuel J. Marín-Jim...
OTM
2005
Springer
14 years 1 months ago
A Framework Supporting Dynamic Workflow Interoperation
In this paper, we propose a framework supporting dynamic interoperation between heterogeneous workflow systems and workflow-based dynamic Enterprise Application Integration (EAI)....
Jaeyong Shim, Myungjae Kwak, Dongsoo Han