Sciweavers

7123 search results - page 296 / 1425
» The Ordered Set of Rough Sets
Sort
View
165
Voted
ICMCS
2006
IEEE
92views Multimedia» more  ICMCS 2006»
16 years 22 days ago
A Rank based Metric of Anchor Models for Speaker Verification
In this paper, we present an improved method of anchor models for speaker verification. Anchor model is the method that represent a speaker by his relativity of a set of other sp...
Yingchun Yang, Min Yang, Zhaohui Wu
ECRTS
2005
IEEE
16 years 9 days ago
Speed Modulation in Energy-Aware Real-Time Systems
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
Enrico Bini, Giorgio C. Buttazzo, Giuseppe Lipari
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
16 years 6 days ago
Evolutionary computation methods for synchronization of effects based operations
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
Jeffrey P. Ridder
ICALP
2005
Springer
16 years 6 days ago
Combining Intruder Theories
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
Yannick Chevalier, Michaël Rusinowitch
ESA
2004
Springer
120views Algorithms» more  ESA 2004»
16 years 2 days ago
Solving Geometric Covering Problems by Data Reduction
We consider a scenario where stops are to be placed along an already existing public transportation network in order to improve its attractiveness for the customers. The core probl...
Steffen Mecke, Dorothea Wagner