998 search results - page 105 / 200 » From Feasible Proofs to Feasible Computations |
DAGM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Well known estimation techniques in computational geometry usually deal only with single geometric entities as unknown parameters and do not account for constrained obser...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...
ASPLOS
1998
ACM
14 years 1 months ago
1998
ACM
Several application and technology trends indicate that it might be both pro table and feasible to move computation closer to the data that it processes. In this paper, we evaluat...
ICASSP
2011
IEEE
13 years 20 days ago
2011
IEEE
While higher order ambisonic approaches can be used to generate multiple zone soundfields, this paper adopts a Least Squares matching approach which provides a more flexible formu...
ECBS
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...