6608 search results - page 1187 / 1322 » On the Completeness of Model Checking |
174
click to vote
COOTS
2001
15 years 5 months ago
2001
Many authors have proposed using byte code rewriting as a way of adapting or extending the behaviour of Java There are toolkits available that simplify this process and raise the ...
147
click to vote
DICTA
2003
15 years 5 months ago
2003
This paper presents a novel approach for estimating the flow fields of dynamic temporal textures whose motion differs radically from that of rigid bodies. Our approach is based o...
113
click to vote
ICIS
2001
15 years 5 months ago
2001
Price dispersion, the variance in price for identical products across retailers, is a persistent feature of Internetbased markets, even those mediated by shopping agents (shopbots...
161
click to vote
ECIR
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. To measure the similarity of words, sentences, and documents is one of the major issues in multi-lingual multi-document summarization. This paper presents five strategies...
127
Voted
ECIS
2003
15 years 5 months ago
2003
This paper reports on research-in-progress designed to understand adoption and diffusion of e-learning (EL) among small and medium-sized enterprises (SMEs) in northern Italy. The ...