1285 search results - page 157 / 257 » Structural Operators for Modeling 3-Manifolds |
107
click to vote
ESSLLI
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
106
click to vote
EJC
2003
15 years 2 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
111
Voted
CANDC
2005
ACM
15 years 3 months ago
2005
ACM
A prototype system for the automatic evolution of biomimetic structures using structural automata is described and its utility for generating digital sculpture is demonstrated. Sc...
132
click to vote
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
109
Voted
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...