Sciweavers

1174 search results - page 145 / 235
» Derivation of Characteristic Formulae
Sort
View
ATAL
2000
Springer
15 years 9 months ago
Generalised Object-Oriented Concepts for Inter-agent Communication
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
160
Voted
ICRA
1998
IEEE
95views Robotics» more  ICRA 1998»
15 years 9 months ago
Stabilization of Systems with Changing Dynamics by Means of Switching
We present a framework for designing stable control schemes for systems whose dynamics change. The idea is to develop a controller for each of the regions defined by different dyn...
Milos Zefran, Joel W. Burdick
SEKE
1993
Springer
15 years 8 months ago
A Neural Net-Based Approach to Software Metrics
Software metrics provide effective methods for characterizing software. Metrics have traditionally been composed through the definition of an equation, but this approach is limite...
Gary D. Boetticher, K. Srinivas, David Eichmann
PPSN
1994
Springer
15 years 8 months ago
Convergence Models of Genetic Algorithm Selection Schemes
We discuss the use of normal distribution theory as a tool to model the convergence characteristics of di erent GA selection schemes. The models predict the proportion of optimal a...
Dirk Thierens, David E. Goldberg
FSE
2006
Springer
111views Cryptology» more  FSE 2006»
15 years 8 months ago
Analysis of Step-Reduced SHA-256
This is the first article analyzing the security of SHA-256 against fast collision search which considers the recent attacks by Wang et al. We show the limits of applying technique...
Florian Mendel, Norbert Pramstaller, Christian Rec...