1938 search results - page 85 / 388 » On Positive Relational Calculi |
ECIS
2004
13 years 10 months ago
2004
Recent advances in technical capabilities have facilitated an increase in the reach and range of the connectivity of Information and Communications Technologies (ICTs). It is prop...
AIPS
2003
13 years 10 months ago
2003
We describe the problem of scheduling observations for an airborne astronomical observatory. The problem incorporates complex constraints relating the feasibility of an astronomic...
ACL
2000
13 years 10 months ago
2000
I describe two methods for incorporating information about the relative positions of bilingual word pairs into a Maximum Entropy/Minimum Divergence translation model. The better o...
ECCC
2008
13 years 9 months ago
2008
We obtain the first nontrivial time-space lower bound for quantum algorithms solving problems related to satisfiability. Our bound applies to MajSAT and MajMajSAT, which are compl...
AML
2006
13 years 9 months ago
2006
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...