939 search results - page 45 / 188 » Semantic Abstraction and Quantum Computation |
SAC
2003
ACM
15 years 3 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
112
click to vote
ICFP
2012
ACM
13 years 3 days ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
RTA
2010
Springer
15 years 1 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Historically, information retrieval (IR) has followed two principally different paths that we call syntactic IR and semantic IR. In syntactic IR, terms are represented as...
CIBCB
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...