5084 search results - page 230 / 1017 » Proving Possibility Properties |
170
click to vote
BIRTHDAY
2007
Springer
16 years 1 months 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...
216
click to vote
MLG
2007
Springer
16 years 1 months 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...
159
click to vote
SAT
2007
Springer
16 years 1 months 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...
160
click to vote
IJCNN
2006
IEEE
16 years 1 months 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...
159
click to vote
ICMCS
2005
IEEE
16 years 24 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...