5100 search results - page 579 / 1020 » The Linear Complexity of a Graph |
192
Voted
AMAI
2004
Springer
16 years 6 days ago
2004
Springer
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
161
click to vote
PSD
2004
Springer
16 years 5 days ago
2004
Springer
Generation of a synthetic microdata set that reproduces the statistical properties of an original microdata set is a promising approach to statistical disclosure control (SDC) of m...
184
click to vote
COCOON
2003
Springer
16 years 1 days ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
191
click to vote
HAPTICS
2002
IEEE
15 years 11 months ago
2002
IEEE
A novel interactive virtual needle insertion simulation is presented. Simulation models are based upon planar tissue deformations and forces measured during needle insertion exper...
216
click to vote
ESA
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe a general grouping technique to devise faster and simpler approximation schemes for several scheduling problems. We illustrate the technique on two diff...