5799 search results - page 350 / 1160 » Position Paper |
134
click to vote
TYPES
2007
Springer
15 years 11 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
142
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
No search engine is perfect. A typical type of imperfection is the preference misalignment between search engines and end users, e.g., from time to time, web users skip higherrank...
164
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a novel motion localization approach for recognizing actions and events in real videos. Examples include StandUp and Kiss in Hollywood movies. The challenge ca...
186
click to vote
IDEAS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes WIDS, a wireless intrusion detection system, which applies data mining clustering technique to wireless network data captured through hardware sensors for purp...
188
click to vote
ECML
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents an empirical study of population diversity measure and adaptive control of diversity in the context of a permutation-based algorithm for Traveling Sal...