|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5481 occurrences of 2965 keywords
|
|
|
Results
Found 7524 publication records. Showing 7524 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
97 | E. L. Lohse |
Standards: Heading format for data transmission (A USAAI) tutorial. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
data transmission heading format, heading format, message format, message headings, data transmission |
69 | David W. Matula, Asger Munk Nielsen |
Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder. |
IEEE Symposium on Computer Arithmetic |
1997 |
DBLP DOI BibTeX RDF |
pipelined packet forwarding floating point, packet forwarding floating point format, rounder design, packet forwarding format, standard binary IEEE 754 floating point format, multiplication algorithms, ALU pipeline paradigm, data hazards, pipelined floating point operations, execution phases, multiplier packet forwarding pipelines, execution phase, logic levels, multiplier pipelines, forwarding pipelines, IEEE 754 binary floating point compatibility, pipeline arithmetic, data dependent operations |
57 | Fred G. Gustavson, Jerzy Wasniewski |
High Performance Linear Algebra Algorithms: An Introduction. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Hyun-Gyoo Yook, Mi-Soon Koo, Myong-Soon Park, TaeGuen Kim 0001 |
A Distribution Format for Communication-Free Reshape in Distributed Memory Computers. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
|
55 | Ye-Kui Wang |
AVS-M: From Standards to Applications. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
AVS-M, RTP payload format, standard, video coding, file format |
51 | Jan Schnasse, Sebastian Beyl, Elona Chudobkaite, Volker Heydegger, Manfred Thaller |
XCL: The Extensible Characterisation Language - One Step towards an Automatic Evaluation of Format Conversions. |
ECDL |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Dhananjay S. Phatak, Tom Goff, Israel Koren |
Constant-Time Addition and Simultaneous Format Conversion Based on Redundant Binary Representations. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
constant-time addition, simultaneous format conversion, redundant adders, signed-digit addition, 4:2 compressor, Redundant representations, carry-save addition |
46 | Fred G. Gustavson, Jerzy Wasniewski |
Rectangular Full Packed Format for LAPACK Algorithms Timings on Several Computers. |
PARA |
2006 |
DBLP DOI BibTeX RDF |
|
46 | John A. Gunnels, Fred G. Gustavson |
A New Array Format for Symmetric and Triangular Matrices. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Roger A. Grice |
Use of format models and generic outlines to develop source material. |
SIGDOC |
1983 |
DBLP DOI BibTeX RDF |
|
43 | James C. King |
A format design case study: PDF. |
Hypertext |
2004 |
DBLP DOI BibTeX RDF |
HTML, layout, SGML, PDF, formatting, electronic document, compound document, file format, document format |
43 | Karl Chen, David A. Wagner 0001 |
Large-scale analysis of format string vulnerabilities in Debian Linux. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
format string vulnerability, large-scale analysis, type-qualifier inference |
43 | Jaakko Kangasharju, Sasu Tarkoma, Tancred Lindholm |
Xebu: A Binary Format with Schema-Based Optimizations for XML Data. |
WISE |
2005 |
DBLP DOI BibTeX RDF |
XML and Semi-structured Data, XML Serialization Format, Binary XML, Web Services, Mobile Environment |
43 | Oronzo Altamura, Floriana Esposito, Donato Malerba |
Transforming paper documents into XML format with WISDOM++. |
Int. J. Document Anal. Recognit. |
2001 |
DBLP DOI BibTeX RDF |
Induction of decision trees, Transformation into HTML/XML format, Document image analysis, Layout analysis |
43 | Kala Srivatsan, Chaitali Chakrabarti, Lori Lucke |
Low power data format converter design using semi-static register allocation. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
code convertors, low power data format converter design, semi-static register allocation, processing modules, VLSI, linear programming, integer programming, signal processing, digital signal processing, power consumption, integer linear programming, heuristic programming, heuristic programming, VLSI implementations |
42 | Wei Li 0020, Tzi-cker Chiueh |
Automated Format String Attack Prevention for Win32/X86 Binaries. |
ACSAC |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Pyrrhos Stathis, Stamatis Vassiliadis, Sorin Cotofana |
A Hierarchical Sparse Matrix Storage Format for Vector Processors. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Volker Heydegger |
Just One Bit in a Million: On the Effects of Data Corruption in Files. |
ECDL |
2009 |
DBLP DOI BibTeX RDF |
file format robustness, data integrity, digital preservation, error resilience, bit error, file format, data corruption |
41 | Xiang Zheng, Bing-Feng Zhou, Xi-Feng Fang, Jin-Wen Sun, Duan-Feng Si |
Combining the Product of Interactive Multimedia Creator with MPEG4 Technology. |
ITCC (1) |
2004 |
DBLP DOI BibTeX RDF |
Interactive Multimedia Creators, Founder Author Tool, MP4 file format, The Binary Format for Scenes, streaming media |
41 | Asger Munk Nielsen, David W. Matula, Chung Nan Lyu, Guy Even |
Pipelined Packet-Forwarding Floating Point: II. An Adder. |
IEEE Symposium on Computer Arithmetic |
1997 |
DBLP DOI BibTeX RDF |
pipelined packet forwarding floating point, floating point addition algorithm, adder pipeline design, packet forwarding pipeline paradigm, data hazards, deeply pipelined floating point pipelines, four stage execution phase pipeline, short clock period, fifteen logic levels, addition algorithm, standard binary floating point format, standard IEEE 754 rounded result, two cycle latency, cooperating multiplier pipeline, packet forwarding operand, IEEE 754 binary floating point compatibility, pipeline arithmetic |
40 | Eckehard Schnieder, Géza Tarnai (eds.) |
FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010 |
FORMS/FORMAT |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Karol Rástocný, Juraj Ilavský |
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Jens Braband |
On the Justification of a Risk Matrix for Technical Systems in European Railways. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Marc Antoni |
Complementarity between Axle Counters and Tracks Circuits. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Kerstin Hartig, Jens Gerlach, Juan Soto 0001, Jürgen Busse |
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Sonja-Lara Bepperling, Andreas Schöbel |
Estimation of Safety Requirements for Wayside Hot Box Detection Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle |
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Alexander Kuckelberg, Ekkehard Wendler |
Modeling Computer based, microscopic Dispatching Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto |
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto |
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter |
Using Guided Simulation to Assess Driver Assistance Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi |
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Birgit Milius |
Designing a semi-quantitative risk graph. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Klaus-Rüdiger Hase |
"Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Tao Tang |
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich |
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Stefan Detering, Lars Schnieder |
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | André Sülflow, Rolf Drechsler |
Automatic Fault Localization for Programmable Logic Controllers. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Maria Antova, Dragan Jovicic, Thierry Breyne |
Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann |
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe |
A Method of Evaluating Railway Signalling System Based on RAMS Concept. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Ralf Schweinsberg |
Achieving Europe-wide safety through technical harmonization. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | András Pataricza |
Towards Open Modular Critical Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Balázs Polgár, István Ráth, István Majzik |
Model-based Integration Framework for Development and Testing Tool-chains. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Alessio Ferrari 0001, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi |
Model Checking Interlocking Control Tables. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Margarita Peltekova |
Safety and Security in Transportation Process - Not Just Technical Issue. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
40 | Jan Friso Groote, Frits W. Vaandrager |
Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
38 | Pankaj Kohli, Bezawada Bruhadeshwar |
FormatShield: A Binary Rewriting Defense against Format String Attacks. |
ACISP |
2008 |
DBLP DOI BibTeX RDF |
Format String Attacks, Intrusion Detection, System Security, Binary Rewriting |
38 | Lingyun Xiang, Xingming Sun, Gang Luo, Can Gan |
Research on Steganalysis for Text Steganography Based on Font Format. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
Font format, Hidden information length, Support vector machine, Steganalysis, Text |
38 | Cindy Guerrazzi, Anita Schwartz, Carol Jarom |
Bippity, boppity, boo: magical presentations using color and large format printing. |
SIGUCCS |
2007 |
DBLP DOI BibTeX RDF |
large format printing, poster printing, print management, color printing |
38 | Nathalie Julien, S. Gailhard, Eric Martin 0001 |
Low Power Synthesis Methodology with Data Format Optimization Applied on a DWT. |
J. VLSI Signal Process. |
2003 |
DBLP DOI BibTeX RDF |
dedicated architecture, data format, real time system, low power, high level synthesis, design methodology, discrete wavelet transform, power optimization |
37 | Katsunori Miyahara, Yoshihiro Okada |
A Surgical Simulation System Supporting COLLADA-Based File Format. |
CGIV |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Sjoerd Cranen, Mohammad Reza Mousavi 0001, Michel A. Reniers |
A Rule Format for Associativity. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Zhiqiang Lin, Nai Xia, Guole Li, Bing Mao, Li Xie 0001 |
Transparent Run-Time Prevention of Format-String Attacks Via Dynamic Taint and Flexible Validation. |
ISC |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Hossam A. H. Fahmy, Michael J. Flynn |
The Case for a Redundant Format in Floating Point Arithmetic. |
IEEE Symposium on Computer Arithmetic |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Benoit Poirier, Michel R. Dagenais |
An interactive system to extract structured text from a geometrical representation. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
structured text extraction, electronic document formats, common format, document structure information, structure preserving format, document content extraction, HyperText Markup Language, extracted document structure, Internet, HTML, interactive system, document image processing, intranets, structural information, document indexing, Postscript, interactive tool, geometrical information, geometrical representation |
37 | Neil Garner, David M. Howard 0001, P. A. Barrett, Andrew M. Tyrrell |
A Parallel Processing Environment for Speech Signal Processing Applications. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
parallel processing environment, speech signal processing applications, 1 dimensional signal processing problem, multiple inputs, multiple outputs, interconnected signal processing functions, MIMD format, user defined structure, communication based parallel processing format, serial machine, vocoders, filterbank speech analysis, T800 transputers, parallel programming, software tool, speech recognition, pipeline processing, speech processing, transputers, transputers, Occam, speech enhancement, transputer systems, pipeline parallelism |
35 | Anthony Scemama, Antonio Monari, Celestino Angeli, Stefano Borini, Stefano Evangelisti, Elda Rossi |
Common Format for Quantum Chemistry Interoperability: Q5Cost Format and Library. |
ICCSA (1) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Yuanzhe Wang, Chi-Un Lei, Grantham K. H. Pang, Ngai Wong |
MFTI: matrix-format tangential interpolation for modeling multi-port systems. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
Loewner matrix, matrix-format tangential interpolation (MFTI), sampling, state space |
34 | Shubo Liu, Zhengquan Xu, Wei Li, Jin Liu, Zhiyong Yuan |
A Novel Format-Compliant Video Encryption Scheme for H.264/AVC Stream Based on Residual Block Scrambling. |
ICIC (1) |
2008 |
DBLP DOI BibTeX RDF |
format-compliant, residual block scrambling, chaotic cryptosystem, H.264/AVC |
34 | Dominik Engel, Thomas Stütz, Andreas Uhl |
Format-compliant jpeg2000 encryption with combined packet header and packet body protection. |
MM&Sec |
2007 |
DBLP DOI BibTeX RDF |
format-compliant encryption, packet body encryption, packet header encryption, JPEG2000 |
34 | Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner |
Performance Model Interchange Format: Semantic Validation. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
Semantic validation, XML, Performance Models, SPE, Queueing Network Models, Tool interoperability, Interchange Format |
34 | Won-Sung Sohn, Seung-Kyu Ko, Yoon-Chul Choy, Kyong-Ho Lee, Sung-Hyuk Kim, Soon-Bum Lim |
Development of a standard format for eBooks. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
a standard format, an electronic book, XML, XML, eBook |
34 | Richard C. Holt, Ahmed E. Hassan, Bruno Laguë, Sébastien Lapierre, Charles Leduc |
E/R Schema for the Datrix C/C++/Java Exchange Format. |
WCRE |
2000 |
DBLP DOI BibTeX RDF |
Software exchange format, SEF, data exchange, schema, abstract syntax tree, AST |
34 | Richard C. Holt, Andreas Winter 0001, Andy Schürr |
GXL: Toward a Standard Exchange Format. |
WCRE |
2000 |
DBLP DOI BibTeX RDF |
software exchange format, typed attributed directed graphs, XML, tool interoperability |
34 | Jürgen Ebert, Bernt Kullbach, Andreas Winter 0001 |
GraX - An Interchange Format for Reengineering Tools. |
WCRE |
1999 |
DBLP DOI BibTeX RDF |
data interchange format, graph technology, reengineering, tool interoperability |
33 | Dick C. A. Bulterman, A. J. Jansen 0001, Pablo César, Samuel Cruz-Lara |
An efficient, streamable text format for multimedia captions and subtitles. |
ACM Symposium on Document Engineering |
2007 |
DBLP DOI BibTeX RDF |
DFXP, ambulant, realtext, streaming text, timed text, SMIL |
33 | Mohammad S. Kiaei, Shahrokh Ghaemmaghami, Shahram Khazaei |
Efficient Fully Format Compliant Selective Scrambling Methods for Compressed Video Streams. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Jin Ho You, Seong Chae Seo, Young Dae Kim, Jun Yong Choi, Sang Jun Lee, Byung Ki Kim |
Protection Against Format String Attacks by Binary Rewriting. |
CIS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Anand Ekambaram, Eurípides Montagne |
An Alternative Compressed Storage Format for Sparse Matrices. |
ISCIS |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Yuki Hirayama |
A Framework for Forms Processing using Enhanced-Line-Shared-Adjacent Format. |
ICDAR |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Thomas Grützmacher, Hartwig Anzt |
A Modular Precision Format for Decoupling Arithmetic Format and Storage Format. |
Euro-Par Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
33 | René de Vogelaere |
Algorithms: Algorithm 335: a set of basic input-output procedures. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
ALGOL 60, Berkeley style, decompose integer, decompose real, equivalent ALGOL statements, fixed point representation, input echo, input outpur array, input output Boolean, input output procedures, integer format, out integer, output channel interpretation, output documentation, procedures relationship, quality output, read real, real format, ALGOL, style, transput, input output, floating point representation, floating point representational |
32 | Ruggero Lanotte, Simone Tini |
Probabilistic bisimulation as a congruence. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
probabilistic process algebra, transition rule format, Bisimulation, congruence |
32 | Gerald D. Morrison |
A Camera-Based Input Device for Large Interactive Displays. |
IEEE Computer Graphics and Applications |
2005 |
DBLP DOI BibTeX RDF |
large-format touch display, human-computer interaction, computer vision, machine vision, smart cameras |
29 | Siti Sakira Kamaruddin, Abdul Razak Hamdan, Azuraliza Abu Bakar, Fauzias Mat Nor |
Conceptual Graph Interchange Format for Mining Financial Statements. |
RSKT |
2009 |
DBLP DOI BibTeX RDF |
Conceptual Graph Interchange Format, Information Extraction, Text Mining, Deviation Detection |
29 | Priscilla Caplan |
The Florida Digital Archive and DAITSS: a working preservation repository based on format migration. |
Int. J. Digit. Libr. |
2007 |
DBLP DOI BibTeX RDF |
DAITSS, Florida Digital Archive, Format migration, Digital preservation, Digital archiving |
29 | Sufen Dong, Guifa Teng, Dan Wang, Yan Hu, Fang Wang, Shuhui Chang |
Research on the Transformation of Display Format for Web Information. |
CCTA |
2007 |
DBLP DOI BibTeX RDF |
format transformation, width adjustment, relayout, thumbnail |
29 | Shane Greenstein |
Format wars all over again. |
IEEE Micro |
2006 |
DBLP DOI BibTeX RDF |
VHS, format wars, Sony |
29 | Jinyong Fang, Jun Sun 0005 |
A Format-Compliant Encryption Framework for JPEG2000 Image Code-Streams in Broadcasting Applications. |
PCM |
2006 |
DBLP DOI BibTeX RDF |
Format-Compliant encryption, JPSEC, Broadcasting application, JPEG2000 |
29 | Michael F. Ringenburg, Dan Grossman |
Preventing format-string attacks via automatic and efficient dynamic checking. |
CCS |
2005 |
DBLP DOI BibTeX RDF |
dynamic checking, format-string attacks, white-lists, static analysis |
29 | Chia-Jui Hsu, Shuvra S. Bhattacharyya |
Software Synthesis from the Dataflow Interchange Format. |
SCOPES |
2005 |
DBLP DOI BibTeX RDF |
DIF, dataflow interchange format, software synthesis |
29 | Wenjun Zeng, Jiangtao Wen, Mike Severa |
Format-Compliant Selective Scrambling for Multimedia Access Control. |
ITCC |
2002 |
DBLP DOI BibTeX RDF |
selective scrambling, format compliant, access control, digital rights management, shuffling, selective encryption |
29 | Bruce R. Barkstrom |
Ada 95 bindings for the NCSA hierarchical data format. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
HDF4, Hierarchical Data Format, Self-documenting files, Ada, File formats, HDF5, HDF |
29 | Hwan Il Kang, Kab Il Kim, Seung-Soo Han |
Watermarking techniques using the Drawing Exchange Format (DXF) file. |
MM&Sec |
2001 |
DBLP DOI BibTeX RDF |
Drawing Exchange Format File (DXFF), watermarking, vector image |
29 | Michelle Y. Kim, Steve Wood, Lai-Tee Cheok |
Extensible MPEG-4 textual format (XMT). |
ACM Multimedia Workshops |
2000 |
DBLP DOI BibTeX RDF |
textual format, authoring, MPEG-4, X3D, SMIL, scene description |
29 | M. Braun, Martin Hahn 0001, Jens-Rainer Ohm, Maati Talmi |
Motion-Compensating Real-Time Format Converter for Video on Multimedia Displays. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
motion-compensating real-time format converter, multimedia displays, interlaced TV signals, progressive display formats, frame repetition rate, motion compensated filtering, candidate vector, temporal predecessors, spatial predecessors, DFD error criterion, optimal candidate, pixel recursive steps, fallback mode, single-chip integration, displayed field differences error criterion, motion estimation, motion estimation, video, median filter |
29 | Katherine M. Sellen, Michael Massimi, Danielle M. Lottridge, Khai N. Truong, Sean A. Bittle |
The people-prototype problem: understanding the interaction between prototype format and user group. |
CHI |
2009 |
DBLP DOI BibTeX RDF |
prototyping, video, scenario based design, storyboard, eldercare |
29 | Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Interchange Format for Hybrid Systems: Abstract Semantics. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Joseph Thomas-Kerr, Ian S. Burnett, Christian H. Ritz |
Format-Independent Multimedia Streaming. |
ICME |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Davy Van Deursen, Frederik De Keukelaere, Lode Nachtergaele, Johan Feyaerts, Rik Van de Walle |
A Scalable Presentation Format for Multichannel Publishing Based on MPEG-21 Digital Items. |
MRCS |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Stütz, Andreas Uhl |
On Format-Compliant Iterative Encryption of JPEG2000. |
ISM |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Naoto Katsumata, Yasuo Matsuyama, Takeshi Chikagawa, Fuminori Ohashi, Fumiaki Horiike, Shun'ichi Honma, Tomohiro Nakamura |
Retrieval-Aware Image Compression, Its Format and Viewer Based Upon Learned Bases. |
ICONIP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Bjarne Stig Andersen, John A. Gunnels, Fred G. Gustavson, John K. Reid, Jerzy Wasniewski |
A fully portable high performance minimal storage hybrid format cholesky algorithm. |
ACM Trans. Math. Softw. |
2005 |
DBLP DOI BibTeX RDF |
Cholesky factorization and solution, complex Hermitian matrices, novel packed-matrix data structures, real symmetric matrices, BLAS, recursive algorithms, linear systems of equations, positive-definite matrices |
29 | Jin Ho You, Seong Chae Seo, Young Dae Kim, Jun Yong Choi, Sang Jun Lee, Byung Ki Kim |
Kimchi: A Binary Rewriting Defense Against Format String Attacks. |
WISA |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Pavel Tvrdík, Ivan Simecek |
A New Diagonal Blocking Format and Model of Cache Behavior for Sparse Matrices. |
PPAM |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Elda Rossi, Andrew P. J. Emerson, Stefano Evangelisti |
Common Data Format for Program Sharing and Integration. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
Meta-systems, XML-CML, ab-initio methods, Local Orbitals, Globus, Grid Technology |
29 | Artem Garmash |
A Geographic XML-based Format for the Mobile Environment. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
XML, mobile computing, mobile GIS |
29 | Steven G. Duvall |
An interchange format for process and device simulation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Mandalay Grems |
A card format for reference files in information processing. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 7524 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|