Sciweavers

4738 search results - page 279 / 948
» Past, Present, and Future
Sort
View
FM
2009
Springer
164views Formal Methods» more  FM 2009»
16 years 1 months ago
The Denotational Semantics of slotted-Circus
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
Pawel Gancarski, Andrew Butterfield
INCDM
2009
Springer
160views Data Mining» more  INCDM 2009»
16 years 1 months ago
Integrating Data Mining and Agent Based Modeling and Simulation
In this paper, we introduce an integration study which combines Data Mining (DM) and Agent Based Modeling and Simulation (ABMS). This study, as a new paradigm for DM/ABMS, is conce...
Omar Baqueiro, Yanbo J. Wang, Peter McBurney, Fran...
MDAI
2009
Springer
16 years 1 months ago
Using Conditional Random Fields for Decision-Theoretic Planning
We propose a means of extending Conditional Random Field modeling to decision-theoretic planning where valuation is dependent upon fullyobservable factors. Representation is discu...
Paul A. Ardis, Christopher M. Brown
EDOC
2008
IEEE
16 years 1 months ago
Service-Oriented Enterprise Architectures: Evolution of Concepts and Methods
This paper depicts the evolution of enterprise architectures to their today often used service-oriented form and presents a state-of-the-art development process for this kind of a...
Gregor Engels, Martin Assmann
CIDM
2007
IEEE
16 years 1 months ago
K2GA: Heuristically Guided Evolution of Bayesian Network Structures from Data
— We present K2GA, an algorithm for learning Bayesian network structures from data. K2GA uses a genetic algorithm to perform stochastic search, while employing a modified versio...
Eli Faulkner