|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5177 occurrences of 2797 keywords
|
|
|
Results
Found 17345 publication records. Showing 17345 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | David A. Basin, Felix Klaedtke, Samuel Müller 0002 |
Monitoring security policies with metric first-order temporal logic. |
SACMAT |
2010 |
DBLP DOI BibTeX RDF |
access control, monitoring, temporal logic, security policies, compliance, separation of duty, usage control |
15 | Paris A. Mastorocostas, Constantinos S. Hilas |
A block-diagonal recurrent fuzzy neural network for system identification. |
Neural Comput. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Block-diagonal recurrent fuzzy-neural network, Internal feedback, Separation of lung sounds, System identification |
15 | Harvey Tuch |
Formal Verification of C Systems Code. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
C, Separation logic, Interactive theorem proving |
15 | Xinyu Feng 0001, Zhong Shao, Yu Guo, Yuan Dong |
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives |
15 | Elena Angeli, Chiara Manneschi, Luca Repetto, Giuseppe Firpo, Corrado Boragno, Ugo Valbusa |
Fabrication of Elastomeric Nanofluidic Devices for Manipulation of Long DNA Molecules. |
NanoNet |
2009 |
DBLP DOI BibTeX RDF |
Nanochannels, DNA Separation, Nanoconfinement, PDMS |
15 | Xinyu Feng 0001 |
Local rely-guarantee reasoning. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning |
15 | Tom Ridge |
Verifying distributed systems: the operational approach. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning |
15 | Zhongcheng Zhang |
Alternating Iterative Projection Algorithm of Multivariate Time Series Mixed Models. |
ISNN (1) |
2009 |
DBLP DOI BibTeX RDF |
Multivariate time series regression, Ill-condition separation, Alternating iterative, Parameters estimation |
15 | Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
Effective interactive proofs for higher-order imperative programs. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
functional programming, dependent types, separation logic, interactive proof assistants |
15 | Jianfeng Lu, Ruixuan Li 0001, Vijay Varadharajan, Zhengding Lu, Xiaopu Ma |
Secure Interoperation in Multidomain Environments Employing UCON Policies. |
ISC |
2009 |
DBLP DOI BibTeX RDF |
Multidomain, cyclic inheritance, interoperation, separation of duty, usage control |
15 | Aleksandar Nanevski, Paul Govereau, Greg Morrisett |
Towards type-theoretic semantics for transactional concurrency. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
type theory, monads, hoare logic, separation logic |
15 | Nick Benton, Nicolas Tabareau |
Compiling functional types to relational specifications for low level imperative code. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
separation logic, proof assistants, compiler verification, relational parametricity, type soundness |
15 | Peng Zhang 0002, Yuexian Hou, Dawei Song 0001 |
Approximating true relevance distribution from a mixture model based on irrelevance data. |
SIGIR |
2009 |
DBLP DOI BibTeX RDF |
distribution separation model, irrelevant data, true relevance distribution, pseudo-relevance feedback |
15 | Iris Reinbacher, Marc Benkert, Marc J. van Kreveld, Joseph S. B. Mitchell, Jack Snoeyink, Alexander Wolff 0001 |
Delineating Boundaries for Imprecise Regions. |
Algorithmica |
2008 |
DBLP DOI BibTeX RDF |
Red-blue separation, Imprecise regions, Computational geometry |
15 | Gang Wang 0020, Nini Rao, Ying Zhang 0046 |
Atrial fibrillatory signal estimation using blind source extraction algorithm based on high-order statistics. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
blind source extraction (BSE), blind source separation (BSS), electrocardiogram (ECG), atrial fibrillation |
15 | Noah Torp-Smith, Lars Birkedal, John C. Reynolds |
Local reasoning about a copying garbage collector. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
copying garbage collector, Separation logic, local reasoning |
15 | Cynthia E. Irvine, Timothy E. Levin, Paul C. Clark, Thuy D. Nguyen |
A security architecture for transient trust. |
CSAW |
2008 |
DBLP DOI BibTeX RDF |
virtualization, multilevel security, emergency management, separation kernel |
15 | Dino Distefano, Matthew J. Parkinson |
jStar: towards practical verification for java. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
moduarity, design patterns, classes, separation logic |
15 | François Pottier |
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Proofs of programs, hidden local state, higher-order frame rule, separation logic, dynamic memory allocation |
15 | Christian Wolter, Andreas Schaad, Christoph Meinel |
Task-based entailment constraints for basic workflow patterns. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
task-based entailment constraints, access control, workflow management, separation of duty, workflow modelling |
15 | Laurent Mathy, Luigi Iannone |
LISP-DHT: towards a DHT to map identifiers onto locators. |
CoNEXT |
2008 |
DBLP DOI BibTeX RDF |
locator/ID separation, routing, DHT, LISP, addressing, internet architecture |
15 | Xinyu Feng 0001, Zhong Shao, Yuan Dong, Yu Guo |
Certifying low-level programs with hardware interrupts and preemptive threads. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
certified system software, hardware interrupts, preemptive threads, concurrency, separation logic |
15 | Thorsten Keuler |
An aspect-oriented approach for improving architecture design efficiency. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
quality-centric views, software architecture, separation of concerns, aspect orientation, model weaving |
15 | Alexander Roßnagel |
Personalisierung in der E-Welt Aus dem Blickwinkel der informationellen Selbstbestimmung gesehen. |
Wirtschaftsinf. |
2007 |
DBLP DOI BibTeX RDF |
Restricted Data Processing, informational Separation of Powers, Identity Infrastructure, Control, Data Protection, Personal Data, Technology Design, Personality Profile |
15 | Nong Gu, Daniel Lazard, Fabrice Rouillier, Yong Xiang |
Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process. |
Math. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
global convergence analysis, stochastic gradient algorithm, discriminant variety, parametric polynomial system, MIMO systems, Blind signal separation |
15 | Martin P. Robillard, Gail C. Murphy |
Representing concerns in source code. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
Java, software evolution, Separation of concerns, aspect-oriented software development, concern modeling |
15 | David A. Naumann |
On assertion-based encapsulation for object invariants and simulations. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Object invariants, Encapsulation and abstraction, Separation and alias control |
15 | Ramesh Ram, Madhu Chetty |
A Framework for Path Analysis in Gene Regulatory Networks. |
PRIB |
2007 |
DBLP DOI BibTeX RDF |
d-separation, Causal model, conditional independence |
15 | Minyar Sassi, Amel Grissa Touzi, Habib Ounelli |
Clustering Quality Evaluation Based on Fuzzy FCA. |
DEXA |
2007 |
DBLP DOI BibTeX RDF |
Clustering Quality, Overlapping Rate, Separation Degree, Formal Concept Analyis, Fuzzy Concept Lattice, Validity Index |
15 | Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn |
Modular verification of a non-blocking stack. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
concurrency, separation logic, non-blocking |
15 | Nick Benton, Uri Zarfaty |
Formalizing and verifying semantic type soundness of a simple compiler. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
relational para-metricity, separation logic, proof assistants, compiler verification, type soundness |
15 | Limin Shen, Shangping Ren, Feng Li 0017, Yunfeng Mu |
A Time and Interaction Model for Open Distributed Timing Computation. |
ICA3PP |
2007 |
DBLP DOI BibTeX RDF |
distributed timing computation, real-time, event, separation of concerns, message, coordination model |
15 | Chanwit Kaewkasi, John R. Gurd |
A distributed dynamic aspect machine for scientific software development. |
VMIL |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, virtual machine, high performance computing, separation of concerns, Run-time environments |
15 | Deniz Erdogmus, Umut Ozertem |
Nonlinear Coordinate Unfolding Via Principal Curve Projections with Application to Nonlinear BSS. |
ICONIP (2) |
2007 |
DBLP DOI BibTeX RDF |
Nonlinear independent component analysis, nonlinear blind source separation, principal curves and surfaces, manifold unfolding, nonlinear coordinate transformation |
15 | Gerhard Kramer, Serap A. Savari |
Edge-Cut Bounds on Network Coding Rates. |
J. Netw. Syst. Manag. |
2006 |
DBLP DOI BibTeX RDF |
d-separation, network coding, active networks, Network capacity |
15 | Aditya Ramamoorthy, Kamal Jain, Philip A. Chou, Michelle Effros |
Separating distributed source coding from network coding. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
multicast, network coding, separation, distributed source coding |
15 | Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin J. Sullivan |
Aspects and/versus modularity the grand debate. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
independent development, software engineering, aspect-oriented programming, modularization, separation of concerns, aspect-oriented software development, readability, program structure |
15 | Giuseppe Pappalardo, Emiliano Tramontana |
Automatically discovering design patterns and assessing concern separations for applications. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
software engineering, design patterns, evolution, software evolution, separation of concerns, computational reflection |
15 | Anis Charfi, Mira Mezini |
Aspect-Oriented Workflow Languages. |
OTM Conferences (1) |
2006 |
DBLP DOI BibTeX RDF |
Modularity, Separation of Concerns, Aspect-Oriented Software Development, Workflow Languages |
15 | Benny P. L. Lo, Fani Deligianni, Guang-Zhong Yang |
Source Recovery for Body Sensor Network. |
BSN |
2006 |
DBLP DOI BibTeX RDF |
Multi-sensory data fusion, source recovery, blind source separation |
15 | Patrick Hill, Simon Holland, Robin C. Laney |
Symmetric composition of musical concerns. |
AOSD |
2006 |
DBLP DOI BibTeX RDF |
multi-dimensional separation of concerns, aspect-oriented programming, music composition, music representation |
15 | Ted Huffmire, Shreyas Prasad, Timothy Sherwood, Ryan Kastner |
Policy-Driven Memory Protection for Reconfigurable Hardware. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
Embedded Systems, Computer Security, Security Policies, Policy Languages, Reference Monitors, Separation Kernels |
15 | Theodore P. Pachidis, John N. Lygouras |
Pseudo-Stereo Vision System: A Detailed Study. |
J. Intell. Robotic Syst. |
2005 |
DBLP DOI BibTeX RDF |
images separation, mirrors alignment, pseudo-stereovision, single camera, complex image |
15 | Nong Ye, Toni Farley |
A Scientific Approach to Cyberattack Detection. |
Computer |
2005 |
DBLP DOI BibTeX RDF |
Cyberattack detection, Attack-norm separation, Signal detection models, Detection systems, Security and privacy |
15 | Yutaka Miyazaki |
Some Properties of Orthologics. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
orthologics, variable separation property, cardinality of orthologics |
15 | James Joshi, Elisa Bertino, Usman Latif, Arif Ghafoor |
A Generalized Temporal Role-Based Access Control Model. |
IEEE Trans. Knowl. Data Eng. |
2005 |
DBLP DOI BibTeX RDF |
Access control, temporal constraints, separation of duty, role-based, role hierarchy |
15 | Dhananjay S. Phatak, Tom Goff |
Fast Modular Reduction for Large Wordlengths via One Linear and One Cyclic Convolution. |
IEEE Symposium on Computer Arithmetic |
2005 |
DBLP DOI BibTeX RDF |
fast modular reduction, large wordlength, FFT multiply, linear convolution, principle of separation, cryptography, elliptic-curve, number theoretic transforms, cyclic convolution |
15 | Tim Dwyer, Yehuda Koren, Kim Marriott |
Stress Majorization with Orthogonal Ordering Constraints. |
GD |
2005 |
DBLP DOI BibTeX RDF |
separation constraints, constrained optimization, graph layout |
15 | Hafiz Malik, Ashfaq A. Khokhar, Rashid Ansari |
Improved watermark detection for spread-spectrum based watermarking using independent component analysis. |
Digital Rights Management Workshop |
2005 |
DBLP DOI BibTeX RDF |
watermarking, independent component analysis, correlation, detection, blind source separation, spread spectrum |
15 | John W. Stamey Jr., Bryan T. Saunders, Simon Blanchard |
The aspect-oriented web. |
SIGDOC |
2005 |
DBLP DOI BibTeX RDF |
AOP-like behavior, AOPHP, LAMP, aspect-oriented programming, separation of concerns, web development |
15 | Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama |
An adaptive object model with dynamic role binding. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
adaptation, separation of concerns, role model |
15 | Jens Lysgaard, Adam N. Letchford, Richard W. Eglese |
A new branch-and-cut algorithm for the capacitated vehicle routing problem. |
Math. Program. |
2004 |
DBLP DOI BibTeX RDF |
separation, vehicle routing, branch-and-cut |
15 | Robby T. Tan, Ko Nishino, Katsushi Ikeuchi |
Separating Reflection Components Based on Chromaticity and Noise Analysis. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2004 |
DBLP DOI BibTeX RDF |
Reflection components separation, chromaticity, specular-to-diffuse mechanism, specular reflection, noise analysis, diffuse reflection, dichromatic reflection model |
15 | Anna Tonazzini, Luigi Bedini, Emanuele Salerno |
Independent component analysis for document restoration. |
Int. J. Document Anal. Recognit. |
2004 |
DBLP DOI BibTeX RDF |
Degraded documents, Palimpsest restoration- Bleed-through cancellation, Independent component analysis, Blind source separation |
15 | Michael Gastpar, Martin Vetterli |
Power-bandwidth-distortion scaling laws for sensor networks. |
IPSN |
2004 |
DBLP DOI BibTeX RDF |
OPTA (optimum performance theoretically attainable), sensor networks, joint source-channel coding, separation theorem |
15 | Periklis Sochos, Ilka Philippow, Matthias Riebisch |
Feature-Oriented Development of Software Product Lines: Mapping Feature Models to the Architecture. |
Net.ObjectDays |
2004 |
DBLP DOI BibTeX RDF |
product line methods, feature-architecture mapping, Software product lines, generative programming, separation of concerns, feature modelling, plug-in architectures |
15 | Rafael Ramírez 0001, Andrew E. Santosa |
Concurrent and distributed programming using constraint logic programs. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
concurrency, constraints, separation of concerns |
15 | Lars Birkedal, Noah Torp-Smith, John C. Reynolds |
Local reasoning about a copying garbage collector. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
copying garbage collector, separation logic, local reasoning |
15 | Anis Charfi, Mira Mezini |
Aspect-Oriented Web Service Composition with AO4BPEL. |
ECOWS |
2004 |
DBLP DOI BibTeX RDF |
Adaptive web service composition, aspect-oriented programming, BPEL, separation of concerns |
15 | Dionisio de Niz, Raj Rajkumar |
Time weaver: a software-through-models framework for embedded real-time systems. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
couplers, semantic dimension, semantic separation, software-through-models, real-time, embedded |
15 | Adriana Dapena, Carlos J. Escudero |
A Novel Unsupervised Strategy to Separate Convolutive Mixtures in the Frequency Domain. |
IWANN (2) |
2003 |
DBLP DOI BibTeX RDF |
convolutive mixtures, multiuser communication, Blind source separation, blind deconvolution |
15 | David F. Ferraiolo, Ramaswamy Chandramouli, Gail-Joon Ahn, Serban I. Gavrila |
The role control center: features and case studies. |
SACMAT |
2003 |
DBLP DOI BibTeX RDF |
administrative roles, role graph, separation of duty, role hierarchy, authorization management |
15 | Patrick C. K. Hung |
Specifying conflict of interest in web services endpoint language (WSEL). |
SIGecom Exch. |
2002 |
DBLP DOI BibTeX RDF |
security risk factor, web services Endpoint language, Java, XML, separation of duties, conflict of interest |
15 | Brian M. Sadler, Richard J. Kozick, Terrence J. Moore, Ananthram Swami |
Bounds on SIMO and MIMO Channel Estimation and Equalization with Side Information. |
J. VLSI Signal Process. |
2002 |
DBLP DOI BibTeX RDF |
Cramér-Rao bounds, semi-blind, constant modulus, blind estimation, communications, equalization, channel estimation, source separation |
15 | Juha Karvanen, Jan Eriksson, Visa Koivunen |
Adaptive Score Functions for Maximum Likelihood ICA. |
J. VLSI Signal Process. |
2002 |
DBLP DOI BibTeX RDF |
Blind Separation, Generalized Lambda Distribution, Pearson system, L-moments, score function |
15 | Doug Orleans |
Incremental programming with extensible decisions. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, extensibility, separation of concerns, predicate dispatching, incremental programming |
15 | Awais Rashid |
A Database Evolution Approach for Object-Oriented Databases. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
object database evolution, class versioning, aspect-oriented programming, Object oriented databases, separation of concerns, schema evolution, object versioning |
15 | Vojtech Franc, Václav Hlavác |
A Contribution to the Schlesinger's Algorithm Separating Mixtures of Gaussians. |
CAIP |
2001 |
DBLP DOI BibTeX RDF |
Gaussian separation, pattern recognition |
15 | Paul J. Layzell 0001, Pearl Brereton, Andrew French |
Supporting collaboration in distributed software engineering teams. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
distributed software engineering teams, support technology, economic factors, software process globalization, geographical separation, software development personnel, project quality, distributed software projects, industrial context, educational context, team structure, communication, groupware, project management, project management, cooperation, computer aided software engineering, software development management, stakeholders, human resource management, procedures, project support environments, collaboration support |
15 | Guang Yang, Ivan Tomek |
Team Lab: A Collaborative Environment for Teamwork. |
CRIWG |
2000 |
DBLP DOI BibTeX RDF |
Team Lab, geographical separation, code development, concurrent programming activity, central code repository, software development, efficiency, programming environments, quality, productivity, collaborative virtual environment, teamwork, collaborative environment, client-server application, software development teams |
15 | Nedeljko Varnica, Michael Fleming, Michelle Effros |
Multi-Resolution Adaptation of the SPIHT Algorithm for Multiple Description. |
Data Compression Conference |
2000 |
DBLP DOI BibTeX RDF |
separation principle, multi-resolution, SPIHT, Multiple description, state information |
15 | Ella Bingham, Aapo Hyvärinen |
ICA of Complex Valued Signals: A Fast and Robust Deflationary Algorithm. |
IJCNN (3) |
2000 |
DBLP DOI BibTeX RDF |
Complex valued signals, Deflationary separation, Independent Component Analysis |
15 | Elke Pulvermüller, Andreas Speck, Awais Rashid |
Implementing Collaboration-Based Designs Using Aspect-Oriented Programming. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
Mixin Layers, Aspect-Oriented Programming, Contracts, Separation of Concerns, Collaboration-based Design |
15 | Christopher G. Healey, James T. Enns |
Large Datasets at a Glance: Combining Textures and Colors in Scientific Visualization. |
IEEE Trans. Vis. Comput. Graph. |
1999 |
DBLP DOI BibTeX RDF |
color category, multivariate dataset, pexel, preattentive processing, typhoon, perception, texture, Color, scientific visualization, psychophysics, experimental design, human vision, linear separation |
15 | HyungHyo Lee, BongNam Noh |
An Integrity Enforcement Application Design and Operation Framework in Role-Based Access Control Systems: A Session-Oriented Approach. |
ICPP Workshops |
1999 |
DBLP DOI BibTeX RDF |
access control, integrity, RBAC, security model, separation of duty |
15 | Tamás Horváth 0002 |
Arithmetic Design for Permutation Groups. |
CHES |
1999 |
DBLP DOI BibTeX RDF |
permutation multiplier, destination-tag routing, separation network, binary group, secret-key cryptosystem, PGM, switching network, sorting network, compact representation |
15 | Olivier Alata, Pierre Baylou, Mohamed Najim |
A New 2-D Spectrum Estimate Using Multichannel AR Approach of 2-D Fast RLS Algorithms. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
2D spectrum estimate, multichannel AR approach, 2D fast RLS algorithms, high resolution 2D spectrum analysis, harmonic mean horizontal vertical, 2D FRLS, causal 2D autoregressive parameters, second quarter plane support, first quarter plane support, vertical frequency components, horizontal frequency components, single peak area, sinusoids separation, 2D linear prediction, spectral analysis, variances, gray level image, biases, harmonic mean |
15 | Jens-Rainer Ohm, Phuong Ma |
Feature-based cluster segmentation of image sequences. |
ICIP (3) |
1997 |
DBLP DOI BibTeX RDF |
feature-based cluster segmentation, classification results tracking, local feature analysis, segment merging, global classification, object separation, low-complexity technique, image sequences, image sequences, color, motion, vector quantization, pixels, object segmentation, object classification, features weighting, cluster labels |
15 | Qian Huang, Byron Dom, David Steele, Jonathan Ashley, Wayne Niblack |
Foreground/background segmentation of color images by integration of multiple cues. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
foreground/background segmentation, multi-level segmentation scheme, edge-based separation, image segmentation, integration, edge detection, minimum description length, color images, image colour analysis, unsupervised segmentation, textured images, color clustering, multiple cues |
15 | Pyeoung Kee Kim, Hang Joon Kim |
On-line recognition of run-on Korean characters. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
on-line character recognition, run-on Korean characters, extended primitive strokes, cursive stroke extraction, character separation rules, generalized character list, stroke code sequence, positional relations, target character searching, feature extraction, character recognition, character sets, fuzzy membership functions |
15 | Arie Pikaz, Its'hak Dinstein |
Using Simple Decomposition for Smoothing and Feature Point Detection of Noisy Digital Curves. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
noisy digital curves, smoothed polygonal approximation, curvature function, separation point, smoothed approximation, inflection points, curve points, convex-concave sections, cusps, concave-concave sections, convex-convex sections, local minimal curvature, total curvature graphs, computational complexity, image processing, feature extraction, decomposition, smoothing, complexity analysis, planar curves, feature point detection |
15 | Chan Pyng Lai, Rangachar Kasturi |
Detection of Dimension Sets in Engineering Drawings. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
engineering computing, dimension sets, ANSI drafting standards, rule-based text/graphics separation algorithm, model-based procedure, arrowhead tracking, tails, text blocks, feature control frames, image segmentation, image recognition, document image processing, engineering drawings, search methods, segmented images, leaders |
15 | Nageswara S. V. Rao, E. M. Oblow, Charles W. Glover |
Learning Separations by Boolean Combinations of Half-Spaces. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
Boolean combinations, learning half spaces, separation function, online learning algorithm, learning (artificial intelligence), neural nets, separations, perceptrons, consolidator |
15 | Carsten Damm, Matthias Krause 0001, Christoph Meinel, Stephan Waack |
Separating Counting Communication Complexity Classes. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
complexity of Boolean function, communication complexity and distributed computing, probabilism, lower bound arguments, separation of complexity classes |
15 | Van-Ban Le, D. T. Lee |
Out-of-Roundness Problem Revisited. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
minimum area difference centre, minimum radial separation, out-of-roundness, farthest-neighbor Voronoi diagram, computational geometry, computational geometry, polygon, medial axis, intersection points |
15 | Xuanli Lisa Xie, Gerardo Beni |
A Validity Measure for Fuzzy Clustering. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
fuzzy validity criterion, validity function, fuzzy c-partitions, geometric distance measure, cluster centroids, separation index, computer color vision system, IC wafer defects, pattern recognition, fuzzy clustering, fuzzy set theory, minimisation, uniqueness, color image segmentation |
15 | D. Ophir, Robert J. Spinrad |
Three-dimensional computer display. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
color separation, interactive stereographic terminal, swept raster display, video map, computer graphics, three-dimensional display |
15 | Bhuvnesh Kumar Sharma, Mithilesh Kumar 0005, R. S. Meena |
Development of a speech separation system using frequency domain blind source separation technique. |
Multim. Tools Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal |
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Matheja, Jens Pagel, Florian Zuleger |
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions. |
ACM Trans. Comput. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jiangyu Han, Yanhua Long |
Heterogeneous separation consistency training for adaptation of unsupervised speech separation. |
EURASIP J. Audio Speech Music. Process. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jiayi Guo, Sen Liu, Kun Yu, Xiaoman Chen, Yunpeng Liu 0003, Fangcheng Lü |
An Ultrahigh Voltage Shunt Reactor Acoustic Signal Separation Method Based on Masking Beamforming and Underdetermined Blind Source Separation. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mina Kemiha, Abdellah Kacha |
Single-Channel Blind Source Separation using Adaptive Mode Separation-Based Wavelet Transform and Density-Based Clustering with Sparse Reconstruction. |
Circuits Syst. Signal Process. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wupeng Xie, Xiaoxiao Xiang, Xiaojuan Zhang 0001, Guanghong Liu |
A Pre-Separation and All-Neural Beamformer Framework for Multi-Channel Speech Separation. |
Symmetry |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Chao Hou, Xinxin Wang, Haotai Xie, Taoyu Chen, Peiyu Zhu, Xiaofeng Xu, Kaiqiang You, Tingting Li |
PhaSepDB in 2022: annotating phase separation-related proteins with droplet states, co-phase separation partners and other experimental information. |
Nucleic Acids Res. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yanli Ji, Shuo Ma, Xing Xu 0001, Xuelong Li 0001, Heng Tao Shen |
Self-Supervised Fine-Grained Cycle-Separation Network (FSCN) for Visual-Audio Separation. |
IEEE Trans. Multim. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Barbara Caroline Benato, Alexandre Xavier Falcão, Alexandru Cristian Telea |
Linking data separation, visual separation, and classifier performance using pseudo-labeling by contrastive learning. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuchen Hu, Chen Chen 0075, Heqing Zou, Xionghu Zhong, Eng Siong Chng |
Unifying Speech Enhancement and Separation with Gradient Modulation for End-to-End Noise-Robust Speech Separation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hao Ma, Xiang Zheng, Lu Yu, Xingyu Zhou, Yufan Chen |
A novel end-to-end deep separation network based on attention mechanism for single channel blind separation in wireless communication. |
IET Signal Process. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Arthur Charguéraud |
A Modern Eye on Separation Logic for Sequential Programs. (Un nouveau regard sur la Logique de Séparation pour les programmes séquentiels). |
|
2023 |
RDF |
|
|
|