Sciweavers

5639 search results - page 299 / 1128
» Timed Abstract Non-interference
Sort
View
116
Voted
ICCSA
2004
Springer
15 years 9 months ago
A Reduced Codification for the Logical Representation of Job Shop Scheduling Problems
Abstract. This paper presents the Job Shop Scheduling Problem (JSSP) represented as the well known Satisfiabilty Problem (SAT). Even though the representation of JSSP in SAT is not...
Juan Frausto Solís, Marco Antonio Cruz-Chav...
115
Voted
PKDD
2004
Springer
113views Data Mining» more  PKDD 2004»
15 years 9 months ago
Discovery of Regulatory Connections in Microarray Data
Abstract. In this paper, we introduce a new approach for mining regulatory interactions between genes in microarray time series studies. A number of preprocessing steps transform t...
Michael Egmont-Petersen, Wim de Jonge, Arno Siebes
125
Voted
PRICAI
2004
Springer
15 years 9 months ago
An Anytime Algorithm for Interpreting Arguments
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
Sarah George, Ingrid Zukerman, Michael Niemann
BIRTHDAY
2003
Springer
15 years 9 months ago
Sweepline the Music!
Abstract. The problem of matching sets of points or sets of horizontal line segments in plane under translations is considered. For finding the exact occurrences of a point set of...
Esko Ukkonen, Kjell Lemström, Veli Mäkin...
103
Voted
GECCO
2003
Springer
106views Optimization» more  GECCO 2003»
15 years 9 months ago
Exploring the Explorative Advantage of the Cooperative Coevolutionary (1+1) EA
Abstract. Using a well-known cooperative coevolutionary function optimization framework, a very simple cooperative coevolutionary (1+1) EA is defined. This algorithm is investigat...
Thomas Jansen, R. Paul Wiegand