450 search results - page 31 / 90 » Satisfiability with Exponential Families |
157
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
156
click to vote
PATAT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract The Examination Timetabling problem regards the scheduling for the exams of a set of university courses, avoiding the overlapping of exams having students in common, fairl...
128
click to vote
JANCL
2002
15 years 4 months ago
2002
In [8, 6] we introduced a family of `modal' languages intended for talking about distances. These languages are interpreted in `distance spaces' which satisfy some (or a...
132
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper is on the Consensus problem, in the context of asynchronous distributed systems made of n processes, at most f of them may crash. A family of failure detector classes s...
116
click to vote
ICDT
2010
ACM
15 years 8 months ago
2010
ACM
Given a database instance and a corresponding view instance, we address the view definitions problem (VDP): Find the most succinct and accurate view definition, when the view quer...