4767 search results - page 294 / 954 » Structures for Abstract Rewriting |
212
click to vote
GRC
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract. A new methodology that structures the semantics of a collection of documents into the geometry of a simplicial complex is developed. A simplicial complex is topologically...
187
click to vote
FMCO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
174
click to vote
FSTTCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
201
click to vote
GFKL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Hypertext categorization is the task of automatically assigning category labels to hypertext units. Comparable to text categorization it stays in the area of function lea...
181
click to vote
ICTAC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...