147 search results - page 12 / 30 » The Computational Complexity of Quantified Reciprocals |
98
Voted
FOSSACS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
PERVASIVE
2007
Springer
15 years 3 months ago
2007
Springer
Ground reaction forces generated during normal walking have recently been used to identify and/or classify individuals based upon the pattern of the forces observed over time. One ...
75
Voted
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
IEEESCC
2007
IEEE
15 years 3 months ago
2007
IEEE
A common pattern in scientific computing involves the execution of many tasks that are coupled only in the sense that the output of one may be passed as input to one or more other...
ICCS
2003
Springer
15 years 2 months ago
2003
Springer
E-Marketplace is a man-made profit center with emergent customer requirements. This emergence nature poses many difficulties for e-marketplace to satisfy its customers and thus aff...