Sciweavers

1209 search results - page 155 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
97
Voted
CP
2005
Springer
15 years 9 months ago
SPREAD: A Balancing Constraint Based on Statistics
Many combinatorial problems require of their solutions that they achieve a certain balance of given features. In the constraint programming literature, little has been written to s...
Gilles Pesant, Jean-Charles Régin
110
Voted
PPL
2008
77views more  PPL 2008»
15 years 3 months ago
Integrating Remote Invocations with Asynchronism and Cooperative Multitasking
In this paper we argue that it is possible to couple the advantages of programming with the well-known abstraction of RPC with asynchronous programming models adequate for wide-ar...
Noemi de La Rocque Rodriguez, Silvana Rossetto
POPL
2009
ACM
16 years 4 months ago
A cost semantics for self-adjusting computation
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
Ruy Ley-Wild, Umut A. Acar, Matthew Fluet
140
Voted
SAC
2003
ACM
15 years 8 months ago
TinyGALS: A Programming Model for Event-Driven Embedded Systems
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
Elaine Cheong, Judith Liebman, Jie Liu, Feng Zhao
145
Voted
POPL
2010
ACM
16 years 27 days ago
A Relational Modal Logic for Higher-Order Stateful ADTs
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...