|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18304 occurrences of 8065 keywords
|
|
|
Results
Found 31134 publication records. Showing 31134 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Jun Zhang, LiQun Chen |
An Improved Algorithm for Discrete Logarithm Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESIAT (2) ![In: 2009 International Conference on Environmental Science and Information Application Technology, ESIAT 2009, Wuhan, China, 4-5 July 2009, 3 Volumes, pp. 658-661, 2009, IEEE Computer Society, 978-0-7695-3682-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
discrete logarithm problem (DLP), baby-step giant-step, primitive-root, hash table |
26 | Yvonne Hitchcock, Paul Montague, Gary Carter, Ed Dawson |
The efficiency of solving multiple discrete logarithm problems and the implications for the security of fixed elliptic curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 3(2), pp. 86-98, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Elliptic curve discrete logarithm problem (ecdlp), Baby-step giant-step method (bsgs), Pollards rho method, Fixed elliptic curve, Precomputation |
26 | Markus Seuring, Krishnendu Chakrabarty |
Space Compaction of Test Responses for IP Cores Using Orthogonal Transmission Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 18th IEEE VLSI Test Symposium (VTS 2000), 30 April - 4 May 2000, Montreal, Canada, pp. 213-220, 2000, IEEE Computer Society, 0-7695-0613-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
non-modeled faults, one-step compaction, two-step compaction, error detection, transparency, Aliasing |
26 | Mark D. Aagaard, Nancy A. Day, Meng Lou |
Relating Multi-step and Single-Step Microprocessor Correctness Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, pp. 123-141, 2002, Springer, 3-540-00116-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Shaohua Wu, Qinyu Zhang 0001, Naitong Zhang |
A Two-step TOA Estimation Method for IR-UWB Ranging Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNSR ![In: Fifth Annual Conference on Communication Networks and Services Research (CNSR 2007), 14-17 May 2006, Fredericton, New Brunswick, Canada, pp. 302-310, 2007, IEEE Computer Society, 0-7695-2835-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Marc J. Lipman, Robert L. Sedlmeyer |
Knowledge and reasoning in graph theory research (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 415, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz |
Analyzing k-step induction to compute invariants for SAT-based property checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 176-181, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
k-step induction, symbolic traversal, invariants, IPC |
25 | Dirk V. Arnold, Hans-Georg Beyer |
Evolution strategies with cumulative step length adaptation on the noisy parabolic ridge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 7(4), pp. 555-587, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cumulative step length adaptation, evolutionary computation, optimisation, noise, evolution strategies, ridge functions |
25 | Rafiuddin Syam, Keigo Watanabe, Kiyotaka Izumi |
An Adaptive Actor-critic Algorithm with Multi-step Simulated Experiences for Controlling Nonholonomic Mobile Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(1), pp. 81-89, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Actor-critic algorithms, Multi-step prediction, Nonlinear predictive model, Simulated experience, Kinematic model, Nonholonomic mobile robot |
25 | Tetsuya Izu, Jun Kogure, Takeshi Shimoyama |
CAIRN 2: An FPGA Implementation of the Sieving Step in the Number Field Sieve Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2007, 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings, pp. 364-377, 2007, Springer, 978-3-540-74734-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
the number field sieve method (NFS), the sieving step, FPGA, implementation, Integer factorization |
25 | Brian Meyers, A. J. Bernheim Brush, Steven Mark Drucker, Marc A. Smith, Mary Czerwinski |
Dance your work away: exploring step user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 387-392, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
step user interfaces, fitness, physical interface |
25 | Babacar Thiongane, Anass Nagih, Gérard Plateau |
An Adapted Step Size Algorithm for a 0-1 Biknapsack Lagrangean Dual. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 139(1), pp. 353-373, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
0-1 knapsack problem, adapted step size, Lagrangean relaxation, linear relaxation |
25 | G. P. Lydon, Marcus M. Keane, Denis Kelliher |
Formulation of STEP Compliant Building Product Model Data for CFD Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2001, London, England, UK, July 25-27, 2001, pp. 495-499, 2001, IEEE Computer Society, 0-7695-1195-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Building Product Models, ISO-STEP, Integrated Object Models, CFD |
25 | Joachim Niehren, Manfred Pinkal, Peter Ruhrberg |
On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 34-48, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
tree constraints, subtree relation, string unification, context unification, linear second-order unification, one-step rewriting, semantic processing of natural language |
25 | Jovan Dj. Golic, Renato Menicocci |
Edit Distance Correlation Attack on the Alternating Step Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '97, 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997, Proceedings, pp. 499-512, 1997, Springer, 3-540-63384-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
clock-controlled shift registers, alternating step generator, cryptanalysis, Stream ciphers, edit distance, correlation attacks |
25 | Jon G. Rokne, Y. Rao |
Double-step Incremental Linear Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 11(2), pp. 183-192, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
double-step algorithms, scan conversion |
24 | Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal |
A relational modal logic for higher-order stateful ADTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 185-198, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations |
24 | Yan Huang, Huiru Zheng, Chris D. Nugent, Paul J. McCullagh, Suzanne McDonough, Mark A. Tully, Sean O. Connor |
Activity monitoring using an intelligent mobile phone: a validation study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: Proceedings of the 3rd International Conference on Pervasive Technologies Related to Assistive Environments, PETRA 2010, Samos, Greece, June 23-25, 2010, 2010, ACM, 978-1-4503-0071-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
acceleration signal processing, adaptive step detection algorithm, intelligent mobile phone, wearable position validation, activity monitoring |
24 | Stefan Turek, Liudmila Rivkind, Jaroslav Hron, Roland Glowinski |
Numerical Study of a Modified Time-Stepping theta-Scheme for Incompressible Flow Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 28(2-3), pp. 533-547, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Implicit time stepping, Fractional-Step-?-schemes, incompressible Navier-Stokes equations, nonstationary computational fluid dynamics |
24 | Shu-Kay Ng, Geoffrey J. McLachlan |
On the choice of the number of blocks with the incremental EM algorithm for the fitting of normal mixtures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 13(1), pp. 45-55, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
incremental EM algorithm, sparse IEM algorithm, partial E-step, efficient updating formulas |
23 | Xiaobei Liu, Chao Lu 0001, Tee Hiang Cheng, Soo Ngee Koh |
A Simplified Step-by-Step Decoding Algorithm for Parallel Decoding of Reed-Solomon Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 55(6), pp. 1103-1109, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 15, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
23 | Hans-Peter Kriegel, Peer Kröger, Peter Kunath, Matthias Renz |
Generalizing the Optimality of Multi-step k -Nearest Neighbor Query Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSTD ![In: Advances in Spatial and Temporal Databases, 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007, Proceedings, pp. 75-92, 2007, Springer, 978-3-540-73539-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Martti Forsell |
Reducing the associativity and size of step caches in CRCW operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Hiroshi Umeo, Masashi Maeda, Kazuaki Hongyo |
A Design of Symmetrical Six-State 3n-Step Firing Squad Synchronization Algorithms and Their Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings, pp. 157-168, 2006, Springer, 3-540-40929-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Xuan Jing, Lap-Pui Chau |
An efficient three-step search algorithm for block motion estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 6(3), pp. 435-438, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Sönke Frantz, Karl Rohr, H. Siegfried Stiehl |
Multi-Step Procedures for the Localization of 2D and 3D Point Landmarks and Automatic ROI Size Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV'98, 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume I, pp. 687-703, 1998, Springer, 3-540-64569-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Somitra Kumar Sanadhya, Palash Sarkar 0001 |
Non-linear Reduced Round Attacks against SHA-2 Hash Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008, Proceedings, pp. 254-266, 2008, Springer, 978-3-540-69971-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Bernard A. Galler, D. P. Rozenberg |
A Generalization of a Theorem of Carr on Error Bounds for Rung-Kutta Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 7(1), pp. 57-60, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
22 | Takafumi Matsumaru, Yuichi Ito, Wataru Saitou |
The step-on interface (SOI) on a mobile platform: rehabilitation of the physically challenged. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 5th ACM/IEEE International Conference on Human Robot Interaction, HRI 2010, Osaka, Japan, March 2-5, 2010, pp. 345-346, 2010, ACM, 978-1-4244-4893-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
friendly-amusing mobile (fam) function, physically challenged, step-on interface (soi), human-robot interaction, rehabilitation |
22 | Takafumi Matsumaru, Yuichi Ito, Wataru Saitou |
The step-on interface (SOI) on a mobile platform: basic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 5th ACM/IEEE International Conference on Human Robot Interaction, HRI 2010, Osaka, Japan, March 2-5, 2010, pp. 343-344, 2010, ACM, 978-1-4244-4893-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
friendly-amusing mobile (fam) function, range scanner, step-on interface (soi), human-robot interaction, projector |
22 | Gyeongdong Baek, Sungshin Kim |
Two Step Template Matching Method with Correlation Coefficient and Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009, Proceedings, pp. 85-90, 2009, Springer, 978-3-642-04019-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Two step template matching, Genetic algorithms, Correlation coefficient |
22 | Jessica Silly-Carette, David Lautru, Man-Fai Wong, Joe Wiart, Victor Fouad Hanna |
Analysis of the numerical One-Step method for the study applied on bio electromagnetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 63(1-2), pp. 29-41, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mots clés Méthode One-Step, Milieux à pertes, Conditions absorbantes PML, Méthode FDTD, Dispersion |
22 | Hong Wan, Guangting Li, Xianming Wang, Chai Jing |
A New Variable-Step LMS Algorithm Based on the Convergence Ratio of Mean-Square Error(MSE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 1118-1123, 2008, Springer, 978-3-540-87440-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
variable step, LMS, adaptive filter, MSE |
22 | Hans-Georg Beyer, Alexander Melkozerov |
Mutative sigma-self-adaptation can beat cumulative step size adaptation when using weighted recombination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 487-494, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cumulative step length adaptation, mutation strength self-adaptation, weighted mutlirecombination, evolution strategy |
22 | Liangliang Yang, Yunfei Zhou, Haihong Pan, Wei Teng |
Realization of the Synchronization Mechanism of Step and Scan Projection Lithography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 151-161, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Step and scan projection lithography, state synchronization, high speed high precision motion control, synchronization control |
22 | Matilde P. Legua, Isabel Morales 0002, Luis Manuel Sánchez Ruiz |
The Heaviside Step Function and MATLAB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I, pp. 1212-1221, 2008, Springer, 978-3-540-69838-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Heaviside step function, delta generalized function, instant impulse, casual system |
22 | Xiaoji Ye, Min Zhao 0001, Rajendran Panda, Peng Li 0001, Jiang Hu |
Accelerating Clock Mesh Simulation Using Matrix-Level Macromodels and Dynamic Time Step Rounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 627-632, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
clock mesh, dynamic time step rounding, simulation, macromodel |
22 | Marc Segelken |
Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 433-448, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automata construction, counterexample guidance, iterative abstraction refinement, step-discrete hybrid systems, model-checking |
22 | Shahram Khazaei, Simon Fischer 0002, Willi Meier |
Reduced Complexity Attacks on the Alternating Step Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 14th International Workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007, Revised Selected Papers, pp. 1-16, 2007, Springer, 978-3-540-77359-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Alternating Step Generator, Stream Cipher, Clock-Controlled Generator |
22 | Paola Gervasio, Fausto Saleri |
Algebraic Fractional-Step Schemes for Time-Dependent Incompressible Navier-Stokes Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 27(1-3), pp. 257-269, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
algebraic fractional step methods, spectral methods, Navier-Stokes equations |
22 | Xiaoting Li, Lide Fang |
Study on Dynamic Heat Measurement Method after Step Change of System's Flux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (3) ![In: Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China, pp. 192-197, 2006, IEEE Computer Society, 0-7695-2528-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
flow rate, step change, thermal characteristics, transient, measurement method |
22 | Thiab R. Taha, Xiangming Xu |
Parallel Split-Step Fourier Methods for the Coupled Nonlinear Schro"dinger Type Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 32(1), pp. 5-23, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
split-step method, FFTW, parallel algorithms, NLS |
22 | Rita Noumeir |
Benefits of the DICOM Modality Performed Procedure Step. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 18(4), pp. 260-269, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
DICOM - Modality Performed Procedure Step, MPPS - Workflow - Picture Archiving and Communication System, PACS - Radiology Information System, RIS - Integrating Healthcare Enterprise, Digital Imaging and Communications in Medicine, IHE |
22 | Q. Tuan Pham |
Evolutionary optimization of dynamic control problems accelerated by progressive step reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 2181-2187, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
factorial experiment, progressive step reduction, evolutionary algorithm, evolutionary optimization, evolutionary strategy, dynamic control |
22 | Marcin Sydow |
Random surfer with back step. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Alternate Track Papers & Posters) ![In: Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 352-353, 2004, ACM, 1-58113-912-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
back step, PageRank, ranking algorithms |
22 | Josef Stoer |
High Order Long-Step Methods for Solving Linear Complementarity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 103(1-4), pp. 149-159, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
long-step methods, high order convergence, interior-point methods, complementarity problems |
22 | Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma |
The 'Cash-Point' Service: A Verification Case Study Using STeP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(4), pp. 218-219, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Verification diagrams, Model checking, Verification, STeP |
22 | Oliver Kramer 0001, Hans-Paul Schwefel |
On three new approaches to handle constraints within evolution strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 5(4), pp. 363-385, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constraint-handling methods, fitness stagnation, minimum step size, sexual selection, metaevolution, evolutionary algorithms, evolution strategies, nonlinear optimization problem |
22 | Hagit Attiya, Vita Bortnikov |
Adaptive and efficient mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 15(3), pp. 177-189, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Remote step complexity, Point contention, Read/write operations, Adaptive algorithms, System response time |
22 | Jürgen Sellentin |
Konzepte und Techniken der Datenversorgung fuer Informationssysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 15(2), pp. 92-109, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Datenversorgung, JavaSDAI, CORBA, STEP, Data Shipping |
22 | Piotr J. Gmytrasiewicz, Jeré A. Hassberger, John Chung-Mong Lee |
Fault Tree Based Diagnostics Using Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(11), pp. 1115-1119, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
fault tree based diagnostics, fuzzy symptoms, two-step procedure, minimal cut-sets, triggered gates, fuzzy logic, fuzzy logic, failure analysis, failure modes, component failures, causal reasoning |
22 | Piotr Gainski, Klaudia Balazy |
Step by Step Loss Goes Very Far: Multi-Step Quantization for Adversarial Text Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.05120, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Qianli Ma, Haotian Zhou, Tingkai Liu, Jianbo Yuan, Pengfei Liu, Yang You 0001, Hongxia Yang |
Let's reward step by step: Step-Level reward model as the Navigators for Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.10080, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Piotr Gainski, Klaudia Balazy |
Step by Step Loss Goes Very Far: Multi-Step Quantization for Adversarial Text Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2023, Dubrovnik, Croatia, May 2-6, 2023, pp. 2030-2040, 2023, Association for Computational Linguistics, 978-1-959429-44-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Xiaobin Xiong, Jenna Reher, Aaron D. Ames |
Global Position Control on Underactuated Bipedal Robots: Step-to-step Dynamics Approximation for Step Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021, pp. 2825-2831, 2021, IEEE, 978-1-7281-9077-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers |
Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(ICFP), pp. 114:1-114:29, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Toktam Khatibi, Ali Farahani, Hossein Sarmadian |
Proposing a two-step Decision Support System (TPIS) based on Stacked ensemble classifier for early and low cost (step-1) and final (step-2) differential diagnosis of Mycobacterium Tuberculosis from non-tuberculosis Pneumonia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.02316, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Mohammad Adiban, Arash Safari, Giampiero Salvi |
STEP-GAN: A Step-by-Step Training for Multi Generator GANs with application to Cyber Security in Power Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.05184, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Xiaobin Xiong, Jenna Reher, Aaron D. Ames |
Global Position Control on Underactuated Bipedal Robots: Step-to-step Dynamics Approximation for Step Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.06050, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Pranav A. Bhounsule, Ernesto Hernandez-Hinojosa, Adel Alaeddini |
One-Step Deadbeat Control of a 5-Link Biped Using Data-Driven Nonlinear Approximation of the Step-to-Step Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics ![In: Robotics 9(4), pp. 90, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Wengran Wang, Yudong Rao, Rui Zhi, Samiha Marwan, Ge Gao, Thomas W. Price |
Step Tutor: Supporting Students through Step-by-Step Example-Based Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June 15-19, 2020., pp. 391-397, 2020, ACM, 978-1-4503-6874-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Ferdinand Vesely, Kathleen Fisher |
One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 205-231, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Ian J. Hayes, Robert Colvin |
Integrated Operational Semantics: Small-Step, Big-Step and Multi-step. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 21-35, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Wei Ho |
The m-step, same-step, and any-step competition graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 152(1-3), pp. 159-175, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Nenad Stojanovic |
n Ranking Refinements in the Step-by-Step Searching through a Product Catalogue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 4th IEEE International Conference on Data Mining (ICDM 2004), 1-4 November 2004, Brighton, UK, pp. 527-530, 2004, IEEE Computer Society, 0-7695-2142-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Barbara Prazak, Mathilde Niehaus |
Usage of Modern Technologies - A Chance for People with Special Needs?! - Pedagogically Relevant Criteria for the Review of Educational Software Exemplified by "Step by Step 3". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings, pp. 125-127, 2002, Springer, 3-540-43904-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Macarie Breazu, Ioan P. Mihu, Barry J. Beggs, Gavril Toderean |
Merging the Transform Step and the Quantization Step for Karhunen-Loeve Transform Based Image Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN (5) ![In: Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Neural Computing: New Challenges and Perspectives for the New Millennium, Como, Italy, July 24-27, 2000, Volume 5, pp. 483-488, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Nadine Olischläger, Martin Rumpf |
Two Step Time Discretization of Willmore Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA Conference on the Mathematics of Surfaces ![In: Mathematics of Surfaces XIII, 13th IMA International Conference, York, UK, September 7-9, 2009, Proceedings, pp. 278-292, 2009, Springer, 978-3-642-03595-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Jean Fanchon, Rémi Morin |
Pomset Languages of Finite Step Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, pp. 83-102, 2009, Springer, 978-3-642-02423-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ryu Takeda, Kazuhiro Nakadai, Toru Takahashi 0001, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno |
Step-size parameter adaptation of multi-channel semi-blind ICA with piecewise linear model for barge-in-able robot audition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 2277-2282, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Anubha Gupta, Shiv Dutt Joshi |
Variable Step-Size LMS Algorithm for Fractal Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(4), pp. 1411-1420, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Somitra Kumar Sanadhya, Palash Sarkar 0001 |
Deterministic Constructions of 21-Step Collisions for the SHA-2 Hash Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings, pp. 244-259, 2008, Springer, 978-3-540-85884-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SHA-2 family, reduced round attacks, cryptanalysis |
21 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 16, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
21 | Yoshiko Hanada, Tomoyuki Hiroyasu, Mitsunori Miki |
Genetic multi-step search in interpolation and extrapolation domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1242-1249, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
genetic algorithm, combinatorial optimization, local search |
21 | Jean Schoentgen, E. Dessalle, Abdellah Kacha, Francis Grenez |
Issues in Clinical Applications of Bilateral Multi-step Predictive Analysis of Speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOLISP ![In: Nonlinear Analyses and Algorithms for Speech Processing, International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers, pp. 196-205, 2005, Springer, 3-540-31257-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Shamik Sural, P. K. Das |
A Two-step Algorithm and its Parallelization for the Generation of Minimum Containing Rectangles for Document Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Fifth International Conference on Document Analysis and Recognition, ICDAR 1999, 20-22 September, 1999, Bangalore, India, pp. 173-176, 1999, IEEE Computer Society, 0-7695-0318-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Minimum containing rectangle, Parallel processing, Segmentation, Document image processing, Transputer |
21 | Takuya Kojima, Atsushi Yoshikawa 0002 |
A Two-Step Model of Pattern Acquisition: Application to Tsume-Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, First International Conference, CG'98, Tsukuba, Japan, November 11-12, 1998, Proceedings, pp. 146-166, 1998, Springer, 3-540-65766-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
pattern acquisition, Tsume-Go, knowledge acquisition, evolutionary learning, Go |
20 | Ye Xing, Zhong Xue, Sarah Englander, Mitchell D. Schnall, Dinggang Shen |
Improving Parenchyma Segmentation by Simultaneous Estimation of Tissue Property T1 Map and Group-Wise Registration of Inversion Recovery MR Breast Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I, pp. 342-350, 2008, Springer, 978-3-540-85987-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Matthew Gaubatz, Sheila S. Hemami |
Ordering for Embedded Coding of Wavelet Image Data Based on Arbitrary Scalar Quantization Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 16(4), pp. 982-996, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Chang-Mog Lee, Cheol-Jung Yoo, Ok-Bae Chang |
An Object Structure Extraction Technique for Object Reusability Improvement Based on Legacy System Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part III, pp. 758-768, 2005, Springer, 3-540-25862-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Shing-Tsaan Huang, Ying-Sung Huang, Su-Shen Hung |
Alternators on uniform rings of odd size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 16(4), pp. 263-268, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Self-stabilization, Graph coloring, Clock synchronization, Concurrent processes, Alternator |
20 | Heru Supriyono, M. Osman Tokhi |
Bacterial Foraging Algorithm with Adaptable Chemotactic Step Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICSyN ![In: Second International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2010, Liverpool, UK, 28-30 July, 2010, pp. 72-77, 2010, IEEE Computer Society, 978-1-4244-7837-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
chemotactic step size, biological-inspired optimization, Bacterial foraging |
20 | Antoine Deza, Tamás Terlaky, Yuriy Zinchenko |
A Continuous d -Step Conjecture for Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(2), pp. 318-327, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hirsch conjecture, d-Step conjecture, Diameter, Curvature, Polytopes, Central path |
20 | Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu 0001 |
Semantic Criteria for Choosing a Language for Big-Step Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, pp. 181-190, 2009, IEEE Computer Society, 978-0-7695-3761-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semantics of modelling languages, UML statemachines, big-step modelling languages, interactive systems, Statecharts, reactive systems, Synchronous languages |
20 | Nick Benton, Chung-Kil Hur |
Biorthogonality, step-indexing and compiler correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 97-108, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification |
20 | Amir Zjajo, José Pineda de Gyvez |
Calibration and Debugging of Multi-step Analog to Digital Converters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 4th IEEE International Symposium on Electronic Design, Test and Applications, DELTA 2008, Hong Kong, January 23-25, 2008, pp. 512-515, 2008, IEEE Computer Society, 978-0-7695-3110-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multi-step ADC, debugging, calibration, design-for-test |
20 | Lutz Schönemann |
Optimal number of evolution strategies mutation step sizes in dynamic environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 923-924, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
number mutation step sizes, evolution strategies, dynamic environments |
20 | Laroussi Bouguila, Florian Evéquoz, Michèle Courant, Béat Hirsbrunner |
Walking-pad: a step-in-place locomotion interface for virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 6th International Conference on Multimodal Interfaces, ICMI 2004, State College, PA, USA, October 13-15, 2004, pp. 77-81, 2004, ACM, 1-58113-995-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
step-in-place, walking-pad, virtual environment, sensors, locomotion |
20 | Joaquim R. R. A. Martins, Peter Sturdza, Juan J. Alonso |
The complex-step derivative approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 29(3), pp. 245-262, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
complex-step derivative approximation, sensitivities, Automatic differentiation, gradients, overloading, forward mode |
20 | H. Ribeiro, Luís Teixeira |
Analysis of a Two Step MPEG Video System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 350-352, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
two step MPEG video system, rate control mechanism, video complexity, feed forward bit rate control, indexing information, shot scenes, classification, computational complexity, detection, video sequence, perceptual quality, picture quality |
20 | Phil Graham 0002, S. Sitharama Iyengar |
Double- and Triple-Step Incremental Linear Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February 14-16, 1993, pp. 368-372, 1993, ACM, 0-89791-567-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
line drawing algorithms, reversible, pixel, step size |
20 | Yu Jin 0001, Nick G. Duffield, Patrick Haffner, Subhabrata Sen, Zhi-Li Zhang |
Inferring applications at the network layer using collective traffic statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: SIGMETRICS 2010, Proceedings of the 2010 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, New York, New York, USA, 14-18 June 2010, pp. 351-352, 2010, ACM, 978-1-4503-0038-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
collective traffic statistics, graph-based calibration, two-step model, application identification |
20 | Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov |
The complexity of obstruction-free implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 56(4), pp. 24:1-24:33, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
perturbable objects, solo-fast implementations, step contention, lower bounds, Shared memory, memory contention |
20 | Daniel Loebenberger, Jens Putzka |
Optimization Strategies for Hardware-Based Cofactorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers, pp. 170-181, 2009, Springer, 978-3-642-05443-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
General Number Field Sieve (GNFS), Elliptic Curve Method (ECM), hardware cluster, cofactorization step |
20 | Nuno Dias, Marcelino B. Santos, Floriberto A. Lima, Beatriz Vieira Borges, Júlio Paisana |
Monolithic Multi-mode DC-DC Converter with Gate Voltage Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers, pp. 258-267, 2008, Springer, 978-3-540-95947-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DC-DC power conversion, light-load efficiency, Step-Down, Buck, low swing |
20 | Ali Özen, Ahmet Güner, Oguzhan Çakir, Emin Tugcu, Birol Soysal, Ismail Kaya |
A Novel Approach for Blind Channel Equalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 347-357, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Blind channel equalization, fuzzy step size, constant modulus algorithm, adaptive training |
20 | Ye Yun, Xinghao Jiang, Tanfeng Sun, Jianhua Li 0001 |
An Efficient Video Watermarking Scheme with Luminance Differential DC Coefficient Modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2007, 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007, Proceedings, pp. 437-440, 2007, Springer, 978-3-540-77254-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
real-time embedding, luminance differential DC coefficient, binary dither modulation, adaptive quantization step, Video watermarking |
20 | H. C. M. Kleijn, Maciej Koutny |
Infinite Process Semantics of Inhibitor Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, pp. 282-301, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences |
20 | Leonardo Guerreiro Azevedo, Ralf Hartmut Güting, Rafael Brand Rodrigues, Geraldo Zimbrão, Jano Moreira de Souza |
Filtering with raster signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 14th ACM International Symposium on Geographic Information Systems, ACM-GIS 2006, November 10-11, 2006, Arlington, Virginia, USA, Proceedings, pp. 187-194, 2006, ACM, 1-59593-529-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
four-colors raster signature, multi-step query processor, raster approximation, three-colors raster signature, GIS, spatial databases, spatial join |
Displaying result #201 - #300 of 31134 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|