Sciweavers

50808 search results - page 46 / 10162
» A New
Sort
View
SARA
2009
Springer
14 years 3 months ago
A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances
In this paper, we propose a new approach for solving the SAT problem. This approach consists in representing SAT instances thanks to an undirected graph issued from a polynomial t...
Philippe Jégou, Lionel Paris
ICIP
2008
IEEE
14 years 3 months ago
New optimized spline functions for interpolation on the hexagonal lattice
We propose new discrete-to-continuous interpolation models for hexagonally sampled data, that generalize two families of splines developed in the literature for the hexagonal latt...
Laurent Condat, Dimitri Van De Ville
HICSS
2007
IEEE
192views Biometrics» more  HICSS 2007»
14 years 3 months ago
An Online Community as a New Tribalism: The World of Warcraft
Massive, multiplayer online role-playing games foster rich social environments. Within the game, players can interact with other players, make friends, create and cultivate new on...
Thomas W. Brignall III, Thomas L. Van Valey
HICSS
2007
IEEE
113views Biometrics» more  HICSS 2007»
14 years 3 months ago
Secure Software Engineering: A New Paradigm
Software defects lead to security vulnerabilities, which are costing businesses millions of dollars each year and threaten the security of individuals and the nation. It can be de...
Wm. Arthur Conklin, Glenn B. Dietrich
ICC
2007
IEEE
14 years 3 months ago
New Bounds on the Aperiodic Total Squared Correlation of Binary Signature Sets and Optimal Designs
— We derive new bounds on the aperiodic total squared correlation (ATSC) of binary antipodal signature sets for any number of signatures K and any signature length L. We then pre...
Harish Ganapathy, Dimitrios A. Pados, George N. Ka...