|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8447 occurrences of 4597 keywords
|
|
|
Results
Found 17251 publication records. Showing 17251 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Choong-Myung Kim, Donghoon Lee, Kichun Nam |
Cerebral Activation Areas with Respect to Word and Sentence Production by Early and Late Korean-English Bilinguals: Event-Related fMRI Study. |
ICONIP |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Leonid Libkin |
Variable independence for first-order definable constraints. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
definable sets, polynomial constraints, variable independence, First-order logic, spatio-temporal databases, linear constraints |
10 | David Gamarnik, John J. Hasenbein |
Weak instability in stochastic and fluid queueing networks. |
SIGMETRICS Perform. Evaluation Rev. |
2003 |
DBLP DOI BibTeX RDF |
Harris recurrence, large deviations, fluid limits |
10 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
Conditions on input vectors for consensus solvability in asynchronous distributed systems. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
fault-tolerance, message-passing, shared memory, Asynchronous systems, crash failures, atomic registers, consensus problem |
10 | Anand Srinivasan, James H. Anderson |
Efficient Scheduling of Soft Real-Time Applications on Multiprocessors. |
ECRTS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Robin Milner |
Bigraphs for Petri Nets. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Ngo Dac Tan, Chawalit Iamjaroen |
Constructions for Nonhamiltonian Burkard-Hammer Graphs. |
IJCCGGT |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jonathan C. Herzog |
The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino |
Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Nutan D. Ahuja, Amit K. Agarwal, Ninad M. Mahajan, Naresh H. Mehta, Hatim N. Kapadia |
GSR and HRV: Its Application in Clinical Diagnosis. |
CBMS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Ton Kloks, Chuan-Min Lee, Jiping Liu, Haiko Müller |
On the Recognition of General Partition Graphs. |
WG |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Patrick D. McDaniel |
On context in authorization policy. |
SACMAT |
2003 |
DBLP DOI BibTeX RDF |
policy-oriented programming, distributed systems, context, authorization, policy, security requirements |
10 | Sergey Kivva |
Data Assimilation for 2-D Advection-Dispersion Equations. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jie Wu 0001, Fei Dai 0001 |
A Generic Distributed Broadcast Scheme in Ad Hoc Wireless Networks. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Judee K. Burgoon, Gates Matthew Stoner, Joseph A. Bonito, Norah E. Dunbar |
Trust and Deception in Mediated Communication. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Mark A. Neerincx, Jan Willem Streefkerk |
Interacting in Desktop and Mobile Context: Emotion, Trust, and Task Performance. |
EUSAI |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Alexis-Julien Bouquet, Olivier Serre, Igor Walukiewicz |
Pushdown Games with Unboundedness and Regular Conditions. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin |
Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL. |
MMM-ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Yongsheng Gao 0001, Maylor K. H. Leung |
Face Recognition Using Line Edge Map. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2002 |
DBLP DOI BibTeX RDF |
line edge map, line segment Hausdorff distance, Face recognition, structural information |
10 | József Beck, Sachin Lodha |
Efficient proper 2-coloring of almost disjoint hypergraphs. |
SODA |
2002 |
DBLP BibTeX RDF |
|
10 | Atsushi Kameda, Nobuo Matsuura, Masahito Yamamoto, Azuma Ohuchi |
An Analysis of Computational Efficiency of DNA Computing. |
UMC |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Mahesh V. Joshi, Ramesh C. Agarwal, Vipin Kumar 0001 |
Predicting rare classes: can boosting make any weak learner strong? |
KDD |
2002 |
DBLP DOI BibTeX RDF |
ANALYZE |
10 | Ryuhei Miyashiro, Hideya Iwasaki, Tomomi Matsui |
Characterizing Feasible Pattern Sets with a Minimum Number of Breaks. |
PATAT |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Josef Danek |
Domain Decomposition Algorithm for Solving Contact of Elastic Bodies. |
International Conference on Computational Science (3) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Joachim Giesen, Matthias John 0003 |
Duality in Disk Induced Flows. |
International Conference on Computational Science (3) |
2002 |
DBLP DOI BibTeX RDF |
Computational geometry, Voronoi diagram, Delaunay triangulation |
10 | Irwin W. Sandberg |
Stability and linearization: discrete-time systems. |
ISCAS (1) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | MaengSoon Baik, Jin Gon Shon, Kibom Kim, JinHo Ahn, Chong-Sun Hwang |
An Efficient Coordinated Checkpointing Scheme Based on PWD Model. |
ICOIN (2) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Roman Slowinski, Salvatore Greco, Benedetto Matarazzo |
Rough Set Analysis of Preference-Ordered Data. |
Rough Sets and Current Trends in Computing |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Santen, Maritta Heisel, Andreas Pfitzmann |
Confidentiality-Preserving Refinement is Compositional - Sometimes. |
ESORICS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger |
Trading Probability for Fairness. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
10 | David Gamarnik |
On deciding stability of constrained random walks and queueing systems. |
SIGMETRICS Perform. Evaluation Rev. |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Alexandr V. Kostochka, Douglas R. Woodall |
Density Conditions for Panchromatic Colourings of Hypergraphs. |
Comb. |
2001 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (2000) Classes: 05C65, 05C35, 05C15 |
10 | Nir Friedman, Joseph Y. Halpern |
Plausibility measures and default reasoning. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
?-semantics, ?-rankings, plausibility measures, preferential orderings nonmonotonic inference, default reasoning, possibility measures, Conditional logic |
10 | Rémi Gribonval, Morten Nielsen 0002 |
Approximate Weak Greedy Algorithms. |
Adv. Comput. Math. |
2001 |
DBLP DOI BibTeX RDF |
greedy algorithm, nonlinear approximation |
10 | Thanh Tran 0003, Ernst P. Stephan |
Two-Level Additive Schwarz Preconditioners for the h-p Version of the Galerkin Boundary Element Method for 2-d Problems. |
Computing |
2001 |
DBLP DOI BibTeX RDF |
65N38, AMS Subject Classifications: 65N55 |
10 | Hideo Murakami |
A real-valued block filter bank with perfect-reconstruction property. |
ICIP (3) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jessica J. Baldis |
Effects of spatial audio on memory, comprehension, and preference during desktop conferences. |
CHI |
2001 |
DBLP DOI BibTeX RDF |
focal assurance, communication, perception, memory, audio, 3D, sound, user preference, comprehension, spatial |
10 | Kyoko Yamori, Yoshiaki Tanaka, Haruo Akimaru |
Price Optimization of Contents Delivery Systems with Priority. |
ICN (1) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy |
A hierarchy of conditions for consensus solvability. |
PODC |
2001 |
DBLP DOI BibTeX RDF |
asynchronous shared memory, step complexity, fault-tolerance, consensus, snapshot |
10 | Zhiping Lin 0001, Jiang Qian Ying, Li Xu 0004 |
Further results on primitive factorizations for nD polynomial matrices. |
ISCAS (2) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
Conditions on input vectors for consensus solvability in asynchronous distributed systems. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
fault-tolerance, consensus, asynchronous systems |
10 | Aggelos Kiayias, Moti Yung |
Self Protecting Pirates and Black-Box Traitor Tracing. |
CRYPTO |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Mitchell Wand |
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Anindya Datta, Sang Hyuk Son, Vijay Kumar 0002 |
Is a Bird in the Hand Worth More than Two in the Bush? Limitations of Priority Cognizance in Conflict Resolution for Firm Real-Time Database Systems. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
performance evaluation, concurrency control, Real-time database systems |
10 | Kunihiro Fujiyoshi, Hiroshi Murata |
Arbitrary convex and concave rectilinear block packing usingsequence-pair. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Lauri Hella, Juha Nurmonen |
Vectorization hierarchies of some graph quantifiers. |
Arch. Math. Log. |
2000 |
DBLP DOI BibTeX RDF |
Ehrenfeucht-Fraïssé games, Vectorization, Finite model theory, Generalized quantifiers |
10 | Andrei Sabelfeld, David Sands 0001 |
Probabilistic Noninterference for Multi-Threaded Programs. |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference |
10 | Leonid Libkin |
Variable Independence, Quantifier Elimination, and Constraint Representations. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Yuhsuke Itoh, Makoto Haraguchi |
Conceptual Classifications Guided by a Concept Hierarchy. |
ALT |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Jennifer Lai, David Wood, Michael Considine |
The effect of task conditions on the comprehensibility of synthetic speech. |
CHI |
2000 |
DBLP DOI BibTeX RDF |
user study, comprehension, text-to-speech, synthetic speech |
10 | Rishiyur S. Nikhil, Umakishore Ramachandran |
Garbage collection of timestamped data in Stampede. |
PODC |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Eugenio Roanes-Macías, Eugenio Roanes-Lozano |
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Jay Belanger, Aduri Pavan, Jie Wang 0002 |
Reductions Do Not Preserve Fast Convergence Rates in Average Time. |
Algorithmica |
1999 |
DBLP DOI BibTeX RDF |
Average polynomial time, Distributional problem, Reductions |
10 | Diego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, Steve M. Easterbrook |
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Joseph Y. Halpern, Nir Friedman |
Plausibility Measures and Default Reasoning: An Overview. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Amy Sundermier, Suzanne W. Dietrich, Vandana Shah |
An Active Database Approach to Integrating Black-Box Software Components. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
rule-based databases, object-oriented programming, software components, active databases |
10 | Yuji Kukimoto, Robert K. Brayton |
Timing-safe false path removal for combinational modules. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Keiji Konishi, Hiroki Sugiyama, Hideki Kokame, Kentaro Hirata |
Decentralized delayed-feedback control of a coupled ring map lattice. |
ISCAS (5) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | James R. Morrison, P. R. Kumar 0001 |
On the guaranteed throughput and efficiency of closed re-entrant lines. |
Queueing Syst. Theory Appl. |
1998 |
DBLP DOI BibTeX RDF |
closed networks, stability, efficiency, throughput, queueing networks |
10 | Jichiang Tsai 0001, Sy-Yen Kuo, Yi-Min Wang |
Theoretical Analysis for Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
Rollback-dependency trackability, communication-induced protocols, checkpointing, on-line algorithms, rollback recovery |
10 | Martin C. Cooper |
The Tractability of Segmentation and Scene Analysis. |
Int. J. Comput. Vis. |
1998 |
DBLP DOI BibTeX RDF |
computational complexity, segmentation, NP-completeness, scene analysis |
10 | Guang-Bin Huang, Haroon A. Babri |
Comments on "Approximation capability in C(Rn) by multilayer feedforward networks and related problems". |
IEEE Trans. Neural Networks |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Morten Heine Sørensen |
Convergence of Program Transformers in the Metric Space of Trees. |
MPC |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Zhonghua Yang, Chengzheng Sun, Abdul Sattar 0001, Yanyan Yang |
Guaranteed Mutually Consistent Checkpointing in Distributed Computations. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Jochen Meßner, Jacobo Torán |
Optimal Proof Systems for Propositional Logic and Complete Sets. |
STACS |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Michael Lightstone, Sanjit K. Mitra |
Quadtree Optimization for Image and Video Coding. |
J. VLSI Signal Process. |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Dong Sik Kim, Taejeong Kim, Sang Uk Lee |
On testing trained vector quantizer codebooks. |
IEEE Trans. Image Process. |
1997 |
DBLP DOI BibTeX RDF |
|
10 | David I. August, Daniel A. Connors, John C. Gyllenhaal, Wen-mei W. Hwu |
Architectural Support for Compiler-Synthesized Dynamic Branch Prediction Strategies: Rationale and Initial Results. |
HPCA |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Dziembowski, Marcin Jurdzinski, Igor Walukiewicz |
How Much Memory is Needed to Win Infinite Games? |
LICS |
1997 |
DBLP DOI BibTeX RDF |
finitely coloured graphs, size of memory, latest appearance record, winning strategies, polynomial-size blowup, data structure, graph colouring, reactive programs, I/O automata, infinite games, two-player games, upper and lower bounds |
10 | Elena Pezzoli |
On the Computational Complexity of Type 2 Functionals. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Ben-Kwei Jang, Roland T. Chin, Mohammed Charif-Chefchaouni, Dan Schonfeld |
Comments on "On the invertibility of morphological representation of binary images" [and reply]. |
IEEE Trans. Image Process. |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Ron van der Meyden |
Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall. |
PRICAI Workshop on Intelligent Agent Systems |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Wanli Ma, C. W. Johnson, Richard P. Brent |
Programming with transactions and chemical abstract machine. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
chemical abstract machine, T-Cham, interactive computational model, T-Cham program, coordination style, transactions, transaction processing, high level languages, database languages |
10 | Jian-Qiang Hu |
Analyticity of single-server queues in light traffic. |
Queueing Syst. Theory Appl. |
1995 |
DBLP DOI BibTeX RDF |
TheGI/G/1 queue, light traffic derivatives, MacLaurin series, analyticity |
10 | Walter Hussak, John A. Keane |
Concurrency Control of Tiered Flat Transactions. |
BNCOD |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Michele Bugliesi, Hasan M. Jamil |
A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Ming-Haw Yaou, Wen-Thong Chang |
Fast Surface Interpolation using Multiresolution Wavelet Transform. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
multiresolution wavelet transform, large sparse linear equation system, multiresolution basis transfer scheme, interpolation basis, QMF matrix pair, wavelet transforms, interpolation, convergence, signal processing, frequency domain, convergence of numerical methods, preconditioner, surface interpolation |
10 | Sandip K. Biswas |
In-Place Updates in the Presence of Control Operators. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Yehuda Afek, Geoffrey M. Brown, Michael Merritt |
Lazy Caching. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
shared memory, cache coherence, sequential consistency |
10 | Ashish Gupta 0001, Jennifer Widom |
Local Verification of Global Integrity Constraints in Distributed Databases. |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
10 | Yoav Raz |
Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Oded Maler, Ludwig Staiger |
On Syntactic Congruences for Omega-Languages. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Leonidas Georgiadis, Wojciech Szpankowski |
Stability of token passing rings. |
Queueing Syst. Theory Appl. |
1992 |
DBLP DOI BibTeX RDF |
Token passing rings, substability, Loynes' scheme, Little's formula, stability, Markov chains, ergodicity, regenerative processes, stochastically dominant |
10 | Andrei Kovalyov |
Concurrency Relations and the Safety Problem for Petri Nets. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
On Safe Folding. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
computed answer substitution semantics, Program transformation, folding |
10 | Narain H. Gehani, H. V. Jagadish, Oded Shmueli |
Event Specification in an Active Object-Oriented Database. |
SIGMOD Conference |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Amos Beimel, Benny Chor |
Universally Ideal Secret Sharing Schemes (Preliminary Version). |
CRYPTO |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Yehoshua Sagiv |
On Testing Effective Computability of Magic Programs. |
DOOD |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Ben-Kwei Jang, Roland T. Chin |
Analysis of Thinning Algorithms Using Mathematical Morphology. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1990 |
DBLP DOI BibTeX RDF |
digital skeletons, skeletal bias, convergence, computerised picture processing, mathematical morphology, noise immunity, thinning algorithms |
10 | Hua Yang, Douglas H. Fisher, Hubertus Franke |
Improving Planning Efficient by Conceptual Clustering. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Robert A. Kowalski |
The Treatment of Negation in Logic Programs for Representing Legislation. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Radha Jagadeesan |
L-domains and Lossless Powerdomains. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Gautam Das 0001, Deborah Joseph |
Which Triangulations Approximate the Complete Graph?. |
Optimal Algorithms |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Patrick C. McGeer, Robert K. Brayton |
Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network. |
DAC |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Maurice Herlihy |
Taking concurrency seriously (position paper). |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Maurice Herlihy, Jeannette M. Wing |
Linearizable concurrent objects. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Jeanne Ferrante, Mary E. Mace, Barbara Simons |
Generating sequential code from parallel code. |
ICS |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Volker Diekert |
On the Knuth-Bendix Completion for Concurrent Processes. |
ICALP |
1987 |
DBLP DOI BibTeX RDF |
|
10 | William Paul Jones, Susan T. Dumais |
The Spatial Metaphor for User Interfaces: Experimental Tests of Reference by Location versus Name. |
ACM Trans. Inf. Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
10 | B. Nguyen, R. Rom |
Communication services under EMCON. |
SIGCOMM |
1986 |
DBLP DOI BibTeX RDF |
|
|
|