|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1689 occurrences of 1216 keywords
|
|
|
Results
Found 4531 publication records. Showing 4531 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
76 | Nancy A. Lynch, Frits W. Vaandrager |
Forward and Backward Simulations for Timing-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 397-446, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
timing-based systems, backward simulations, forward-backward simulations, backward-forward simulations, history variables, prophecy variables, history relations, prophecy relations, Simulations, real-time, timed automata, refinement mappings, forward simulations |
70 | Aria Nosratinia, Michael T. Orchard |
Multi-resolution backward video coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 563-566, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiresolution backward video coding, hierarchical image decomposition, backward motion information, backward motion systems, multiresolution systems, multiresolution motion hierarchy, estimation system, maximally subsampled wavelet decomposition, motion compensated estimation, wavelet domain, lowpass bands, anchor frames, zerotree quantizer, prototype coder, simulations, performance, motion estimation, wavelet transforms, video coding, image representation, image representation, motion compensation, image resolution, image sampling, motion fields, quantisation (signal), estimation errors |
63 | Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons |
Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 9th International Workshop on Program Comprehension (IWPC 2001), 12-13 May 2001, Toronto, Canada, pp. 89-97, 2001, IEEE Computer Society, 0-7695-1131-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Conditioned program slicing, program specialisation, path condition analysis |
56 | Chang-Hong Fu 0002, Yui-Lam Chan, Tak-Piu Ip, Wan-Chi Siu |
New Architecture for MPEG Video Streaming System With Backward Playback Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 16(9), pp. 2169-2183, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Rong Yang, Pheng-Ann Heng, Kwong-Sak Leung |
Backward Reasoning on Rule-Based Systems Modeled by Fuzzy Petri Nets Through Backward Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence for Modelling and Prediction ![In: Computational Intelligence for Modelling and Prediction, pp. 61-71, 2005, Springer, 978-3-540-26071-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Luke Akong'o Orawo, J. Andrés Christen |
Bayesian sequential analysis for multiple-arm clinical trials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 19(1), pp. 99-109, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Backward Induction, One-arm look-ahead approximation, Clinical trials, Expected Utility, Stopping rule |
52 | Yi-Ting Lin, Wen-Chi Shiue, Ing-Jer Huang |
A multi-resolution AHB bus tracer for real-time compression of forward/backward traces in a circular buffer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 862-865, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMBA AHB, backward trace, bus tracer, circular buffer, forward trace, compression |
46 | Lunjin Lu, Andy King |
Backward Pair Sharing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 132-146, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Pair-Sharing, Abstract interpretation, Backward analysis |
46 | John M. Silkaitis, Hua Lee |
Spectral segmentation and multiple frequency-band tomographic backward propagation technique for high-resolution sonar imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 457-460, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
sonar imaging, acoustic tomography, acoustic holography, acoustic wave propagation, spectral segmentation, multiple frequency band, tomographic backward propagation, high resolution sonar imaging, received array time data, plane waves superposition, wavelengths, received plane waves, holographic reconstructions, phase shift beamforming algorithm, performance, image segmentation, image reconstruction, bandwidth, spectral analysis, image resolution, array signal processing, image space, tomographic image reconstruction |
43 | Abdul Nizar, P. Sreenivasa Kumar 0001 |
Ordered Backward XPath Axis Processing against XML Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSym ![In: Database and XML Technologies, 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings, pp. 1-16, 2009, Springer, 978-3-642-03554-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Anindya Sao Paul, Eric A. Wan |
A new formulation for nonlinear forward-backward smoothing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 3621-3624, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Ian M. Mitchell |
Comparing Forward and Backward Reachability as Tools for Safety Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 428-443, 2007, Springer, 978-3-540-71492-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Akihiro Yamamura |
A Functional Cryptosystem Using a Group Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 4th Australasian Conference, ACISP'99, Wollongong, NSW, Australia, April 7-9, 1999, Proceedings, pp. 314-325, 1999, Springer, 3-540-65756-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
functional cryptosystem, backward deterministic system, modular group, amalgamated free product, public-key cryptosystem |
39 | Li-Juan Jia, Ran Tao 0003, Yue Wang 0001, Kiyoshi Wada |
Forward/backward prediction solution for adaptive noisy FIR filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(6), pp. 1007-1014, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
adaptive FIR filtering, bias compensation, forward prediction, backward prediction, recursive least squares algorithm |
39 | Rafal Mantiuk, Alexander Efremov, Karol Myszkowski, Hans-Peter Seidel |
Backward compatible high dynamic range MPEG video compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 25(3), pp. 713-723, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
visible difference predictor, visual perception, MPEG, video compression, high dynamic range, tone mapping, prefiltering, visual masking, backward compatibility |
39 | Toru Nakanishi 0001, Nobuo Funabiki |
A Short Verifier-Local Revocation Group Signature Scheme with Backward Unlinkability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security, First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings, pp. 17-32, 2006, Springer, 3-540-47699-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
backward unlinkability, DLDH assumption, group signature, revocation, bilinear maps |
39 | Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen 0003 |
Backward Inference in Bayesian Networks for Distributed Systems Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Syst. Manag. ![In: J. Netw. Syst. Manag. 13(4), pp. 409-427, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
backward inference, Bayesian networks, uncertainty, Distributed systems management |
39 | Manfred Reichert, Peter Dadam, Thomas Bauer 0001 |
Dealing with forward and backward jumps in workflow management systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 18(3-4), pp. 132-151, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Forward/backward jump, Exception handling, Workflow management, Adaptive workflow |
39 | Xuguang Yang, Kannan Ramchandran |
Hierarchical Backward Motion Compensation for Wavelet Video Coding Using Optimized Interpolation Filters. ![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. 85-88, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hierarchical backward motion compensation, wavelet video coding, optimized interpolation filters, spatially scalable video coding framework, wavelet transform domain, multiresolutional framework, coarser level, aliasing effects, downsampling, weighted aliasing energy, lowpass filtering, estimation loop, adaptive quantization scheme, motion predicted residue wavelet coefficient, subjective reconstruction quality, 24 to 48 kbit/s, 0.5 to 2 dB, motion estimation, motion compensation, wavelet decomposition, video frames |
39 | Wenqing Jiang, Antonio Ortega |
Forward/Backward Adaptive Context Selection with Applications to Motion Vector Field Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 168-171, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
forward/backward adaptive context selection, motion vector field encoding, low rate video coding, adaptive context modeling, motion data coding, forward adaptation, alphabet partitioning, differential coding, VLC tables, H.263 standard, prediction error coding, image coding, motion compensation, motion compensation, performance improvements, entropy coding, lossless coding, bit rate reduction, residue images |
37 | Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller |
Efficient defeasible reasoning systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 384-392, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
defeasible reasoning systems, highly expressive logics, backward chaining approach, forward-chaining implementation, computational complexity, business rules, nonmonotonic reasoning, nonmonotonic reasoning, modelling language, linear complexity, query answering system, backward chaining |
37 | Gerard Hotho, Lars F. Villemoes, Jeroen Breebaart |
A Backward-Compatible Multichannel Audio Codec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 16(1), pp. 83-93, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Limin Liu, Zhen Li 0008, Edward J. Delp |
Backward Channel Aware Wyner-Ziv Video Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2006, October 8-11, Atlanta, Georgia, USA, pp. 1677-1680, 2006, IEEE, 1-4244-0480-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | David W. Binkley, Mark Harman |
Forward slices are smaller than backward slices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September - 1 October 2005, Budapest, Hungary, pp. 15-24, 2005, IEEE Computer Society, 0-7695-2290-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Oliver Schulte |
Iterated backward inference: an algorithm for proper rationalizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 15-28, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Alexandru Stancu, Vicenç Puig, Joseba Quevedo |
Gas Turbine Model-Based Robust Fault Detection Using a Forward - Backward Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers, pp. 154-170, 2003, Springer, 3-540-26003-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Guy Gilboa, Nir A. Sochen, Yehoshua Y. Zeevi |
Forward-and-backward diffusion processes for adaptive image enhancement and denoising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 11(7), pp. 689-703, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Bernardt Duvenhage, Kadi Bouatouch, Derrick G. Kourie |
Exploring the use of glossy light volumes for interactive global illumination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Afrigraph ![In: Proceedings of the 7th International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, Afrigraph 2010, Franschhoek, South Africa, June 21-23, 2010, pp. 139-148, 2010, ACM, 978-1-4503-0118-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
backward polygon beam tracing, glossy, light volume, caustics |
35 | Angshuman Parashar, Anand Sivasubramaniam, Sudhanva Gurumurthi |
SlicK: slice-based locality exploitation for efficient redundant multithreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pp. 95-105, 2006, ACM, 1-59593-451-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
backward slice extraction, redundant threading, microarchitecture, transient faults |
35 | Mark H. Carpenter, C. A. Kennedy, Hester Bijl, S. A. Viken, Veer N. Vatsa |
Fourth-Order Runge-Kutta Schemes for Fluid Mechanics Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 25(1-2), pp. 157-194, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
backward differentiation formulae, modified extended efficiency, convection-diffusion-reaction, turbulence, time discretization, Runge-Kutta, High-order |
35 | Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001 |
Locating faulty code using failure-inducing chops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 263-272, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging |
33 | Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah |
Backward-compatible constant-time exception-protected memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 71-80, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility |
33 | Benoît Libert, Damien Vergnaud |
Group Signatures with Verifier-Local Revocation and Backward Unlinkability in the Standard Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANS ![In: Cryptology and Network Security, 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings, pp. 498-517, 2009, Springer, 978-3-642-10432-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
verifier-local revocation, backward unlinkability, Group signatures, standard model, bilinear maps |
33 | Masayuki Karasuyama, Ichiro Takeuchi, Ryohei Nakano |
Reducing SVR Support Vectors by Using Backward Deletion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III, pp. 76-83, 2008, Springer, 978-3-540-85566-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Backward Deletion, Support Vector Regression, Support Vectors |
33 | Chin-Chen Chang 0001, Jung-San Lee, Chang-Chu Chen |
On the Forward and Backward Secrecy of HLL Group Key Exchange Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 702-705, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
the forward secrecy, the backward secrecy, multicast communication, group key exchange |
33 | Riccardo Poli, William B. Langdon |
Backward-chaining genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1777-1778, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
GP, tournament selection, backward chaining |
33 | Hongbin Zhou, Simon N. Foley |
Fast automatic synthesis of security protocols using backward search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003, pp. 1-10, 2003, ACM, 1-58113-781-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
backward search, security protocols, automatic generation, belief logic |
33 | Andrew M. Tyrrell, M. J. Freeman |
Hardware support for backward error recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 492-498, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hardware support structure, critical state information, distributed parallel processing system, parallel machines, error recovery, dependable systems, programmable logic devices, backward error recovery, cooperating processes, recovery mechanisms |
32 | Dongrong Xu, Xuejun Hao, Ravi Bansal, Kerstin J. Plessen, Bradley S. Peterson |
Seamless Warping of Diffusion Tensor Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 27(3), pp. 285-299, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Mark A. Iwen, Amol Dattatraya Mali |
DSatz: A Directional SAT Solver for Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA, pp. 199-208, 2002, IEEE Computer Society, 0-7695-1849-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Bengt Jonsson 0001 |
Simulations Between Specifications of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 346-360, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Ai Azuma, Yuji Matsumoto 0001 |
A Generalization of Forward-Backward Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (1) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part I, pp. 99-114, 2009, Springer, 978-3-642-04179-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Ming-Yen Lin, Sue-Chen Hsueh, Chih-Chen Chan |
Incremental Discovery of Sequential Patterns Using a Backward Mining Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (1) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 64-70, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(2-3), pp. 133-177, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SLD resolution, Hyperresolution, Intuitionistic linear logic, Focusing, Inverse method |
31 | Tao Liu, Lei Jia, Wen-xing Zhu |
A New Traffic Flow Model with the Effects of Backward Looking and Relative Current. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (5) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 5, pp. 438-442, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Minglun Gong, Jason M. Selzer, Cheng Lei, Yee-Hong Yang |
Real-time backward disparity-based rendering for dynamic scenes using programmable graphics hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphics Interface ![In: Proceedings of the Graphics Interface 2007 Conference, May 28-30, 2007, Montreal, Canada, pp. 241-248, 2007, ACM Press, 978-1-56881-337-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
real-time view synthesis, image-based rendering, GPU programming |
31 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 97-111, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Wonjoon Choi, Byeong-Hee Roh |
Backward Channel Protection Method for RFID Security Schemes Based on Tree-Walking Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV, pp. 279-287, 2006, Springer, 3-540-34077-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Ichiro Hasuo |
Generic Forward and Backward Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 406-420, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Joakim Axmon, Maria Hansson, Leif Sörnmo |
Partial forward-backward averaging for enhanced frequency estimation of real X-texture modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 53(7), pp. 2550-2562, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Toru Nakanishi 0001, Nobuo Funabiki |
Verifier-Local Revocation Group Signature Schemes with Backward Unlinkability from Bilinear Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2005, 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings, pp. 533-548, 2005, Springer, 3-540-30684-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Maki Yoshida, Shigeo Mitsunari, Toru Fujiwara |
A Timed-Release Key Management Scheme for Backward Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2005, 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers, pp. 3-14, 2005, Springer, 3-540-33354-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Veli Mäkinen, Gonzalo Navarro 0001, Kunihiko Sadakane |
Advantages of Backward Searching - Efficient Secondary Memory and Distributed Implementation of Compressed Suffix Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings, pp. 681-692, 2004, Springer, 3-540-24131-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Vincent Luboz, Annaig Pedrono, Dominique Ambard, Franck Boutault, Pascal Swider, Yohan Payan |
A Finite Element Study of the Influence of the Osteotomy Surface on the Backward Displacement during Exophthalmia Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMS ![In: Medical Simulation: International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004. Proceedings, pp. 49-58, 2004, Springer, 3-540-22186-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Sung-Wook Ryu, Eul-Gyu Im, B. Clifford Neuman |
Distributed Garbage Collection by Timeouts and Backward Inquiry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 426-432, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Cyclic Garbage, Back-Tracing, Distributed objects, Timeouts, Distributed Garbage Collection |
31 | Bartek Kiepuszewski, Ralf Mühlberger, Maria E. Orlowska |
FlowBack: Providing Backward Recovery for Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1998, Proceedings ACM SIGMOD International Conference on Management of Data, June 2-4, 1998, Seattle, Washington, USA., pp. 555-557, 1998, ACM Press, 0-89791-995-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Eric Salvat, Marie-Laure Mugnier |
Sound and Complete Forward and backward Chainingd of Graph Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996, Proceedings, pp. 248-262, 1996, Springer, 3-540-61534-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Siu-Wai Wu, Allen Gersho |
Joint estimation of forward and backward motion vectors for interpolative prediction of video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 3(5), pp. 684-687, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Cosimo Anglano, Luigi Portinale |
B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 39-58, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Paul Fearnhead |
Computational methods for complex stochastic systems: a review of some alternatives to MCMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 18(2), pp. 151-171, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Particle filter, Diffusions, Importance sampling, Missing data, Forward-backward algorithm, Population genetics |
28 | Gillat Kol, Moni Naor |
Games for exchanging information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 423-432, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
backward induction, cryptography, game theory, nash equilibrium, secret sharing, multiparty computation |
28 | Sumit Gulwani, Nebojsa Jojic |
Program verification as probabilistic inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 277-289, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated recovery machine, forward and backward analysis, over and under approximation, learning, program verification, Markov chain Monte Carlo, Gibbs sampling, belief networks, probabilistic inference, factor graphs |
28 | Zainal Ahmad, Jie Zhang 0005 |
Bayesian selective combination of multiple neural networks for improving long-range predictions in nonlinear process modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 14(1), pp. 78-87, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Multiple neural networks, Selective combination of neural networks, Forward selection, Backward elimination, Process modelling, Generalisation, Bayesian method |
28 | WoongChul Choi, JinWoo Han, Byung Joon Park, Jiman Hong |
BCTMA(Bi-directional Cut-Through Medium Access) Protocol for 802.11-Based Multi-hop Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSADS ![In: Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers, pp. 377-387, 2005, Springer, 3-540-28063-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Forward cut-through scheme, Backward cut-through scheme, BCTMA (Bi-directional Cut-Through Medium Access) protocol, DCF (Distributed Coordination Function), IEEE 802.11, Wireless multi-hop networks |
28 | Xuan Li, Lunjin Lu |
Inverting abstract unification for set-sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 129-138, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
maximal models and Boolean formulas, set-sharing, logic programs, backward analysis |
28 | Patrick Rogers, Andy J. Wellings |
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, pp. 236-247, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Ada, Reflection, conversations, software fault tolerance, atomic actions, recovery blocks, backward error recovery |
28 | Qiming Huang, Qiang Yang 0001, Joshua Zhexue Huang, Michael K. Ng 0001 |
Mining of Web-Page Visiting Patterns with Continuous-Time Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 8th Pacific-Asia Conference, PAKDD 2004, Sydney, Australia, May 26-28, 2004, Proceedings, pp. 549-558, 2004, Springer, 3-540-22064-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Kolmogorovs backward equations, Web mining, Sessions, Continuous Time Markov Chain, Transition probability |
28 | Joseph B. Kadane, Pantelis K. Vlachos |
Hybrid methods for calculating optimal few-stage sequential strategies: Data monitoring for a clinical trial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 12(2), pp. 147-152, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
backward induction, expected loss, Bayesian sequential analysis, indifference zone, forward algorithm |
28 | Cheng-Fen Lu, Shiuh-Pyng Winston Shieh |
Secure Key-Evolving Protocols for Discrete Logarithm Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2002, The Cryptographer's Track at the RSA Conference, 2002, San Jose, CA, USA, February 18-22, 2002, Proceedings, pp. 300-310, 2002, Springer, 3-540-43224-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Key-Evolving, Backward-Secrecy, Key Management, Forward-Secrecy |
28 | LihChyun Shu, Chang-Ming Tsai |
State Restoration in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 4-, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
state restoration, domino effect, Fault tolerance, concurrency control, failure recovery, backward error recovery |
28 | Xin Yuan 0001, Rami G. Melhem, Rajiv Gupta 0001 |
Distributed Path Reservation Algorithms for Multiplexed All-Optical Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the 3rd IEEE Symposium on High-Performance Computer Architecture (HPCA '97), San Antonio, Texas, USA, February 1-5, 1997, pp. 38-47, 1997, IEEE Computer Society, 0-8186-7764-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
distributed path reservation algorithms, multiplexed all-optical interconnection networks, distributed path reservation protocols, forward reservation protocols, backward reservation protocols, 2-dimensional torus interconnection networks, wavelength division multiplexing, communication delay, time division multiplexing, time division multiplexing |
28 | Sung-Woo Chang, Hyoung-Joo Kim |
SOPView+: an object browser which supports navigating database by changing base object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 100-103, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SOPView+, object browser, large database navigation, base object, forward navigation, reference paths, backward navigation, reference hierarchy, screen real estate problem, extended synchronized browsing, online front-ends, navigational paths |
28 | Tuyen V. Nguyen, Jing Li |
Multipoint Padé approximation using a rational block Lanczos algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 72-75, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Lanczos vectors, expansion point, full backward orthogonalization, linear multiport networks, mixed signal design, multipoint matrix Pade approximation, multiport networks, rational block Lanczos algorithm, reduced model, reliable adaptive scheme, single frequency Pade approximation, transfer function, circuit simulation, frequency domain, digital design, analog design, Krylov subspace |
28 | Aditya Agrawal, Magdy A. Bayoumi, Amr Elchouemi |
A new ATM congestion control scheme for shared buffer switch architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 604, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
pre-emptive congestion control scheme, shared buffer switch architectures, rate-based feedback scheme, guaranteed service traffic, continuous bit-rate traffic, leaky bucket mechanism, backward explicit congestion notification feedback scheme, mean inter-arrival time, buffer threshold throttle factor, cell reject throttle factor, rate reduction delta, transient behaviour, filter time, asynchronous transfer mode, ATM networks, simulation model, ATM switch, dynamic bandwidth allocation, best-effort traffic, variable bit-rate traffic, predictive scheme |
26 | Colin C. McAndrew, Xin Li, Ivica Stevanovic, Gennady Gildenblat |
Extensions to Backward Propagation of Variance for Statistical Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 27(2), pp. 36-43, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
backward propagation of variance, PSP model, Spice modeling, statistical modeling, design and test |
26 | Jung-Hong Chuang, Shih-Ann Cheng |
Computing caustic effects by backward beam tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 11(3), pp. 156-166, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Caustic effects, Backward beam tracing, Ray tracing |
26 | Véronique Royer |
Backward Chaining Evaluation in Stratified Disjunctive Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA, pp. 183-195, 1990, ACM Press, 0-89791-352-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
deductive data bases, negation by default, stratified data bases, query evaluation, fixpoint semantics, backward chaining |
26 | Baptiste Alcalde, Ana R. Cavalli |
Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN/ICONS/MCL ![In: Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius, pp. 42, 2006, IEEE Computer Society, 0-7695-2552-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jiali Zheng, Xiangyang Ji, Guangnan Ni, Wen Gao 0001, Feng Wu 0001 |
Extended direct mode for hierarchical B picture coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 265-268, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Tak-Piu Ip, Yui-Lam Chan, Chang-Hong Fu 0002, Wan-Chi Siu |
Macroblock-based algorithm for dual-bitstream MPEG video streaming with VCR functionalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 2671-2674, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Damien Massé |
Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 428-443, 2002, Springer, 3-540-44235-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Sandro Wefel, Paul Molitor |
Prove that a faulty multiplier is faulty!? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000, pp. 43-46, 2000, ACM, 1-58113-251-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Deepak Kumar |
An Integrated Model of Acting and Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNePS ![In: Current Trends in SNePS - Semantic Network Processing System, First Annual SNePS Workshop, Buffalo, NY, USA, November 13, 1989, Proceedings, pp. 55-65, 1989, Springer, 3-540-52626-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | José del R. Millán, Pau Bofill |
Learning by Back-Propagation: Computing in a Systolic Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 235-252, 1989, Springer, 3-540-51285-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Simon Doherty, Mark Moir |
Nonblocking Algorithms and Backward Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 274-288, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Huayang Xie, Mengjie Zhang 0001 |
An Analysis and Evaluation of the Saving Capability and Feasibility of Backward-Chaining Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACAL ![In: Artificial Life: Borrowing from Biology, 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 63-72, 2009, Springer, 978-3-642-10426-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Martin Welk, Guy Gilboa, Joachim Weickert |
Theoretical Foundations for Discrete Forward-and-Backward Diffusion Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSVM ![In: Scale Space and Variational Methods in Computer Vision, Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings, pp. 527-538, 2009, Springer, 978-3-642-02255-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Alberto Guillén, Antti Sorjamaa, Ginés Rubio, Amaury Lendasse, Ignacio Rojas |
Mutual Information Based Initialization of Forward-Backward Search for Feature Selection in Regression Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I, pp. 1-9, 2009, Springer, 978-3-642-04273-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Lu Gan 0002, Cong Ling 0001 |
Computation of the Para-Pseudoinverse for Oversampled Filter Banks: Forward and Backward Greville Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(12), pp. 5851-5860, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Chao Zhou 0002, Zhiqiang Cao, Shuo Wang 0001, Min Tan 0001 |
The dynamic analysis of the backward swimming mode for biomimetic carangiform robotic fish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 3072-3076, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Shinya Shimizu, Hideaki Kimata, Kazuto Kamikura, Yoshiyuki Yashima |
A backward compatible 3D scene coding using residual prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 1141-1144, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Navodaya Garepalli, Kartik Gopalan, Ping Yang 0002 |
Control Message Reduction Techniques in Backward Learning Ad Hoc Routing Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 17th International Conference on Computer Communications and Networks, IEEE ICCCN 2008, St. Thomas, U.S. Virgin Islands, August 3-7, 2008, pp. 125-130, 2008, IEEE, 978-1-4244-2390-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ruining Li, Zhurong Zhou, Yuhui Qiu |
Automated Composition of Semantic Web Service Using Data Mediator and Complete Backward Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 390-393, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Zainal Ahmad, Rabiatul Adawiah Mat Noor |
Improving Multi Step-Ahead Model Prediction through Backward Elimination Method in Multiple Neural Networks Combination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (2) ![In: Advances in Neuro-Information Processing, 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II, pp. 469-476, 2008, Springer, 978-3-642-03039-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Hon Fah Chong, Mehul Motani, Hari Krishna Garg |
Generalized Backward Decoding Strategies for the Relay Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(1), pp. 394-401, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Limin Liu, Zhen Li 0008, Edward J. Delp |
Complexity-Rate-Distortion Analysis of Backward Channel Aware Wyner-Ziv Video Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 25-28, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Baopu Li, Max Q.-H. Meng |
Wireless Capsule Endoscopy Images Enhancement using Contrast Driven Forward and Backward Anisotropic Diffusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 437-440, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Rüdiger Bock, Stefan Hoppe, Holger Scherl, Joachim Hornegger |
Beam Hardening Correction with an Iterative Scheme Using an Exact Backward Projector and a Polychromatic Forward Projector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2007, Algorithmen, Systeme, Anwendungen, Proceedings des Workshops vom 25.-27. März 2007 in München, pp. 46-50, 2007, Springer, 978-3-540-71090-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Johanna Högberg, Andreas Maletti, Jonathan May |
Backward and Forward Bisimulation Minimisation of Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers, pp. 109-121, 2007, Springer, 978-3-540-76335-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
natural language processing, bisimulation, minimisation, tree automata |
24 | Linning Ye, Jiangling Guo, Brian Nutter, Sunanda Mitra |
Memory-Efficient Image Codec Using Line-based Backward Coding of Wavelet Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2007 Data Compression Conference (DCC 2007), 27-29 March 2007, Snowbird, UT, USA, pp. 213-222, 2007, IEEE Computer Society, 978-0-7695-2791-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 4531 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|