1517 search results - page 62 / 304 » New Approach To A Class Of Matrices |
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
105
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Different types of data skewness can result in load imbalance in the context of parallel joins under the shared nothing architecture. We study one important type of skewness, join ...
101
click to vote
JOC
2008
15 years 1 months ago
2008
This paper presents a novel framework for the generic construction of hybrid encryption schemes which produces more efficient schemes than the ones known before. A previous framew...
113
Voted
TACS
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
105
click to vote
FOIKS
2008
Springer
15 years 3 months ago
2008
Springer
This paper investigates an extension of classification trees to deal with uncertain information where uncertainty is encoded in possibility theory framework. Class labels in data s...