7118 search results - page 323 / 1424 » Electrical and Computer Engineering |
165
click to vote
FOSSACS
2004
Springer
16 years 2 days ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
175
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
Recently, Jain, Mahdian and Saberi [5] had given a FPTAS for the problem of computing a market equilibrium in the Arrow-Debreu setting, when the utilities are linear functions. The...
142
Voted
UIST
2009
ACM
15 years 11 months ago
2009
ACM
A pressure sensitive computer keyboard is presented that independently senses the force level on every depressed key. The design leverages existing membrane technologies and is su...
218
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
162
click to vote
EMNLP
2007
15 years 8 months ago
2007
This paper presents an empirical study on how different selections of input translation systems affect translation quality in system combination. We give empirical evidence that t...