1653 search results - page 71 / 331 » Directed tree-width examples |
APAL
2008
15 years 1 months ago
2008
This paper continues [Sh500] and [DzSh692]. We present a rank function for NSOP1 theories and give an example of a theory which is NSOP1 but not simple. We also investigate the con...
101
click to vote
CAGD
2010
15 years 1 months ago
2010
In this paper we present algorithms for computing the topology of planar and space rational curves defined by a parametrization. The algorithms given here work directly with the p...
111
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
107
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
— In this work, we study the problem of evaluating the performance limit of two communication problems that are closely related to each other- source coding with feed-forward and...
KES
2006
Springer
15 years 1 months ago
2006
Springer
We propose a system that enables users to write memos directly on a computer screen by hand. The system helps users save the screen images along with a user's handwritten stro...