Sciweavers

15351 search results - page 148 / 3071
» The information bottleneck method
Sort
View
83
Voted
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 4 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
108
Voted
CHI
2006
ACM
16 years 1 months ago
The validity of the stimulated retrospective think-aloud method as measured by eye tracking
Retrospective Think aloud (RTA) is a usability method that collects the verbalization of a user's performance after the performance is over. There has been little work done t...
Zhiwei Guan, Shirley Lee, Elisabeth Cuddihy, Judit...
ICEIS
1999
IEEE
15 years 5 months ago
A New Method to Block Access to Illegal and Harmful Content on the Internet
: Filtering software is the most commonly used to protect children and young people from illegal and harmful contents on the Internet. Most of this software blocks access to Intern...
Byung-Jeon Yoo, Hyun-Gyoo Yook, Myong-Soon Park
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
15 years 4 months ago
A method for parameter calibration and relevance estimation in evolutionary algorithms
We present and evaluate a method for estimating the relevance and calibrating the values of parameters of an evolutionary algorithm. The method provides an information theoretic m...
Volker Nannen, A. E. Eiben
223
Voted

Publication
344views
13 years 6 months ago
A Method for Pedestrian Position Estimation using Inter-Vehicle Communication
In this paper, we propose a method for detecting the positions of pedestrians by cooperation of multiple cars with directional antennas to support drivers for pedestrian safety. In...
Sawa, Y., Kitani, T., Shibata, N., Yasumoto, K., I...