5084 search results - page 230 / 1017 » Proving Possibility Properties |
148
click to vote
BIRTHDAY
2007
Springer
16 years 22 days ago
2007
Springer
elle Gnaedig, H´el`ene Kirchner: Narrowing abstraction and constraints for proving properties of reduction relations 12:30- 14:00 Lunch break 14:00- 15: 50. Session 3 • Paul Bra...
190
click to vote
MLG
2007
Springer
16 years 20 days ago
2007
Springer
—Defining the support (or frequency) of a subgraph is trivial when a database of graphs is given: it is simply the number of graphs in the database that contain the subgraph. Ho...
149
click to vote
SAT
2007
Springer
16 years 19 days ago
2007
Springer
We first define a mapping from CSP to many-valued SAT which allows to solve CSP instances with many-valued SAT solvers. Second, we define a new many-valued resolution rule and p...
152
click to vote
IJCNN
2006
IEEE
16 years 17 days ago
2006
IEEE
— The tristability that a class of two-dimensional neuron models may exhibit is investigated in this paper. One proposition and three corollaries on saddles, which play an import...
147
click to vote
ICMCS
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, a robust blind watermarking method for 3D volumes is presented. A bivalued watermark is embedded in the Fourier transform magnitude of the 3D volume. The Fourier do...