Sciweavers

1224 search results - page 121 / 245
» Theory decision by decomposition
Sort
View
ILP
2004
Springer
15 years 6 months ago
First Order Random Forests with Complex Aggregates
Random forest induction is a bagging method that randomly samples the feature set at each node in a decision tree. In propositional learning, the method has been shown to work well...
Celine Vens, Anneleen Van Assche, Hendrik Blockeel...
98
Voted
HICSS
2003
IEEE
165views Biometrics» more  HICSS 2003»
15 years 6 months ago
The Birth of An E-Business System Architecture: Conflicts, Compromises, and Gaps in Methods
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
Kari Smolander
102
Voted
CADE
2006
Springer
15 years 4 months ago
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
Joe Hendrix, José Meseguer, Hitoshi Ohsaki
124
Voted
WOA
2003
15 years 2 months ago
Policy Management for Virtual Communities of Agents
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
Guido Boella, Leendert W. N. van der Torre
GRC
2008
IEEE
15 years 1 months ago
Fuzzy Preference Relation Rough Sets
Preference analysis is a class of important tasks in multi-criteria decision making. The classical rough set theory was generalized to deal with preference analysis by replacing e...
Qinghua Hu, Daren Yu, Congxin Wu