Sciweavers

11211 search results - page 1664 / 2243
» Rank-Sensitive Data Structures
Sort
View
CSI
2007
91views more  CSI 2007»
15 years 7 months ago
Implementing regular cash with blind fixed-value electronic coins
We propose a generic framework for the development of an off-line peer-to-peer electronic payment system with fixed-value electronic coins. The proposed scheme simulates the issua...
Dimitrios Lekkas, Diomidis Spinellis
JSAT
2008
57views more  JSAT 2008»
15 years 7 months ago
tts: A SAT-Solver for Small, Difficult Instances
The Ternary Tree Solver (tts) is a complete solver for propositional satisfiability which was designed to have good performance on the most difficult small instances. It uses a st...
Ivor Spence
DKE
2007
95views more  DKE 2007»
15 years 7 months ago
Strategies for improving the modeling and interpretability of Bayesian networks
One of the main factors for the knowledge discovery success is related to the comprehensibility of the patterns discovered by applying data mining techniques. Amongst which we can...
Ádamo L. de Santana, Carlos Renato Lisboa F...
JSW
2008
127views more  JSW 2008»
15 years 7 months ago
Design and Implementation of a Version Management System for Reference Modeling
The central idea in reference modeling is the reutilization of the business knowledge contained in a reference model. The user's task in reference model-based construction is ...
Oliver Thomas
JUCS
2008
130views more  JUCS 2008»
15 years 7 months ago
Using PDAs in Meetings: Patterns, Architecture and Components
: This paper addresses the role of Personal Digital Assistants (PDAs) in electronic meetings. Several real-world scenarios of PDA usage in meetings are defined using a pattern lang...
Gustavo Zurita, Pedro Antunes, Nelson Baloian, Lu&...
« Prev « First page 1664 / 2243 Last » Next »