6274 search results - page 702 / 1255 » Proofs, Programs, Processes |
194
click to vote
NIPS
2008
15 years 8 months ago
2008
We introduce a new probability distribution over a potentially infinite number of binary Markov chains which we call the Markov Indian buffet process. This process extends the IBP...
170
Voted
ISIM
2007
15 years 8 months ago
2007
The paper discusses a choice of appropriate software architecture with regards to the specifications of embedded applications as information systems particularly used in area of ra...
167
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
The lexicons for Knowledge-Based Machine Translation systems require knowledge intensive morphological, syntactic and semantic information. This information is often used in diffe...
176
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We study the problem of preemptive scheduling n jobs with given release times on m identical parallel machines. The objective is to minimize the average flow time. We show that wh...
331
Voted
ENTCS
2006
15 years 7 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...