Sciweavers

2740 search results - page 215 / 548
» Typing the Specialization Interface
Sort
View
PEPM
2009
ACM
16 years 1 months ago
Program interpolation
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
Andrew Moss, Dan Page
DATE
2009
IEEE
123views Hardware» more  DATE 2009»
15 years 11 months ago
On decomposing Boolean functions via extended cofactoring
—We investigate restructuring techniques based on decomposition/factorization, with the objective to move critical signals toward the output while minimizing area. A specific ap...
Anna Bernasconi, Valentina Ciriani, Gabriella Truc...
QEST
2009
IEEE
15 years 10 months ago
Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes
—In this paper we consider Quasi-Birth-and-Death (QBD) processes where the upward (resp. downward) transitions are restricted to occur only from (resp. to) a subset of the phase ...
Juan F. Pérez, Benny Van Houdt
WASA
2009
Springer
80views Algorithms» more  WASA 2009»
15 years 10 months ago
Dynamic Scheduling of Pigeons for Delay Constrained Applications
Information collection in the disaster area is an important application of pigeon networks - a special type of delay tolerant networks (DTN). The aim of this paper is to explore hi...
Jiazhen Zhou, Jiang Li, Legand L. Burge III
135
Voted
CIKM
2009
Springer
15 years 10 months ago
The effect of negation on sentiment analysis and retrieval effectiveness
We investigate the problem of determining the polarity of sentiments when one or more occurrences of a negation term such as “not” appear in a sentence. The concept of the sco...
Lifeng Jia, Clement T. Yu, Weiyi Meng