MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logics with Structured Contexts." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Retrieving Complex Objects with HySpirit
by Thomas Rolleke, Norbert Fuhr — 1997 — In: Proceedings of the 19th Annual BCS-IRSG Colloquium on IR Research
… of the logical structure are regarded as contexts. We point out the locality of a logical program with respect…
Cited by 3 (1 self) – Add To MetaCart

TVLA: A system for generating abstract interpreters
by Tal Lev-ami, Roman Manevich, Mooly Sagiv — 2004 — In 18 th IFIP Congress Topical
… Program States In FOTS, program states are represented using 2-valued logical structures. In the context…
Cited by 4 (0 self) – Add To MetaCart

An Exploratory Evaluation of Three Interfaces for Browsing Large Hierarchical Tables of Contents
by Richard Chimera, Ben Shneiderman — 1994 — ACM Transactions on Information Systems
… the logical structure of the document [4]. The expand/contract interface preserves more of the logical…
Cited by 51 (9 self) – Add To MetaCart

Reference Model for Metadata: A Strawman
by Draft Francis, Francis Bretherton — 1994
… a particular database implementation from the logical structure of the context for which…
Add To MetaCart

Virtual www documents : A concept to explicit the structure of www sites
by Of Www Sites, Bich-liên Doan, Michel Beigbeder — 1999 — In Proceedings of the 21st Colloquim on Information Retrieval. BCS-IRSG
… are not capable of extracting the logical structure and the context around HTML pages. To help to capture…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB