Sciweavers

10997 search results - page 77 / 2200
» On the Structure of Complete Sets
Sort
View
FUIN
2008
80views more  FUIN 2008»
15 years 6 months ago
Complete Process Semantics of Petri Nets
In the first part of this paper we extend the semantical framework proposed in [22] for process and causality semantics of Petri nets by an additional aim, firstly mentioned in the...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
TOIS
2008
105views more  TOIS 2008»
15 years 5 months ago
Sound and complete relevance assessment for XML retrieval
In information retrieval research, comparing retrieval approaches requires test collections consisting of documents, user requests and relevance assessments. Obtaining relevance a...
Benjamin Piwowarski, Andrew Trotman, Mounia Lalmas
EVOW
2010
Springer
16 years 21 days ago
Enhancing Genetic Algorithms by a Trie-Based Complete Solution Archive
Genetic algorithms (GAs) share a common weakness with most other metaheuristics: Candidate solutions are in general revisited multiple times, lowering diversity and wasting preciou...
Günther R. Raidl, Bin Hu
IJFCS
2006
111views more  IJFCS 2006»
15 years 5 months ago
Completeness and realizability: conditions for automatic generation of workflows
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
DSN
2009
IEEE
16 years 19 days ago
Remote attestation to dynamic system properties: Towards providing complete system integrity evidence
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
Chongkyung Kil, Emre Can Sezer, Ahmed M. Azab, Pen...