|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31178 occurrences of 10306 keywords
|
|
|
Results
Found 68027 publication records. Showing 68027 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Lei Duan, Changjie Tang, Liang Tang, Tianqing Zhang, Jie Zuo |
Mining Class Contrast Functions by Gene Expression Programming. |
ADMA |
2009 |
DBLP DOI BibTeX RDF |
Contrast Mining, Data Mining, Gene Expression Programming |
17 | Ondrej Cepek, David Kronus, Petr Kucera |
Recognition of interval Boolean functions. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06E30 |
17 | Zheng Gong, Xuejia Lai, Kefei Chen |
A synthetic indifferentiability analysis of some block-cipher-based hash functions. |
Des. Codes Cryptogr. |
2008 |
DBLP DOI BibTeX RDF |
AMS Classifications 68W40, 68Q25 |
17 | Damon Mosk-Aoyama, Devavrat Shah |
Fast Distributed Algorithms for Computing Separable Functions. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Pascale Charpin, Guang Gong |
Hyperbent Functions, Kloosterman Sums, and Dickson Polynomials. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
17 | James Aspnes, Muli Safra, Yitong Yin |
Ranged hash functions and the price of churn. |
SODA |
2008 |
DBLP BibTeX RDF |
|
17 | Mohamed El Ghami, Ivan Ivanov, Hans Melissen, Cornelis Roos, Trond Steihaug |
Primal-dual algorithm for linear optimization problems based on a new class of kernel functions. |
ISCC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Uriel Feige, Vahab S. Mirrokni, Jan Vondrák |
Maximizing Non-Monotone Submodular Functions. |
FOCS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Noga Alon, Shai Gutner |
Balanced Families of Perfect Hash Functions and Their Applications. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
approximate counting of subgraphs, perfect hashing, color-coding |
17 | Khoongming Khoo, Guang Gong, Douglas R. Stinson |
A New Characterization of Semi-bent and Bent Functions on Finite Fields*. |
Des. Codes Cryptogr. |
2006 |
DBLP DOI BibTeX RDF |
AMS Classification 11T71 |
17 | Thierry P. Berger, Anne Canteaut, Pascale Charpin, Yann Laigle-Chapuy |
On Almost Perfect Nonlinear Functions Over F2n. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ibrahim El Rube, Maher Ahmed, Mohamed S. Kamel |
Wavelet Approximation-Based Affine Invariant Shape Representation Functions. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Wavelet transform, invariants, shape representation, affine transformation |
17 | Claude Carlet |
On Bent and Highly Nonlinear Balanced/Resilient Functions and Their Algebraic Immunities. |
AAECC |
2006 |
DBLP DOI BibTeX RDF |
Boolean function, stream cipher, resiliency, nonlinearity, algebraic attack, algebraic degree |
17 | Jihong Teng, Shiqu Li, Xiaoying Huang |
The kth-Order Quasi-Generalized Bent Functions over Ring Zp. |
CISC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Guoli Ding, Jianhua Chen 0003, Robert F. Lax, Peter P. Chen |
Efficient Learning of Pseudo-Boolean Functions from Limited Training Data. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Abbas Edalat, Dirk Pattinson |
Inverse and Implicit Functions in Domain Theory. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena |
Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Rommel G. Regis, Christine A. Shoemaker |
Local function approximation in evolutionary algorithms for the optimization of costly functions. |
IEEE Trans. Evol. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Daiji Fukagawa, Tatsuya Akutsu |
Performance Analysis of a Greedy Algorithm for Inferring Boolean Functions. |
Discovery Science |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Moni Naor |
Moderately Hard Functions: From Complexity to Spam Fighting. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Robert Rettinger, Xizhong Zheng |
Burchard von Braunmühl, Computable Real Functions of Bounded Variation and Semi-computable Real Numbers. |
COCOON |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jing Hua 0001, Hong Qin 0001 |
Haptic Sculpting of Volumetric Implicit Functions. |
PG |
2001 |
DBLP DOI BibTeX RDF |
Volume Sculpting, Marching Cubes Rendering, Geometric Modeling, B-splines, Haptic Interface, Implicit Function |
17 | Palash Sarkar 0001, Subhamoy Maitra |
Construction of Nonlinear Boolean Functions with Important Cryptographic Properties. |
EUROCRYPT |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Josef Pieprzyk, Cheng Xin Qu |
Rotation-Symmetric Functions and Fast Hashing. |
ACISP |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino |
On Disguised Double Horn Functions and Extensions. |
STACS |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Claudio Uras, Alessandro Verri |
Computing Size Functions from Edge Maps. |
Int. J. Comput. Vis. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Vincent Lin |
A Proposal for Calling Conventions for APL Defined Functions. |
APL |
1996 |
DBLP DOI BibTeX RDF |
APL |
17 | Thomas W. Cusick |
Boolean Functions Satisfying a Higher Order Strict Avalanche Criterion. |
EUROCRYPT |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoxiong Zhong, Sanjay V. Rajopadhye |
Quasi-Linear allocation functions for efficient array design. |
J. VLSI Signal Process. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Alvin J. Surkan |
Automatic Synthesis of the Inverses of APL Functions. |
APL |
1991 |
DBLP DOI BibTeX RDF |
APL |
17 | John Gill, Manuel Blum 0001 |
On Almost Everywhere Complex Recursive Functions. |
J. ACM |
1974 |
DBLP DOI BibTeX RDF |
|
17 | Tsutomu Sasao, Kozo Kinoshita |
On the Number of Fanout-Free Functions and Unate Cascade Functions. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
disjunctive networks, enumeration of equivalence classes, enumeration of switching functions, fanout-free function, Cascade, threshold function, unate function |
17 | Byeong Seok Ahn |
Some Quantifier Functions From Weighting Functions With Constant Value of Orness. |
IEEE Trans. Syst. Man Cybern. Part B |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Martin V. Butz, Martin Pelikan |
Studying XCS/BOA learning in Boolean functions: structure encoding and random Boolean functions. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
Bayesian networks, reinforcement learning, learning classifier systems, XCS |
17 | Christian Heinlein |
Virtual namespace functions: an alternative to virtual member functions in C++ and advice in AspectC++. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Rinaldi |
New results on the equivalence between zero-one programming and continuous concave programming. |
Optim. Lett. |
2009 |
DBLP DOI BibTeX RDF |
Zero-one programming, Concave functions, Continuous programming, Exact penalty functions |
16 | Paul Tarau |
An embedded declarative data transformation language. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph |
16 | Khoongming Khoo, Chu-Wee Lim, Guang Gong |
Highly nonlinear balanced S-boxes with improved bound on unrestricted and generalized nonlinearity. |
Appl. Algebra Eng. Commun. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Generalized nonlinearity, Unrestricted nonlinearity, Vectorial Boolean functions, Power functions |
16 | Alexei Sourin, Lei Wei 0002 |
Visual immersive haptic rendering on the web. |
VRCAI |
2008 |
DBLP DOI BibTeX RDF |
parametric functions, X3D, haptic interaction, implicit functions, function-based shape modeling, 3D web visualization |
16 | Fu-Lai Chung, Shitong Wang 0001, Min Xu, Dewen Hu, Qing Lin |
Possibility Theoretic Clustering and its Preliminary Application to Large Image Segmentation. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
Exponential possibility distribution, Consistent functions, Epanechnikov kernel functions, Biased sampling, Large image segmentation, Clustering algorithm |
16 | Hirotaka Yoshida, Dai Watanabe, Katsuyuki Okeya, Jun Kitahara, Hongjun Wu 0001, Özgül Küçük, Bart Preneel |
MAME: A Compression Function with Reduced Hardware Requirements. |
CHES |
2007 |
DBLP DOI BibTeX RDF |
low-resource implementation, hash functions, compression functions |
16 | Stefan Janson, Martin Middendorf |
A hierarchical particle swarm optimizer for noisy and dynamic environments. |
Genet. Program. Evolvable Mach. |
2006 |
DBLP DOI BibTeX RDF |
Noisy functions, Dynamic functions, Particle Swarm Optimization |
16 | Roland Opfer |
Multiscale kernels. |
Adv. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
wavelets, data compression, radial basis functions, multiresolution, refineable functions, scattered data approximation |
16 | Ilyas Eker |
The design of robust multi-loop-cascaded hydro governors. |
Eng. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Nomenclature, Polynomial notation is employed and the polynomials are assumed to be functions of the complex s variable, X* denotes complex conjugate of the X., a. S: complex frequency and is the frequency., b. R+: Set of all positive real numbers, c. R: Set of all real numbers, d. R(.): Set of all real rational functions, e. R[.]: Set of finite polynomials with real coefficients, f. Rmxm(.): Set of all real (mxm) matrices, g. Rmxm[.]: Set of polynomial (mxm) matrices |
16 | Keith O. Geddes, Ha Q. Le, Ziming Li 0002 |
Differential rational normal forms and a reduction algorithm for hyperexponential func. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
hyperexponential functions, normal forms, rational functions, reduction algorithms |
16 | Witold Pedrycz, Giancarlo Succi |
fXOR fuzzy logic networks. |
Soft Comput. |
2002 |
DBLP DOI BibTeX RDF |
Fuzzy hardware, Algebraic form of fuzzy functions, Optimization, Learning, Reed-Muller expansion, Logic networks, Fuzzy functions |
16 | Tao Ju, Frank Losasso, Scott Schaefer, Joe D. Warren |
Dual contouring of hermite data. |
ACM Trans. Graph. |
2002 |
DBLP DOI BibTeX RDF |
crack prevention, polyhedral simplification, quadratic error functions, contouring, implicit functions |
16 | Emad Aboelela, Christos Douligeris |
Switching Theory Approach to Alarm Correlation in Network Management. |
LCN |
2000 |
DBLP DOI BibTeX RDF |
switching theory approach, clustered alarm, fault diagnosis, expert systems, expert systems, network management, fault management, switching functions, switching functions, telecommunication computing, telecommunication network management, alarm correlation, telecommunication network reliability |
16 | Matt Kaufmann, J Strother Moore |
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
total functions, microcode verification, floating point division, Formal verification, digital signal processing, type checking, computational logic, automatic theorem proving, partial functions |
16 | Saloua Ben Yahia, Chantal Robach |
Diagnosis and time-out based escalation strategies for ATM networks. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
time-out based escalation strategies, protection techniques, distributed restoration mechanisms, network restoration methods interworking, hierarchical network model, survivable subnetworks, operation functions, maintenance functions, asynchronous transfer mode, diagnosis, network management, ATM networks, network survivability |
16 | Joshua Berman, Arthur Drisko, François Lemieux, Cristopher Moore, Denis Thérien |
Circuits and Expressions with NOn-Associative Gates. |
CCC |
1997 |
DBLP DOI BibTeX RDF |
non-associative gates, non-associative groupoid, polyabelian groupoids, arbitrary Boolean functions, NC/sup 1/-complete, CIRCUIT VALUE, Boolean functions, multiplication, P-complete, EXPRESSION EVALUATION |
16 | Alexei Sourin, Alexander A. Pasko |
Function Representation for Sweeping by a Moving Solid. |
IEEE Trans. Vis. Comput. Graph. |
1996 |
DBLP DOI BibTeX RDF |
Solid modeling, implicit functions, sweeping, function representation, R-functions |
16 | Bogdan J. Falkowski, Susanto Rahardja |
Efficient Algorithm for the Generation of Fixed Polarity Quaternary Reed-Muller Expansions. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
fixed polarity quaternary Reed-Muller expansions, polarity coefficient matrices, quaternary switching functions, recursive square matrices, multiplication operations, fast flow diagram, matrix algebra, Galois fields, Galois field, switching functions, Reed-Muller codes |
16 | Chuck Monahan, Forrest Brewer |
Symbolic execution of data paths. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
combinational switching, data-path model, path constraints, bus hazards, register constraints, control encoding limitations, path-constrained model, DSP microprocessor, switching logic, connection constraints, operand constraints, scheduling, Boolean functions, Boolean functions, logic design, combinational circuits, data flow analysis, processor scheduling, symbolic execution, data flow graphs, digital signal processing chips, constraint handling, combinational logic, dataflow graphs, hazards and race conditions, memory elements |
16 | A. Pal, R. K. Gorai, V. V. S. S. Raju |
Synthesis of multiplexer network using ratio parameters and mapping onto FPGAs. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
multiplexing equipment, multiplexer network, ratio parameters, Actel ACT1, MCNC benchmark problems, field programmable gate arrays, FPGAs, VLSI, Boolean functions, Boolean functions, logic design, iterative methods, combinational circuits, combinational circuits, logic CAD, multiplexing, search space, tree network, iterative approach |
16 | Jianghai Hu, Jinglai Shen, Wei Zhang 0013 |
A generating function approach to the stability of discrete-time switched linear systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
switched linear systems, generating functions, exponential stability |
16 | Eyal Kushilevitz, Enav Weinreb |
On the complexity of communication complexity. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
protocol tree, lower bounds, communication complexity, hardness of approximation, pseudo random functions |
16 | Farhana Aleen, Nathan Clark |
Commutativity analysis for software parallelization: letting program transformations see the big picture. |
ASPLOS |
2009 |
DBLP DOI BibTeX RDF |
automatic software parallelization, commutative functions, random interpretation |
16 | Tim Güneysu, Christof Paar, Sven Schäge |
Efficient Hash Collision Search Strategies on Special-Purpose Hardware. |
WEWoRC |
2007 |
DBLP DOI BibTeX RDF |
Crypto Attacks, Hash functions, Special-purpose Hardware |
16 | Yan-Cheng Chang, Chun-Yuan Hsiao, Chi-Jen Lu |
The Impossibility of Basing One-Way Permutations on Central Cryptographic Primitives. |
J. Cryptol. |
2006 |
DBLP DOI BibTeX RDF |
Private information retrieval, Cryptographic primitives, Black-box reductions, Trapdoor functions, One-way permutations |
16 | Cheng-Shang Chang, Zhen Liu |
A bandwidth sharing theory for a large number of HTTP-like connections. |
IEEE/ACM Trans. Netw. |
2004 |
DBLP DOI BibTeX RDF |
fixed-point limit, World Wide Web (WWW), TCP, TCP/IP, HTTP, utility functions, bandwidth sharing |
16 | Paul Camion, Miodrag J. Mihaljevic, Hideki Imai |
Two Alerts for Design of Certain Stream Ciphers: Trapped LFSR and Weak Resilient Function over GF(q). |
Selected Areas in Cryptography |
2002 |
DBLP DOI BibTeX RDF |
linear feedback shift registers over GF(), nonlinear combination generator, cryptanalysis, resilient functions, keystream generators |
16 | Daniele Micciancio |
Improving Lattice Based Cryptosystems Using the Hermite Normal Form. |
CaLC |
2001 |
DBLP DOI BibTeX RDF |
Lattices, public-key encryption, trapdoor functions |
16 | David D. Walden |
A platform-centric functional hierarchy. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
platform-centric functional hierarchy, system solution, conceptual layers, application abstraction, systems engineering, systems engineering, computer-based systems engineering, application functions |
16 | Valeriu Beiu, Sorin Draghici, Hanna E. Makaruk |
On limited fan-in optimal neural networks. |
SBRN |
1997 |
DBLP DOI BibTeX RDF |
fan-in values, chip size, Shannon decomposition, VLSI, Boolean functions, feedforward neural networks, neural chips, threshold circuits |
16 | Santanu S. Dey, Jean-Philippe P. Richard, Yanjun Li, Lisa A. Miller |
On the extreme inequalities of infinite group problems. |
Math. Program. |
2010 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C11, 90C57 |
16 | Akitoshi Kawamura, Stephen A. Cook |
Complexity theory for operators in analysis. |
STOC |
2010 |
DBLP DOI BibTeX RDF |
higher-type complexity, second-order polynomials, computational complexity, computable analysis |
16 | Anqi Qiu, Dmitri Bitouk, Michael I. Miller |
Smooth functional and structural maps on the neocortex via orthonormal bases of the Laplace-Beltrami operator. |
IEEE Trans. Medical Imaging |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Ryo Nojima, Kazukuni Kobara, Hideki Imai |
Efficient Shared-Key Authentication Scheme from Any Weak Pseudorandom Function. |
INDOCRYPT |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jon T. Butler, Tsutomu Sasao, Munehiro Matsuura |
Average Path Length of Binary Decision Diagrams. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
average path length, worst-case path length, APL, Binary decision diagrams, BDD |
16 | Noboru Takagi, Kyoichi Nakashima |
Some Properties of Discrete Interval Truth Valued Logic. |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Herman C. Rao, Larry L. Peterson |
Distributed shared library. |
ACM SIGOPS European Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Minqiang Li, Dan Lin 0002, Jisong Kou |
An investigation on niching multiple species based on population replacement strategies for multimodal functions optimization. |
Soft Comput. |
2010 |
DBLP DOI BibTeX RDF |
Population replacement, Niching strategy, Crowding with nearest neighbors replacement, Species conserving technique, Hierarchical fair competition, Clearing procedure, Species conservation, Genetic algorithms, Multimodal functions optimization |
16 | Adrián Riesco 0001, Juan Rodríguez-Hortalá |
Programming with singular and plural non-deterministic functions. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
non-deterministic functions, semantics, program transformation, term rewriting, maude |
16 | Mustafa Altun, Marc D. Riedel |
Lattice-based computation of Boolean functions. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
lattice duality, Boolean functions, lattices, switching circuits |
16 | Atefeh Mashatan, Douglas R. Stinson |
Interactive two-channel message authentication based on Interactive-Collision Resistant hash functions. |
Int. J. Inf. Sec. |
2009 |
DBLP DOI BibTeX RDF |
Two-channel cryptography, Authenticated channel, Hash functions, Message authentication |
16 | Chao Li, Qiang Li, San Ling |
On the constructions of constant-composition codes from perfect nonlinear functions. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
constant-composition codes, perfect nonlinear functions, quadratic forms |
16 | Rafael Pacheco Kovaleski, Manuel M. Oliveira |
High-quality brightness enhancement functions for real-time reverse tone mapping. |
Vis. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Brightness enhancement functions, Reverse tone mapping, Bilateral filtering |
16 | José García-Nieto, Enrique Alba 0001, Javier Apolloni |
Particle swarm hybridized with differential evolution: black box optimization benchmarking for noisy functions. |
GECCO (Companion) |
2009 |
DBLP DOI BibTeX RDF |
noisy functions, benchmarking, differential evolution, black-box optimization, hybrid algorithms, particle swarm |
16 | José García-Nieto, Enrique Alba 0001, Javier Apolloni |
Noiseless functions black-box optimization: evaluation of a hybrid particle swarm with differential operators. |
GECCO (Companion) |
2009 |
DBLP DOI BibTeX RDF |
noiseless functions, benchmarking, differential evolution, black-box optimization, hybrid algorithms, particle swarm |
16 | J. David Schaffer, Heike Sichtig, Craig B. Laramee |
A series of failed and partially successful fitness functions for evolving spiking neural networks. |
GECCO (Companion) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithms, evolutionary computation, fitness functions, spiking neural networks |
16 | Praveen Gauravaram, Lars R. Knudsen |
On Randomizing Hash Functions to Strengthen the Security of Digital Signatures. |
EUROCRYPT |
2009 |
DBLP DOI BibTeX RDF |
Davies-Meyer, RMX, Digital signatures, Hash functions |
16 | Jie Chen 0022, Vidhyacharan Bhaskar |
Error Probability Distribution and Density Functions for Rayleigh and Rician Fading Channels with Diversity. |
Int. J. Wirel. Inf. Networks |
2008 |
DBLP DOI BibTeX RDF |
Error probability distribution and density functions, Rician fading, Diversity, Rayleigh fading |
16 | Paul Camion, Jacques Patarin |
t-resilient functions and the partial exposure problem. |
Appl. Algebra Eng. Commun. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Exposure-Resilient Function, Wire-tapping, Correlation-immune functions, Nonlinear codes, Binary channel, Symmetric encryption scheme, (n, k, t)-scheme, Linear codes, Orthogonal arrays, Resilient function, Secret key |
16 | Walter Hussak |
Decidable Cases of First-order Temporal Logic with Functions. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
monodic fragment, predicate logic with functions, decidability, first-order temporal logic |
16 | Chrysanthos E. Gounaris, Christodoulos A. Floudas |
Tight convex underestimators for C2-continuous problems: I. univariate functions. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Univariate functions, Global optimization, Convex underestimation, ?BB, Convex envelopes |
16 | Vladimir Kolesnikov, Thomas Schneider 0003 |
A Practical Universal Circuit Construction and Secure Evaluation of Private Functions. |
Financial Cryptography |
2008 |
DBLP DOI BibTeX RDF |
SFE of private functions, universal circuit, privacy |
16 | Naohiro Ishii, Takahiro Yamada, Yongguang Bao |
Improved Accuracy by Relearning and Combining Distance Functions. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
distance functions for classification, relearning, ensemble computation, text classification |
16 | Abusaleh M. Jabir, Dhiraj K. Pradhan, T. L. Rajaprabhu, Ashutosh Kumar Singh 0001 |
A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
Finite or Galois Fields, Characteristic and Encoded Characteristic Functions, Simulation, Evaluation, Verification, Decision Diagrams |
16 | Viknashvaran Narayanasamy, Kok Wai Wong |
Mapping resources to state functions in massively multiplayer online games. |
DIMEA |
2007 |
DBLP DOI BibTeX RDF |
state transition functions, games, resources, MMOG, states |
16 | Tsung-Lin Lee, Chun-Yao Wang |
Recognition of Fanout-free Functions. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
state of the art method, fanout free functions, equivalent function, Boolean function, factoring, logic minimization |
16 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
Linear Recursive Functions. |
Rewriting, Computation and Proof |
2007 |
DBLP DOI BibTeX RDF |
linear calculi, computable functions, iteration, Recursion theory |
16 | Sébastien Destercke, Didier Dubois, Eric Chojnacki |
Cautious Conjunctive Merging of Belief Functions. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
least commitment, dependence, belief functions |
16 | Yi Deng 0002, Dongdai Lin |
Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability. |
EUROCRYPT |
2007 |
DBLP DOI BibTeX RDF |
instance-dependent verifiable random functions, simultaneous resettability, zero knowledge |
16 | Valentin Gherman, Hans-Joachim Wunderlich, R. D. Mascarenhas, Jürgen Schlöffel, Michael Garbers |
Synthesis of irregular combinational functions with large don't care sets. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
logic synthesis, incompletely specified functions |
16 | Dong Hun Kim, Hua Wang, Seiichi Shin |
Decentralized Control of Autonomous Swarm Systems Using Artificial Potential Functions: Analytical Design Guidelines. |
J. Intell. Robotic Syst. |
2006 |
DBLP DOI BibTeX RDF |
swarm systems, potential functions, group behavior |
16 | Ofri Sadowsky, Jonathan D. Cohen 0001, Russell H. Taylor |
Projected Tetrahedra Revisited: A Barycentric Formulation Applied to Digital Radiograph Reconstruction Using Higher-Order Attenuation Functions. |
IEEE Trans. Vis. Comput. Graph. |
2006 |
DBLP DOI BibTeX RDF |
DRR, higher-order volumetric functions, Volume rendering, unstructured grids, projected tetrahedra |
16 | Christian Rechberger, Vincent Rijmen, Nicolas Sklavos 0001 |
The NIST Cryptographic Workshop on Hash Functions. |
IEEE Secur. Priv. |
2006 |
DBLP DOI BibTeX RDF |
security, cryptanalysis, hash functions, SHA-1 |
16 | Walter Hinterberger, Otmar Scherzer |
Variational Methods on the Space of Functions of Bounded Hessian for Convexification and Denoising. |
Computing |
2006 |
DBLP DOI BibTeX RDF |
Functions of bounded Hessian, denoising, calculus of variations, convexification, convex envelope |
16 | Dongdong Fu, Yun Q. Shi 0001, Wei Su 0001 |
Detection of Image Splicing Based on Hilbert-Huang Transform and Moments of Characteristic Functions with Wavelet Decomposition. |
IWDW |
2006 |
DBLP DOI BibTeX RDF |
image splicing, Hilbert-Huang transform (HHT), support vector machine (SVM), characteristic functions |
Displaying result #601 - #700 of 68027 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|