Sciweavers

2214 search results - page 165 / 443
» Complexity of Reasoning
Sort
View
109
Voted
CTRSA
2004
Springer
91views Cryptology» more  CTRSA 2004»
15 years 9 months ago
Periodic Properties of Counter Assisted Stream Ciphers
Abstract. This paper analyses periodic properties of counter assisted stream ciphers. In particular, we analyze constructions where the counter system also has the purpose of provi...
Ove Scavenius, Martin Boesgaard, Thomas Pedersen, ...
ESA
2001
Springer
145views Algorithms» more  ESA 2001»
15 years 8 months ago
Grouping Techniques for Scheduling Problems: Simpler and Faster
In this paper we describe a general grouping technique to devise faster and simpler approximation schemes for several scheduling problems. We illustrate the technique on two diff...
Aleksei V. Fishkin, Klaus Jansen, Monaldo Mastroli...
CHARME
1993
Springer
68views Hardware» more  CHARME 1993»
15 years 7 months ago
Temporal Analysis of Time Bounded Digital Systems
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
Alan R. Martello, Steven P. Levitan
134
Voted
ESWS
2007
Springer
15 years 7 months ago
Semantic Group Formation
Many approaches to learning and teaching rely upon students working in groups. Formation of optimal groups can be a time consuming and complex task, particularly when the list of ...
Asma Ounnas
109
Voted
GECCO
2006
Springer
184views Optimization» more  GECCO 2006»
15 years 7 months ago
Genetic algorithms and mixed integer linear programs for optimal strategies in a student's "sports" activity
This paper uses an entertaining student "sports" game to illustrate that GAs can be adapted to problems with uncertain properties and complexity. These problems can be s...
Thomas Butter, Franz Rothlauf, Jörn Grahl, To...