3457 search results - page 375 / 692 » A Symbol Is Not a Symbol |
273
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
289
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
287
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each ...
167
Voted
DCC
2009
IEEE
16 years 7 months ago
2009
IEEE
We investigate the performance of a discrete-time all-analog-processing joint sourcechannel coding system for the transmission of i.i.d. Gaussian and Laplacian sources over AWGN c...
170
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
In this paper we describe a novel text entry method which uses coordinated motor action of hand and mouth. A vision based algorithm is used to gauge shape parameters of the cavity...