Sciweavers

10718 search results - page 708 / 2144
» On the Circuit Implementation Problem
Sort
View
ICML
2005
IEEE
16 years 8 months ago
New approaches to support vector ordinal regression
In this paper, we propose two new support vector approaches for ordinal regression, which optimize multiple thresholds to define parallel discriminant hyperplanes for the ordinal ...
Wei Chu, S. Sathiya Keerthi
CADE
2009
Springer
16 years 8 months ago
Computing Knowledge in Security Protocols under Convergent Equational Theories
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
Stéphanie Delaune, Stefan Ciobâca, St...
ISBRA
2010
Springer
16 years 2 months ago
Fast Computation of the Exact Hybridization Number of Two Phylogenetic Trees
Abstract. Hybridization is a reticulate evolutionary process. An established problem on hybridization is computing the minimum number of hybridization events, called the hybridizat...
Yufeng Wu, Jiayin Wang
SETN
2010
Springer
16 years 2 months ago
Task-Based Dependency Management for the Preservation of Digital Objects Using Rules
The preservation of digital objects is a topic of prominent importance for archives and digital libraries. This paper focuses on the problem of preserving the performability of tas...
Yannis Tzitzikas, Yannis Marketakis, Grigoris Anto...
HICSS
2009
IEEE
127views Biometrics» more  HICSS 2009»
16 years 2 months ago
An Optimization Model for Tactical Planning of Wood Procurement
This paper presents a new LP (Linear Programming) model to solve a tactical wood procurement and harvesting problem. This optimization problem occurs in several wood supply chains...
Anders Skjäl, Kaj-Mikael Björk, Jenny &O...