Sciweavers

5066 search results - page 392 / 1014
» Spectra of structures and relations
Sort
View
CAISE
2007
Springer
16 years 27 days ago
Error Metrics for Business Process Models
Little research has been conducted so far on causes for errors in business process models. In this paper we investigate on how mainly domain independent factors such as the size or...
Jan Mendling, Gustaf Neumann
CPAIOR
2007
Springer
16 years 27 days ago
Necessary Condition for Path Partitioning Constraints
Given a directed graph G, the K node-disjoint paths problem consists in finding a partition of G into K node-disjoint paths, such that each path ends up in a given subset of nodes...
Nicolas Beldiceanu, Xavier Lorca
LSSC
2007
Springer
16 years 25 days ago
An Ant-Based Model for Multiple Sequence Alignment
Abstract. Multiple sequence alignment is a key process in today’s biology, and finding a relevant alignment of several sequences is much more challenging than just optimizing so...
Frédéric Guinand, Yoann Pigné
SAMT
2007
Springer
108views Multimedia» more  SAMT 2007»
16 years 25 days ago
Document Layout Substructure Discovery
Abstract. In this paper we present a system, DoLSuD, for the automatic discovery of relevant substructures in a document layout. DoLSuD, Document Layout Substructure Discovery, ext...
Claudio Andreatta
SAT
2007
Springer
81views Hardware» more  SAT 2007»
16 years 25 days ago
Short XORs for Model Counting: From Theory to Practice
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...