450 search results - page 27 / 90 » Mathematical Formulas Extraction |
128
Voted
PPDP
2010
Springer
15 years 19 days ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
131
Voted
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
One of the critical deficiencies of SQL is lack of support for ndimensional array-based computations which are frequent in OLAP environments. Relational OLAP (ROLAP) applications ...
110
click to vote
FOCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
110
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— In this note, an algebraic approach for state estimation of linear time-varying (LTV) systems is introduced. This approach is based on the following mathematical tools: Laplace...
107
click to vote
ISCIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...