Sciweavers

1317 search results - page 211 / 264
» A new delay system approach to network-based control
Sort
View
KBSE
2008
IEEE
14 years 3 months ago
Discovering Patterns of Change Types
The reasons why software is changed are manyfold; new features are added, bugs have to be fixed, or the consistency of coding rules has to be re-established. Since there are many...
Beat Fluri, Emanuel Giger, Harald Gall
FROCOS
2007
Springer
14 years 3 months ago
Combining Algorithms for Deciding Knowledge in Security Protocols
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Mathilde Arnaud, Véronique Cortier, St&eacu...
GECCO
2007
Springer
167views Optimization» more  GECCO 2007»
14 years 3 months ago
Eye-tracking evolutionary algorithm to minimize user fatigue in IEC applied to interactive one-max problem
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
Denis Pallez, Philippe Collard, Thierry Baccino, L...
CP
2004
Springer
14 years 2 months ago
Backtrack-Free Search for Real-Time Constraint Satisfaction
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
J. Christopher Beck, Tom Carchrae, Eugene C. Freud...
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
14 years 2 months ago
The Impacts of Delphi Communication Structure on Small and Medium Sized Asynchronous Groups: Preliminary Results
Communication structure is a way of improving the effectiveness of group communications by coordinating group members’ individual efforts. This study investigates the use of Del...
Hee-Kyung Cho, Murray Turoff, Starr Roxanne Hiltz