Sciweavers

11455 search results - page 2138 / 2291
» The Rayset and Its Applications
Sort
View
TCS
2008
15 years 6 months ago
Density elimination
Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) cal...
Agata Ciabattoni, George Metcalfe
IPM
2007
113views more  IPM 2007»
15 years 6 months ago
Two uses of anaphora resolution in summarization
We propose a new method for using anaphoric information in Latent Semantic Analysis (lsa), and discuss its application to develop an lsa-based summarizer which achieves a signifi...
Josef Steinberger, Massimo Poesio, Mijail Alexandr...
IPM
2007
156views more  IPM 2007»
15 years 6 months ago
Integration of an XML electronic dictionary with linguistic tools for natural language processing
This study proposes the codification of lexical information in electronic dictionaries, in accordance with a generic and extendable XML scheme model, and its conjunction with lin...
Octavio Santana Suárez, Francisco J. Carrer...
TCSV
2008
166views more  TCSV 2008»
15 years 6 months ago
A Framework for Evaluating Stereo-Based Pedestrian Detection Techniques
Automated pedestrian detection, counting, and tracking have received significant attention in the computer vision community of late. As such, a variety of techniques have been inve...
Philip Kelly, Noel E. O'Connor, Alan F. Smeaton
TCSV
2008
128views more  TCSV 2008»
15 years 6 months ago
Compression-Aware Energy Optimization for Video Decoding Systems With Passive Power
The objective of dynamic voltage scaling (DVS) is to adapt the frequency and voltage for configurable platforms to obtain energy savings. DVS is especially attractive for video dec...
Emrah Akyol, Mihaela van der Schaar
« Prev « First page 2138 / 2291 Last » Next »