2509 search results - page 132 / 502 » Abstract Geometrical Computation and Computable Analysis |
124
Voted
UIC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Context-aware systems incorporate multimodal information to analyze contextual information in users’ environment and provide various proactive services according to dyn...
110
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
90
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
103
Voted
CHI
2006
ACM
16 years 1 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
166
click to vote
BICOB
2010
Springer
15 years 5 months ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...