3775 search results - page 369 / 755 » The Expression Problem Revisited |
155
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents the search problem formulated as a decision problem, where the searcher decides whether the target is present in the search region, and if so, where...
166
click to vote
SAC
2004
ACM
16 years 8 days ago
2004
ACM
This paper addresses the problem of “missing requirements” in software requirements specification (SRS) expressed in natural language. Due to rapid changes in technology and b...
214
Voted
CSCLP
2004
Springer
16 years 7 days ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
166
click to vote
ISSAC
2004
Springer
16 years 6 days ago
2004
Springer
We present a streamlined and refined version of Karr’s summation algorithm. Karr’s original approach constructively decides the telescoping problem in ΠΣ-fields, a very ge...
165
click to vote
LPNMR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...