Sciweavers

2995 search results - page 277 / 599
» On multi-avoidance of generalized patterns
Sort
View
111
Voted
AGP
1993
IEEE
15 years 4 months ago
Static Analysis of Prolog with Cut
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
Gilberto Filé, Sabina Rossi
98
Voted
ASSETS
2007
ACM
15 years 4 months ago
Accessible spaces: navigating through a marked environment with a camera phone
We demonstrate a system designed to assist a visually impaired individual while moving in an unfamiliar environment. Small and economical color markers are placed in key locations...
Kee-Yip Chan, Roberto Manduchi, James Coughlan
CHI
2010
ACM
15 years 4 months ago
Designing games for learning: insights from conversations with designers
This paper presents insights about design practices that can lead to effective and fun games for learning, gleaned from interviews with experienced game developers. We based our a...
Katherine Isbister, Mary Flanagan, Chelsea Hash
GECCO
2007
Springer
184views Optimization» more  GECCO 2007»
15 years 4 months ago
Evolving kernels for support vector machine classification
While support vector machines (SVMs) have shown great promise in supervised classification problems, researchers have had to rely on expert domain knowledge when choosing the SVM&...
Keith Sullivan, Sean Luke
FPL
2009
Springer
100views Hardware» more  FPL 2009»
15 years 4 months ago
A virus scanning engine using a parallel finite-input memory machine and MPUs
This paper presents a virus scanning engine. After showing the difference between ClamAV (an anti-virus software) and SNORT (an intrusion detection software), we show a new archit...
Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura,...