2529 search results - page 34 / 506 » The Logical Structure of Binding |
ACL
1998
14 years 11 months ago
1998
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A Astructure can be considered as a A-term up to...
TVLSI
2010
14 years 4 months ago
2010
In this paper, we present a low-power architectural synthesis system (LOPASS) for field-programmable gate-array (FPGA) designs with interconnect power estimation and optimization. ...
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
This thesis presented a framework of the possible combination of approaches for low-level program slicing-baseddependence analysis and high-level concept assignment. Three combina...
AAAI
2010
14 years 11 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
IJCAI
1989
14 years 11 months ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...