1855 search results - page 230 / 371 » System Consequence |
123
click to vote
CSCW
2002
ACM
15 years 4 months ago
2002
ACM
Balancing the needs of information distributors and their audiences has grown harder in the age of the Internet. While the demand for attention continues to increase rapidly with ...
188
Voted
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...
156
click to vote
WEBDB
2009
Springer
15 years 11 months ago
2009
Springer
Online reviews are an important asset for users deciding to buy a product, see a movie, or go to a restaurant, as well as for businesses tracking user feedback. However, most revi...
164
Voted
WFLP
2000
Springer
15 years 8 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
162
click to vote
IFL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...