4743 search results - page 154 / 949 » The PlusCal Algorithm Language |
100
Voted
AIMSA
2000
Springer
15 years 7 months ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
141
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Shrinkage-based exponential language models, such as the recently introduced Model M, have provided significant gains over a range of tasks [1]. Training such models requires a l...
137
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
We study the combinatorial auction (CA) problem, in which m objects are sold to rational agents and the goal is to maximize social welfare. Of particular interest is the special ca...
103
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
130
Voted
UAI
2001
15 years 4 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...