Sciweavers

7840 search results - page 1558 / 1568
» On generalized Ramsey numbers
Sort
View
EUROSYS
2011
ACM
12 years 11 months ago
Striking a new balance between program instrumentation and debugging time
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
Olivier Crameri, Ricardo Bianchini, Willy Zwaenepo...
FLAIRS
2011
12 years 11 months ago
Affective Text: Generation Strategies and Emotion Measurement Issues
In affective natural language generation (NLG) a major aim is to be able to influence the emotional effects evoked in the addressee through the intelligent use of language. While...
Ielka van der Sluis, Chris Mellish, Gavin Doherty
FOCM
2011
188views more  FOCM 2011»
12 years 11 months ago
Compressive Wave Computation
This paper considers large-scale simulations of wave propagation phenomena. We argue that it is possible to accurately compute a wavefield by decomposing it onto a largely incomp...
Laurent Demanet, Gabriel Peyré
FOSSACS
2011
Springer
12 years 11 months ago
Minimizing Deterministic Lattice Automata
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
Shulamit Halamish, Orna Kupferman
ICSE
2011
IEEE-ACM
12 years 11 months ago
JavAdaptor: unrestricted dynamic software updates for Java
Dynamic software updates (DSU) are one of the top-most features requested by developers and users. As a result, DSU is already standard in many dynamic programming languages. But,...
Mario Pukall, Alexander Grebhahn, Reimar Schrö...
« Prev « First page 1558 / 1568 Last » Next »