Sciweavers

6368 search results - page 260 / 1274
» Modeling Problem Transformations based on Data Complexity
Sort
View
203
Voted
JELIA
2004
Springer
16 years 14 days ago
tascpl: TAS Solver for Classical Propositional Logic
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
Manuel Ojeda-Aciego, Agustín Valverde
APWEB
2007
Springer
16 years 1 months ago
SOA-Based Collaborative Modeling Method for Cross-Organizational Business Process Integration
Abstract. Business process modeling is a key technology for crossorganizational business process integration. However, current modeling methods always fall short in describing comp...
Hongjun Sun, Shuangxi Huang, Yushun Fan
ESCIENCE
2006
IEEE
15 years 10 months ago
Economy-Based Data Replication Broker
Data replication is one of the key components in data grid architecture as it enhances data access and reliability and minimises the cost of data transmission. In this paper, we a...
Henry Lin, Jemal H. Abawajy, Rajkumar Buyya
GECCO
2006
Springer
162views Optimization» more  GECCO 2006»
15 years 10 months ago
Evolutionary learning with kernels: a generic solution for large margin problems
In this paper we embed evolutionary computation into statistical learning theory. First, we outline the connection between large margin optimization and statistical learning and s...
Ingo Mierswa
AIEDU
2005
106views more  AIEDU 2005»
15 years 7 months ago
A Comparison of Model-Tracing and Constraint-Based Intelligent Tutoring Paradigms
Two approaches to building intelligent tutoring systems are the well-established model-tracing paradigm and the relatively newer constraint-based paradigm. Proponents of the constr...
Viswanathan Kodaganallur, Rob R. Weitz, David Rose...