3319 search results - page 315 / 664 » Type Theoretical Databases |
104
Voted
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
— These days VLSC (Very Large-Scale Conversation) is a particular type of online conversation, that is large scale, public, text-based, many-to-many and persistent. The nature of...
133
click to vote
FLAIRS
2004
15 years 4 months ago
2004
When designing any type of fuzzy rule based system, considerable effort is placed in identifying the correct number of fuzzy sets and the fine tuning of the corresponding membersh...
152
Voted
GG
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
124
Voted
GG
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
127
Voted
CAD
2010
Springer
15 years 3 months ago
2010
Springer
We present a new constructive solving approach for systems of 3D geometric constraints. The solver is based on the cluster rewriting approach, which can efficiently solve large sy...