Sciweavers

2045 search results - page 327 / 409
» Learning programming with Erlang
Sort
View
ICALP
2005
Springer
14 years 3 months ago
Hierarchical Group Signatures
We introduce the notion of hierarchical group signatures. This is a proper generalization of group signatures, which allows multiple group managers organized in a tree with the si...
Mårten Trolin, Douglas Wikström
IDA
2005
Springer
14 years 3 months ago
Combining Bayesian Networks with Higher-Order Data Representations
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
Elias Gyftodimos, Peter A. Flach
SAT
2005
Springer
138views Hardware» more  SAT 2005»
14 years 3 months ago
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...
Vasco M. Manquinho, João P. Marques Silva
SEKE
2005
Springer
14 years 3 months ago
From Data to Knowledge: an Integrated Rule-Based Data Mining System
This paper presents an integrated rule-based data mining system that is capable of creating rulebased classifiers with web-based user interface from data sets provided by end user...
Chien-Chung Chan, Zhicheng Su
UM
2005
Springer
14 years 3 months ago
User Control over User Adaptation: A Case Study
The A theory of user expectation of system interaction is introduced in the context of User Adapted Interfaces. The usability of an intelligent email client that learns to filter s...
Xiaoyan Peng, Daniel L. Silver