2797 search results - page 333 / 560 » Code query by example |
110
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
This paper proposes a framework in which end-users can instantaneously modify existing Web applications by introducing multimodal user-interface. The authors use the IntelligentPa...
145
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
122
click to vote
DCC
2006
IEEE
16 years 3 months ago
2006
IEEE
Using Hadamard matrices and mutually orthogonal Latin squares, we construct two new quasi-symmetric designs, with parameters 2 (66, 30, 29) and 2 - (78, 36, 30). These are the fir...
140
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
128
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper revisits the problem of source-channel coding for error-resilient video streaming, using redundant encoding. We propose a new method to jointly optimize the macroblock ...