1950 search results - page 287 / 390 » Lambda-Free Logical Frameworks |
154
click to vote
KCAP
2009
ACM
16 years 29 days ago
2009
ACM
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
194
click to vote
EDBTW
2010
Springer
16 years 28 days ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...
152
click to vote
DATE
2008
IEEE
16 years 27 days ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
155
click to vote
ICASSP
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents accurate area and power estimation models for implementations using FPGAs from the Xilinx Virtex-2Pro family. These models are designed to facilitate efficien...
204
click to vote
ICIW
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...