13734 search results - page 253 / 2747 » Abstractions of data types |
175
click to vote
TEC
2002
15 years 6 months ago
2002
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
280
click to vote
ESWS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
346
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
237
click to vote
ACII
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In this study we propose a methodology to investigate possible prosody and voice quality correlates of social signals, and test-run it on annotated naturalistic recording...
193
click to vote
AINA
2005
IEEE
16 years 25 days ago
2005
IEEE
XML data can be stored in different types of databases including Object-Relational Databases (ORDB). Using ORDB, we get the benefit of relational maturity and the richness of obje...