Sciweavers

314 search results - page 51 / 63
» An Integrated Syntactic And Semantic System For Natural Lang...
Sort
View
CORR
2008
Springer
137views Education» more  CORR 2008»
13 years 8 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
CC
2004
Springer
14 years 1 months ago
Developing a Foundation for Code Optimization
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
Mary Lou Soffa
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
13 years 12 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
VLC
2010
91views more  VLC 2010»
13 years 6 months ago
A model-based recognition engine for sketched diagrams
Many of today’s recognition approaches for hand-drawn sketches are feature-based, which is conceptually similar to the recognition of hand-written text. While very suitable for ...
Florian Brieler, Mark Minas
ERCIMDL
2007
Springer
137views Education» more  ERCIMDL 2007»
14 years 2 months ago
Ontology-Based Question Answering for Digital Libraries
Abstract. In this paper we present an approach to question answering over heterogeneous knowledge sources that makes use of different ontology management components within the sce...
Stephan Bloehdorn, Philipp Cimiano, Alistair Duke,...