1705 search results - page 253 / 341 » Representing Constraints with Automata |
102
Voted
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
New Internet services and technologies call for higher packet switching capacities in the core network. Thus, a performance bottleneck arises at the backbone routers, as forwarding...
120
Voted
ISAAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Given two comparative maps, that is two sequences of markers each representing a genome, the Maximal Strip Recovery problem (MSR) asks to extract a largest sequence of ma...
117
Voted
IWANN
2009
Springer
15 years 7 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
130
Voted
SCIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Level set methods are a popular way to solve the image segmentation problem in computer image analysis. A contour is implicitly represented by the zero level of a signed ...
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...