3174 search results - page 121 / 635 » An Exploration of the Permanent-Determinant Method |
183
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
144
click to vote
BMVC
2001
15 years 9 months ago
2001
This paper explores a new method for analysing and comparing image histograms. The technique amounts to a novel way of backprojecting an image into one with fewer, statistically s...
179
click to vote
CLA
2007
15 years 8 months ago
2007
The paper presents a new method of decision tree induction based on formal concept analysis (FCA). The decision tree is derived using a concept lattice, i.e. a hierarchy of cluster...
139
click to vote
ALGORITHMICA
2000
15 years 6 months ago
2000
This paper explores a method of manipulating a planar rigid part on a conveyor belt using a robot with just one joint. This approach has the potential of offering a simple and fle...
176
click to vote
CAV
1992
Springer
15 years 10 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...