1743 search results - page 170 / 349 » Generalized Modal Satisfiability |
120
Voted
MST
2008
15 years 3 months ago
2008
Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the co...
121
Voted
KI
2006
Springer
15 years 3 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
137
click to vote
MP
2006
15 years 3 months ago
2006
There are many applications related to singly linearly constrained quadratic programs subjected to upper and lower bounds. In this paper, a new algorithm based on secant approximat...
115
Voted
SIAMSC
2008
15 years 3 months ago
2008
Abstract. We study high order numerical quadratures to one dimensional delta function integrals in this paper. This is motivated by the fact that traditional numerical quadratures ...
124
Voted
TCS
2008
15 years 3 months ago
2008
The hospitals/residents (HR) problem is a many-to-one generalization of the stable marriage (SM) problem. Researchers have been interested in variants of stable matchings that eit...