2432 search results - page 398 / 487 » Cryptographic logical relations |
143
click to vote
IWMM
2007
Springer
16 years 4 days ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
135
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
The current trends in high performance integrated circuits are towards faster and more powerful circuits in the giga-hertz range and even further. As the more complex Integrated C...
175
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
192
click to vote
TREC
2000
15 years 7 months ago
2000
CL Research's question-answering system (DIMAP-QA) for TREC-9 significantly extends its semantic relation triple (logical form) technology in which documents are fully parsed...
163
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...