4190 search results - page 208 / 838 » Type Class Directives |
150
click to vote
ISMIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Subsystem based generalizations of rough set approximations are investigated. Instead of using an equivalence relation, an arbitrary binary relation is used to construct ...
135
click to vote
OOGRAPHICS
1994
15 years 8 months ago
1994
class of general differentiable curves and surfaces and in turn refine this design to various parametric representations of curves and surfaces. This design includes all of the sta...
110
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
We introduce a new class of multiplicative proof nets, J-proof nets, which are a typed version of Faggian and Maurel's multiplicative L-nets. In J-proof nets, we can character...
122
click to vote
SIGCSE
1995
ACM
15 years 7 months ago
1995
ACM
We present a package which provides a visually oriented simulation of the execution of machine and assembly language programs on a simple computer. The programs am written for Hyp...
134
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we present an algorithmic framework for solving a class of combinatorial optimization problems on graphs with bounded pathwidth. The problems are NP-hard in general, ...