403 search results - page 38 / 81 » Flexible Data Searchs using Condition Formulas |
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available servic...
NAR
2011
14 years 22 days ago
2011
Mitochondria constitute complex and flexible cellular entities, which play crucial roles in normal and pathological cell conditions. The database MitoGenesisDB focuses on the dyna...
SDM
2010
SIAM
14 years 11 months ago
2010
SIAM
We apply statistical relational learning to a database of criminal and terrorist activity to predict attributes and event outcomes. The database stems from a collection of news ar...
FIMI
2004
14 years 11 months ago
2004
Frequency mining problem comprises the core of several data mining algorithms. Among frequent pattern discovery algorithms, FP-GROWTH employs a unique search strategy using compac...
JUCS
2006
14 years 9 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...