77 search results - page 6 / 16 » Fixpoint Logics on Hierarchical Structures |
WWW
2006
ACM
14 years 8 months ago
2006
ACM
Addressed in this paper is the issue of semantic relationship extraction from semi-structured documents. Many research efforts have been made so far on the semantic information ex...
JSA
2000
13 years 7 months ago
2000
As the density of VLSI circuits increases it becomes attractive to integrate dedicated test logic on a chip. This Built-in Self-Test (BIST) approach not only offers economic benef...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
ICTAI
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents a grammar-induction based approach to partitioning a Web page into several small pages while each small page fits not only spatially but also logically for mob...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...