|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11395 occurrences of 5147 keywords
|
|
|
Results
Found 48800 publication records. Showing 48800 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Ryu Iida, Kentaro Inui, Yuji Matsumoto 0001 |
Anaphora resolution by antecedent identification followed by anaphoricity determination. |
ACM Trans. Asian Lang. Inf. Process. |
2005 |
DBLP DOI BibTeX RDF |
anaphoricity determination, antecedent identification, Anaphora resolution |
20 | Peter Petrov, Alex Orailoglu |
A reprogrammable customization framework for efficient branch resolution in embedded processors. |
ACM Trans. Embed. Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Branch resolution, pipeline organization |
20 | Colin Rule, Larry Friedberg |
The appropriate role of dispute resolution in building trust online. |
Artif. Intell. Law |
2005 |
DBLP DOI BibTeX RDF |
trust, e-commerce, resolution, eBay, dispute, ODR |
20 | Charles T. Loop, James F. Blinn |
Resolution independent curve rendering using programmable graphics hardware. |
ACM Trans. Graph. |
2005 |
DBLP DOI BibTeX RDF |
curve rendering, graphics hardware algorithms, resolution independence, vector representations |
20 | Joyce Y. Chai, Zahar Prasov, Joseph Blaim, Rong Jin 0001 |
Linguistic theories in efficient multimodal reference resolution: an empirical investigation. |
IUI |
2005 |
DBLP DOI BibTeX RDF |
multimodal input interpretation, reference resolution |
20 | Julien Lenoir, Laurent Grisoni, Christophe Chaillou, Philippe Meseure |
Adaptive resolution of 1D mechanical B-spline. |
GRAPHITE |
2005 |
DBLP DOI BibTeX RDF |
adaptive resolution, mechanical 1D model, real-time simulation |
20 | M. Jamshid Bagherzadeh, S. Arun-Kumar |
Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
proof method, multi-agent systems, resolution, belief revision, multi-modal logic |
20 | Jiali Cui, Yunhong Wang, Junzhou Huang, Tieniu Tan, Zhenan Sun |
An Iris Image Synthesis Method Based on PCA and Super-Resolution. |
ICPR (4) |
2004 |
DBLP DOI BibTeX RDF |
iris image synthesis, PCA, Biometrics, super-resolution, iris recognition |
20 | Q. P. Zhang, M. Liang, W. C. Sun |
Multi-resolution image data fusion using 2-D discrete wavelet transform and self-organizing neural networks. |
VRCAI |
2004 |
DBLP DOI BibTeX RDF |
multi-resolution image data fusion, discrete wavelet transform, self-organizing neural network |
20 | Chenghua Xu, Long Quan, Yunhong Wang, Tieniu Tan, Maxime Lhuillier |
Adaptive Multi-Resolution Fitting and its Application to Realistic Head Modeling. |
GMP |
2004 |
DBLP DOI BibTeX RDF |
multi-resolution fitting, 3D head modeling, optimization, adaptive subdivision |
20 | Majid Mirmehdi, Paul Clark, J. Lam |
A non-contact method of capturing low-resolution text for OCR. |
Pattern Anal. Appl. |
2003 |
DBLP DOI BibTeX RDF |
Composite text mosaicing, High resolution text, OCR, Zooming, Document recognition |
20 | Lars Liebmann |
Layout impact of resolution enhancement techniques: impediment or opportunity? |
ISPD |
2003 |
DBLP DOI BibTeX RDF |
radically restricted designs, resolution enhancement techniques, design for manufacturability, lithography |
20 | Minglun Gong, Yee-Hong Yang |
Multi-Resolution Genetic Algorithm and Its Application in Motion Estimation. |
ICPR (1) |
2002 |
DBLP DOI BibTeX RDF |
Multi-resolution genetic algorithm, Opticalflow, Motion estimation |
20 | Assaf Zomet, Shmuel Peleg |
Multi-sensor Super-Resolution. |
WACV |
2002 |
DBLP DOI BibTeX RDF |
Color, Restoration, Super-Resolution, Multi-Sensor, Demosaicing |
20 | Michael Fisher 0001, Clare Dixon, Martin Peim |
Clausal temporal resolution. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
temporal logic, theorem proving, resolution |
20 | David A. Basin, Harald Ganzinger |
Automated complexity analysis based on ordered resolution. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
ordered resolution, automated theorem proving, complexity analysis, first-order theories |
20 | Sugath Warnakulasuriya, Timothy Mark Pinkston |
A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
Deadlock detection/resolution, network resource model, true fully-adaptive routing, virtual cut-through/wormhole switching, interconnection network |
20 | Giorgio Terracina, Domenico Ursino |
A Study on the Interaction Between Interscheme Property Extraction and Type Conflict Resolution. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
interscheme property extraction, type conflict resolution, synonymies, homonymies, semi-automatic approach, computation termination, semantics, distributed databases, transformations, heterogeneous databases, polynomial complexity, iterative computation |
20 | Luiz Velho 0001, Jonas Gomes |
Variable Resolution 4-k Meshes. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
variable resolution 4-k meshes, geometric object representation, multiple levels of detail, modeling, algorithms, computer graphics, graphics, adaptive computation |
20 | Philippe Chatalic, Laurent Simon |
Multi-resolution on compressed sets of clauses. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
compressed sets, compressed clauses, propositional clauses, compression power, structured instances, specialized operator, clause sets, polynomial size data structures, ZREs system, Davis-Putnam procedure, hard problems, SAT provers, zero-suppressed binary decision diagrams, computational complexity, data structures, data structures, data compression, theorem proving, computability, encodings, directed graphs, binary decision diagrams, set theory, multi-resolution, cut eliminations, ZBDDs |
20 | Clare Dixon, Michael Fisher 0001 |
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. |
TIME |
2000 |
DBLP DOI BibTeX RDF |
temporal and modal logics, non-classical resolution, theorem-proving |
20 | Toshinori Sato, Itsujiro Arita |
Partial Resolution in Data Value Predictors. |
ICPP |
2000 |
DBLP DOI BibTeX RDF |
partial resolution, tag bitwidth, instruction level parallelism, value prediction, data speculation |
20 | Antonio Ferrández Rodríguez, Manuel Palomar, Lidia Moreno |
An Empirical Approach to Spanish Anaphora Resolution. |
Mach. Transl. |
1999 |
DBLP DOI BibTeX RDF |
Slot Unification Grammar, Spanish, anaphora resolution, partial parsing |
20 | Hiromi Nakaiwa |
Automatic Extraction of Rules for Anaphora Resolution of Japanese Zero Pronouns in Japanese-English Machine Translation from Aligned Sentence Pairs. |
Mach. Transl. |
1999 |
DBLP DOI BibTeX RDF |
bilingual corpus, zero pronouns, alignment, rule extraction, English, Japanese, anaphora resolution, MT |
20 | José Ramón González de Mendívil, Federico Fariña, José Ramón Garitagoitia, Carlos F. Alastruey, José M. Bernabéu-Aubán |
A Distributed Deadlock Resolution Algorithm for the AND Model. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
Deadlock detection/resolution, AND model, hierarchical correctness proofs, input/output automata model, distributed systems |
20 | Michael Elad, Arie Feuer |
Super-Resolution Reconstruction of Image Sequences. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1999 |
DBLP DOI BibTeX RDF |
dynamic estimation, recursive least squares (RLS), least mean squares (LMS), steepest descent (SD), kalman filter, Image restoration, adaptive filters, super resolution |
20 | Zhigang Zhu, Guangyou Xu, Edward M. Riseman, Allen R. Hanson |
Fast Generation of Dynamic and Multi-Resolution 360° Panorama from Video Sequences. |
ICMCS, Vol. 1 |
1999 |
DBLP DOI BibTeX RDF |
Image-based VR, panoramic representation, dynamic mosaic, multi-resolution, object extraction |
20 | Jon Hartwick, Henri Barki |
Conflict Management Styles of Users and Analysts, and their Impact on Conflict Resolution. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
IS Development and Operations, User-Analyst Interaction, Measurement, Conflict Resolution |
20 | Hans Kleine Büning |
An Upper Bound for Minimal Resolution Refutations. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
propositional formulas, length of proofs, minimal unsatisfiability, resolution |
20 | N. Oguchi, Y.-M. Chen, J. Ogawa, T. Tsuruoka, Tomohiko Taniguchi, S. Nojima |
RISP: Address Resolution Protocol in Network Layer. |
LCN |
1998 |
DBLP DOI BibTeX RDF |
Address Resolution Protocol, NBMA, Shortcut Routing, RISP, ATM, IP |
20 | Paolo Cignoni, Enrico Puppo, Roberto Scopigno |
Representation and visualization of terrain surfaces at variable resolution. |
Vis. Comput. |
1997 |
DBLP DOI BibTeX RDF |
Variable resolution representations, Terrain visualization, Surface simplification, Digital terrain modeling |
20 | Guy Poulalion, O. Flous, Sylvain Morvan, Mohamed Najim |
High Resolution Radar Tomography. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
high resolution radar tomography, cross-range projections, radar echoes, rotating target, backprojection algorithm, efficiency, quality, reconstruction, spectral analysis, spectral analysis, tomographic imaging, electromagnetic field |
20 | M. W. Castelloe, David C. Munson Jr. |
3-D SAR Imaging via High- Resolution Spectral Estimation Methods: Experiments With XPATCH. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
3D SAR imaging, XPATCH, SAR data, high-resolution spectral estimation, simulated SAR data, military tank, Fourier inversion, image reconstruction, stereo, synthetic aperture radar, radar imaging, aircraft, interferometry |
20 | Min-Cheol Hong, Moon Gi Kang, Aggelos K. Katsaggelos |
An Iterative Weighted Regularized Algorithm for improving the resolution of Video Sequences. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
iterative weighted regularized algorithm, multiple input smoothing convex functional, multiple inputs, bilinearly interpolated image, temporal domain, motion estimation, resolution, video sequences, spatial domain, point spread function, optical transfer function |
20 | Xuemin Lin 0001, Jian Chen |
An optimal deadlock resolution algorithm in multidatabase systems. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
global deadlocks, global transactions, distributed databases, concurrency control, transaction processing, transaction processing, multidatabase systems, multidatabase system, deadlock resolution |
20 | Aria Nosratinia, Michael T. Orchard |
Multi-resolution backward video coding. |
ICIP |
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 |
20 | Christoph Bussler, Stefan Jablonski |
Policy resolution for workflow management systems. |
HICSS (4) |
1995 |
DBLP DOI BibTeX RDF |
policy resolution, work assignment, arbitrary role models, groupware, business data processing, workflow management systems, office automation, cooperative information systems, organization models |
20 | Peter Baumgartner 0001 |
An Order Theory Resolution Calculus. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
Theory Resolution, Automated Theorem Proving |
20 | Julio César Sampaio do Prado Leite, Peter Freeman |
Requirements Validation Through Viewpoint Resolution. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
viewpoint resolution, analogy heuristics, syntactically oriented analysis of views, software engineering, systems analysis, software requirements |
20 | Aymeric Stamm |
Diffusion directions imaging : high resolution reconstruction of white matter fascicles from low angular resolution diffusion MRI. (Diffusion directions imaging : reconstruction haute résolution des faisceaux de matière blanche par IRM de diffusion basse résolution angulaire). |
|
2013 |
RDF |
|
19 | Surapong Lertrattanapanich, Nirmal K. Bose |
High resolution image formation from low resolution frames using Delaunay triangulation. |
IEEE Trans. Image Process. |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Kazuo Iwama, Shuichi Miyazaki |
Tree-Like Resolution Is Superpolynomially Slower Than DAG-Like Resolution for the Pigeonhole Principle. |
ISAAC |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Carlos Areces, Hans de Nivelle, Maarten de Rijke |
Prefixed Resolution: A Resolution Method for Modal and Description Logics. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Yoshihiko Mochizuki, Yusuke Kameda, Atsushi Imiya, Tomoya Sakai 0002, Takashi Imaizumi |
Two Step Variational Method for Subpixel Optical Flow Computation. |
ISVC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Greg Nichols, Chris Wyman |
Multiresolution splatting for indirect illumination. |
SI3D |
2009 |
DBLP DOI BibTeX RDF |
hardware-assisted rendering, global illumination, interactive rendering |
18 | Mark Claypool, Kajal T. Claypool |
Perspectives, frame rates and resolutions: it's all in the game. |
FDG |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Krzysztof Malczewski, Ryszard Stasinski |
Toeplitz-based iterative image fusion scheme for MRI. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Vorapoj Patanavijit |
A robust iterative multiframe SRR based on Hampel stochastic estimation with Hampel-Tikhonov regularization. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
18 | James H. Elder, Simon J. D. Prince, Yuqian Hou, Mikhail Sizintsev, E. Olevskiy |
Pre-Attentive and Attentive Detection of Humans in Wide-Field Scenes. |
Int. J. Comput. Vis. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Bruno Macchiavello, Ricardo L. de Queiroz, Debargha Mukherjee |
Motion-Based Side-Information Generation for a Scalable Wyner-Ziv Video Coder. |
ICIP (6) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Kazuto Kimura, Takayuki Nagai, Hiroto Nagayoshi, Hiroshi Sako |
Simultaneous Estimation of Super-Resolved Image and 3D Information using Multiple Stereo-Pair Images. |
ICIP (5) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Tung Le Thanh, André Gagalowicz |
Fast Virtual Cloth Energy Minimization. |
MIRAGE |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Baris Uyar, Murat Sayinta, Toygar Akgun, Bülent Örencik, Yucel Altunbasak |
Spatial Feature Based Video Scaling Scheme and its FPGA Implementation for Video Standards Conversion. |
SiPS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Wei Fan, Dit-Yan Yeung |
Image Hallucination Using Neighbor Embedding over Visual Primitive Manifolds. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Jing Liu, Michael J. Redmond, Ethan K. Brodsky, Andrew L. Alexander, Aiming Lu, F. J. Thornton, Michael J. Schulte, Tom M. Grist, James G. Pipe, Walter F. Block |
Generation and visualization of four-dimensional MR angiography data using an undersampled 3-D projection trajectory. |
IEEE Trans. Medical Imaging |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Coloma Ballester, Vicent Caselles, Laura Igual, Joan Verdera, Bernard Rougé |
A Variational Model for P+XS Image Fusion. |
Int. J. Comput. Vis. |
2006 |
DBLP DOI BibTeX RDF |
image fusion, multispectral images, energy functional, topographic map |
18 | Gang Yu, Yuxiang Yang, Peng Li, Zhengzhong Bian |
Robust Segmentation for Left Ventricle Based on Curve Evolution. |
KES (3) |
2006 |
DBLP DOI BibTeX RDF |
Echocardiographic Image, Mathematical morphology, Level set, Gaussian distribution, Nonlinear diffusion |
18 | Jie Song 0001, Tiezheng Nie, Daling Wang, Ge Yu 0001 |
An Effective Web Page Layout Adaptation for Various Resolutions. |
APWeb |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Kui Jia, Shaogang Gong |
Multi-modal face image super-resolutions in tensor space. |
AVSS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Akihiko Torii, Atsushi Imiya |
Panoramic Image Transform of Omnidirectional Images Using Discrete Geometry Techniques. |
3DPVT |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Stefan S. Dantchev, Søren Riis |
On Relativisation and Complexity Gap. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Fadi Dornaika, James H. Elder |
Image Registration for Foveated Omnidirectional Sensing. |
ECCV (4) |
2002 |
DBLP DOI BibTeX RDF |
omnidirectional sensing, foveated sensing, parametric template matching, featureless registration, attention, fusion, Vision systems |
18 | Mohammad Gharavi-Alkhansari |
A fast full-search equivalent algorithm using energy compacting transforms. |
ICIP (2) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Elisenda Roca, Servando Espejo-Meana, Rafael Domínguez-Castro, Gustavo Liñán, Ángel Rodríguez-Vázquez |
A Programmable Imager for Very High Speed Cellular Signal Processing. |
J. VLSI Signal Process. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Susan S. Young, Peter D. Scott, Cesar Bandera |
Foveal automatic target recognition using a multiresolution neural network. |
IEEE Trans. Image Process. |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Suk-Chung Yoon, Il-Yeol Song, E. K. Park |
Intelligent Query Answering in Deductive and Object-Oriented Databases. |
CIKM |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Micha Hofri |
Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example. |
ACM SIGOPS Oper. Syst. Rev. |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Rose F. Gamble |
Transforming Rule-Based Programs: From the Sequential to the Parallel. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Wolfram Burgard |
Efficiency Considerations on Goal-Directed Chaining for Logic Programs. |
CSL |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Tomasz Pietrzykowski |
A Complete Mechanization of Second-Order Type Theory. |
J. ACM |
1973 |
DBLP DOI BibTeX RDF |
|
18 | Hendrik Knoche, Martina Angela Sasse |
The big picture on small screens delivering acceptable video quality in mobile TV. |
ACM Trans. Multim. Comput. Commun. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Mobile multimedia consumption, resolution, size, trade-off |
18 | Joel Lanir, Kellogg S. Booth, Leah Findlater |
Observing presenters' use of visual aids to inform the design of classroom presentation software. |
CHI |
2008 |
DBLP DOI BibTeX RDF |
multi-screen displays, visual aids, high resolution displays |
18 | Adam Bender, Rob Sherwood, Neil Spring |
Fixing ally's growing pains with velocity modeling. |
Internet Measurement Conference |
2008 |
DBLP DOI BibTeX RDF |
alias resolution, ally, ip identifier, velocity modeling |
18 | Göksel Dedeoglu, Takeo Kanade, Simon Baker |
The Asymmetry of Image Registration and Its Application to Face Tracking. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
estimation bias, Image registration, resolution, Active Appearance Models |
18 | Lorenzo Bruzzone, Francesca Bovolo, Silvia Marchesi |
A Multiscale Change Detection Technique Robust to Registration Noise. |
PReMI |
2007 |
DBLP DOI BibTeX RDF |
change vector analysis, registration noise, multi-temporal images, very high geometrical resolution images, multiscale techniques, remote sensing, Change detection |
18 | Saehoon Cheon, Bernard P. Zeigler |
Experimental frame structuring and aggregation of source data: application to US climate normals. |
SpringSim (2) |
2007 |
DBLP BibTeX RDF |
XML meta data, experimental frame, system entity structure, aggregation, resolution |
18 | Jeong-Seon Park, Junseak Lee, Seong-Whan Lee |
Region-Based Reconstruction for Face Hallucination. |
MMM (1) |
2007 |
DBLP DOI BibTeX RDF |
Example-based reconstruction, Extended morphable face model, Face recognition, Super-resolution, Face Hallucination |
18 | Alexander Kubias, Frank Deinzer, Tobias Feldmann, Dietrich Paulus |
Extended Global Optimization Strategy for Rigid 2D/3D Image Registration. |
CAIP |
2007 |
DBLP DOI BibTeX RDF |
Global Optimization, Image Registration, Multi-Resolution |
18 | Guojun Chen, Jing Zhang 0063, Xiaoli Xu, Yuan Yin |
Real-Time Visualization of Tire Tracks in Dynamic Terrain with LOD. |
Edutainment |
2007 |
DBLP DOI BibTeX RDF |
dynamic terrain, tire simulation, level of details (LOD), multi-resolution, terrain visualization |
18 | Andrew Soon, Won-Sook Lee |
Shape-based detail-preserving exaggeration of extremely accurate 3D faces. |
Vis. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Exaggeration, Detail reconstruction, High resolution, 3D faces, Morphable model |
18 | Amit Jain, Csilla Farkas |
Secure resource description framework: an access control model. |
SACMAT |
2006 |
DBLP DOI BibTeX RDF |
RDF access control, RDF metadata, RDF security, semantic web, RDFS, conflict resolution, entailment |
18 | Guoliang Mo, Sanyuan Zhang |
Point Set Surfaces Representations Based on Hierarchical Geometry Images. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
Point Set Surfaces, Hierarchical Geometry Images, Progressive Network Transmission, Multi-resolution Representations |
18 | Ami Litman, Shiri Moran-Schein |
On distributed smooth scheduling. |
SPAA |
2005 |
DBLP DOI BibTeX RDF |
distributed resolution, p-fair scheduling, persistent scheduling, recurrent jobs, scheduling of multiple resources, smooth scheduling |
18 | Albert Atserias |
On sufficient conditions for unsatisfiability of random formulas. |
J. ACM |
2004 |
DBLP DOI BibTeX RDF |
Random CNF formulas, propositional resolution, satisfiability, datalog, phase transitions, pebble games |
18 | Chun Ruan, Vijay Varadharajan |
A formal graph based framework for supporting authorization delegations and conflict resolutions. |
Int. J. Inf. Sec. |
2003 |
DBLP DOI BibTeX RDF |
Access control, Authorization, Conflict resolution |
18 | I. Ivanto, J. Wang, F. Liu |
Intelligent Online Academic Management System. |
ICWL |
2003 |
DBLP DOI BibTeX RDF |
PT-resolution, intelligent system, web-based |
18 | A. E. Grace, David Pycock, Howard T. Tillotson, Martin S. Snaith |
Active shape from stereo for highway inspection. |
Mach. Vis. Appl. |
2000 |
DBLP DOI BibTeX RDF |
Multi-resolution processing, Highway inspection, Active contour models, Stereo imaging, Unsupervised segmentation |
18 | Zhigeng Pan, Zhiliang Tao, Chiyi Cheng, Jiaoying Shi |
A new BSP tree framework incorporating dynamic LoD models. |
VRST |
2000 |
DBLP DOI BibTeX RDF |
real-time rendering, mesh simplification, BSP trees, Multi-resolution modeling |
18 | Cheon Woo Shin, Seiji Inokuchi, Kwang I. Kim |
Retina-like visual sensor for fast tracking and navigation robots. |
Mach. Vis. Appl. |
1997 |
DBLP DOI BibTeX RDF |
Anthropomorphic retina-like visual sensor, Dove prism, Linear CCD sensor, Space variant resolution, Eccentricity |
18 | Pamela A. Thuman-Commike, Wah Chiu |
Three-Dimensional Reconstruction of Noisy Electron Microscopy Virus Particle Images. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
biological techniques, noisy electron microscopy virus particle images, macromolecular complexes, icosahedral viruses, noisy projection images, low contrast images, automated reconstruction, high resolution 3D reconstruction, symmetry, computed tomography |
18 | Sang Hwa Lee, Nam Su Moon, Choong Woong Lee |
Recovery of Blurred Video Signals Using Iterative Image Restoration Combined with Motion Estimation. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
blurred video signal recovery, iterative image restoration, regularized constrained iterative image restoration, RCIIR algorithm, subjective video quality enhancement, video signal resolution, blurred still images, approximate point spread function, uniform motion blur, restored video sequences, non-real time video processing, motion estimation, moving objects, experimental results, video sequences, video signal processing, subjective quality |
18 | Jan J. Koenderink, Andrea J. van Doorn |
Generic Neighborhood Operators. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1992 |
DBLP DOI BibTeX RDF |
generic neighbourhood operators, linear neighborhood operators, resolution changes, rotations of operators, 1-D, isotropy, front-end processing, picture processing, picture processing, separability, homogeneity, scale invariance, 3-D, concatenations, magnification, 2-D |
18 | Jan A. Plaza |
Completeness for Propositional Logic Programs with Negation. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
SLD-resolution, knowledge representation in logic, logic programming, declarative programming, constructive negation, rule-based expert systems, non-classical logics, negation as failure, soundness and completeness |
18 | Huifang Deng, Haiyan Kang |
Research on High Performance RFID Code Resolving Technology. |
IITSI |
2010 |
DBLP DOI BibTeX RDF |
ONS, EPC code resolution, high-performing resolution network service, RFID, distributed database |
18 | Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson |
Pseudorandom Generators in Propositional Proof Complexity. |
FOCS |
2000 |
DBLP DOI BibTeX RDF |
combinatorial pseudorandom generators, Nisan-Wigderson generator, Tseitin tautologies, polynomial calculus with resolution, polynomial calculus, computational complexity, theorem proving, process algebra, resolution, random processes, pseudorandom generators, propositional proof complexity |
18 | Julien Dunoyer, Nizar Abdallah, Pirouz Bazargan-Sabet |
A symbolic simulation approach in resolving signals' correlation. |
Annual Simulation Symposium |
1996 |
DBLP DOI BibTeX RDF |
signal resolution, signal correlation resolution, symbolic simulation approach, evaluation package, signal transition density, specification levels, first order clue, independent inputs, binary decision diagram concept, algorithms, VLSI, probability, logic CAD, digital simulation, design process, decision theory, circuit analysis computing, integrated circuit design, circuit CAD, digital circuits, subroutines, symbol manipulation, power dissipation, correlation methods, digital integrated circuits, signal probability, probabilistic approach, synthesis tools |
18 | D. Talukdar, Raj Acharya |
Estimation of fractal dimension using alternating sequential filters. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
alternating sequential filters, fractal dimension estimation, morphological transformation, piecewise planar approximation, natural textured images, similarity measure, mathematical morphology, image representation, image representation, texture analysis, fractals, set theory, image texture, image resolution, image resolution, filtering theory, approximation theory, multiresolution representation, synthetic images, 2D image, noise robustness, image processing applications, two dimensional image, surface areas |
18 | John D. McCharen, Ross A. Overbeek, Larry Wos |
Problems and Experiments for and with Automated Theorem-Proving Programs. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
Clause sets, UR resolution, theorem-proving, resolution |
17 | Fabio Remondino, Stefano Girardi, Alessandro Rizzi, Lorenzo Gonzo |
3D modeling of complex and detailed cultural heritage using multi-resolution data. |
ACM Journal on Computing and Cultural Heritage |
2009 |
DBLP DOI BibTeX RDF |
3D modeling, photogrammetry, laser scanning |
17 | Peter Christen, Ross W. Gayler, David Hawking |
Similarity-aware indexing for real-time entity resolution. |
CIKM |
2009 |
DBLP DOI BibTeX RDF |
inverted indexing, phonetic encoding, scalability, record linkage, approximate string matching, similarity query, data matching |
Displaying result #501 - #600 of 48800 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|