Sciweavers

6719 search results - page 308 / 1344
» A Generalization of Automatic Sequences
Sort
View
125
Voted
HIPEAC
2010
Springer
15 years 2 months ago
Virtual Ways: Efficient Coherence for Architecturally Visible Storage in Automatic Instruction Set Extensions
Abstract. Customizable processors augmented with application-specific Instruction Set Extensions (ISEs) have begun to gain traction in recent years. The most effective ISEs include...
Theo Kluter, Samuel Burri, Philip Brisk, Edoardo C...
DOCENG
2008
ACM
15 years 2 months ago
Towards Brazilian Portuguese automatic text simplification systems
In this paper we investigate the main linguistic phenomena that can make texts complex and how they could be simplified. We focus on a corpus analysis of simple account texts avai...
Sandra M. Aluísio, Lucia Specia, Thiago Ale...
93
Voted
LREC
2008
176views Education» more  LREC 2008»
15 years 2 months ago
Towards Spanish Verbs' Selectional Preferences Automatic Acquisition: Semantic Annotation of the SenSem Corpus
We present the results of an agreement task carried out in the framework of the KNOW Project and consisting in manually annotating an agreement sample totaling 50 sentences extrac...
Jordi Carrera, Irene Castellón, Salvador Cl...
FORTE
1997
15 years 2 months ago
Automatic Checking of Aggregation Abstractions Through State Enumeration
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
Seungjoon Park, Satyaki Das, David L. Dill
89
Voted
CORR
2010
Springer
100views Education» more  CORR 2010»
15 years 26 days ago
The Projected GSURE for Automatic Parameter Tuning in Iterative Shrinkage Methods
Linear inverse problems are very common in signal and image processing. Many algorithms that aim at solving such problems include unknown parameters that need tuning. In this work...
Raja Giryes, Michael Elad, Yonina C. Eldar