|
|
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 |
12 | Hongliang Yu, Xiaohong Wang, Zhugang Yuan |
Research on the Intelligent Control of Sintering Process Based on the Integrated Automation of Cement Enterprise. |
HIS (2) |
2009 |
DBLP DOI BibTeX RDF |
Integrated automation of cement enterprise, sinter process, kiln-working-condition identification, intelligent control |
12 | Linliang Zhao, Gaoqiang Liu, Jie Chen, Zhiwei Zhang |
Flooding and Directed Diffusion Routing Algorithm in Wireless Sensor Networks. |
HIS (2) |
2009 |
DBLP DOI BibTeX RDF |
sensor networks directed flooding, node-hop, forwarding condition, hop refreshment |
12 | Wai Kit Wong, Poi Ngee Tan, Chu Kiong Loo, Way-Soong Lim |
An Effective Surveillance System Using Thermal Camera. |
ICSAP |
2009 |
DBLP DOI BibTeX RDF |
Thermal imaging system, Machine condition, Surveillance System |
12 | Rubén de Juan-Marín, Luis Irún-Briz, Francesc D. Muñoz-Escoí |
A Cost Analysis of Solving the Amnesia Problems. |
AINA Workshops |
2009 |
DBLP DOI BibTeX RDF |
replicated transactional systems, crash-recovery with partial amnesia, progress condition, recovery |
12 | Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott |
A comprehensive strategy for contention management in software transactional memory. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
condition synchronization, inevitability, priority, contention management, software transactional memory |
12 | Paul Macklin, John S. Lowengrub |
A New Ghost Cell/Level Set Method for Moving Boundary Problems: Application to Tumor Growth. |
J. Sci. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Ghost fluid method, Ghost cell method, Tumor growth, NAGSI, Nonlinear elliptic equations, Heaviside function, Heterogeneous media, Heterogeneous tissue structure, Adaptive normal vector calculation, Normal derivative jump boundary condition, Level set method, Poisson equation |
12 | Houde Han, Zhongyi Huang, R. Bruce Kellogg |
A Tailored Finite Point Method for a Singular Perturbation Problem on an Unbounded Domain. |
J. Sci. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Tailored finite point method, Singular perturbation problem, Unbounded domain, Artificial boundary condition |
12 | Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte |
A programming model for concurrent object-oriented programs. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning |
12 | Nobusumi Sagara |
Value Functions and Transversality Conditions for Infinite Horizon Optimal Control Problems. |
MCO |
2008 |
DBLP DOI BibTeX RDF |
Nonsmooth maximum principle, Infinite horizon, Transversality condition, Sufficiency, Value function |
12 | Zhenyu Chen 0001, Baowen Xu, Changhai Nie |
A detectability analysis of fault classes for Boolean specifications. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
detection condition, specification-based testing, fault class |
12 | M. V. Arkhipova, Sergey V. Zelenov |
Directed Generation of Test Data for Static Semantics Checker. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
context condition, grammar, specification based testing, static semantics, Automated test data generation |
12 | Jalal A. Nasiri, Sara Khanchi, Hamid Reza Pourreza |
Eye Detection Algorithm on Facial Color Images. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
Lighting condition, Facial feature map, Color images, Eye detection |
12 | Kay-Uwe Schmidt, Ljiljana Stojanovic |
From Business Rules to Application Rules in Rich Internet Applications. |
BIS |
2008 |
DBLP DOI BibTeX RDF |
Production Engine, Model Driven Architecture, Complex Event Processing, Rich Internet Application, Event Condition Action Rules |
12 | Per Andersson, Robert Granat, Isak Jonsson, Bo Kågström |
Parallel Algorithms for Triangular Periodic Sylvester-Type Matrix Equations. |
Euro-Par |
2008 |
DBLP DOI BibTeX RDF |
Periodic Sylvester-type matrix equations, Bartels-Stewart’s method, explicit blocking, RECSY, SCASY, level-3 BLAS, ScaLAPACK, condition estimation |
12 | Ajay Mahimkar, Jennifer Yates, Yin Zhang 0001, Aman Shaikh, Jia Wang 0001, Zihui Ge, Cheng Tien Ee |
Troubleshooting chronic conditions in large IP networks. |
CoNEXT |
2008 |
DBLP DOI BibTeX RDF |
chronic condition, network troubleshooting, correlation |
12 | Vincenzo D'Andrea, Arthur B. Baskin, Robert E. Reinke |
Software development for a distributed community of practice: lessons learned from fifteen years of participatory design on a single system. |
PDC |
2008 |
DBLP BibTeX RDF |
condition-based maintenance, participatory design, distributed software development |
12 | Franck Bimbard, Laurent George 0001 |
EDF Feasibility Conditions with Kernel Overheads on an Event Driven OSEK System. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
Real-time dimensioning, OSEK, Earliest Dealine First, kernel overheads, feasibility condition |
12 | Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas |
Representation of Business Rules in UML&OCL Models for Developing Information Systems. |
PoEM |
2008 |
DBLP DOI BibTeX RDF |
UML, constraint, invariant, event, OCL, Business rule, action, stereotype, condition |
12 | Xuemei Hu, Linhong Tian |
Research and Analysis of Bias Voltage on Variable-Capacitance Micro-mechanical Accelerometer. |
IIH-MSP |
2008 |
DBLP DOI BibTeX RDF |
Variable-Capacitance Accelerometer, Reliable operation condition, Bias voltage polarity |
12 | Yi-Lei Wu, Qing Song 0001, XuLei Yang |
Robust Recurrent Neural Network Control of Biped Robot. |
J. Intell. Robotic Syst. |
2007 |
DBLP DOI BibTeX RDF |
Conic sector condition, Discrete robot model, L 2-stability, Online adaptive training, Recurrent neural network, Fault tolerant control |
12 | Sanjay Misra, Hürevren Kiliç |
Measurement theory and validation criteria for software complexity measures. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
representation condition, complexity measure, measurement theory, validation criteria |
12 | Sibsankar Haldar, K. Vidyasankar |
On specification of Read/Write shared variables. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
defining condition, defining relation, illegality, nonatomic operation execution, system execution, framework, multiprocessor, consistency, Atomicity, causality, partial order, linearization, axiom, shared variable, linear extension |
12 | Bernardo Cockburn, Guido Kanschat, Dominik Schötzau |
A Note on Discontinuous Galerkin Divergence-free Solutions of the Navier-Stokes Equations. |
J. Sci. Comput. |
2007 |
DBLP DOI BibTeX RDF |
divergence-free condition, Navier-Stokes equations, discontinuous Galerkin methods |
12 | Alicja Smoktunowicz, Iwona Wróbel, Przemyslaw Kosowski |
A new efficient algorithm for polynomial interpolation. |
Computing |
2007 |
DBLP DOI BibTeX RDF |
Lagrange form, Newton form, the divided differences, Aitken's algorithm, Numerical stability, condition number |
12 | Haiyang Jia, Dayou Liu, Juan Chen 0008, Xin Liu |
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network. |
KSEM |
2007 |
DBLP DOI BibTeX RDF |
Markov equivalence class, condition independence test, Bayesian network, Structural learning |
12 | James D. McCalley, Vasant G. Honavar, Sarah M. Ryan, William Q. Meeker, Daji Qiao, Ronald A. Roberts, Yuan Li, Jyotishman Pathak, Mujing Ye, Yili Hong 0001 |
Integrated Decision Algorithms for Auto-steered Electric Transmission System Asset Management. |
International Conference on Computational Science (1) |
2007 |
DBLP DOI BibTeX RDF |
electric transmission, software-hardware, optimization, service-oriented architecture, asset management, Benders decomposition, decision algorithms, condition monitoring |
12 | Hongbo Yu, Xiaoyun Wang 0001 |
Multi-collision Attack on the Compression Functions of MD4 and 3-Pass HAVAL. |
ICISC |
2007 |
DBLP DOI BibTeX RDF |
multi-collision, multi-near-collision, Hash function, sufficient condition, differential path |
12 | Thomas Beer, Jörg Rasinger, Wolfram Höpken, Matthias Fuchs, Hannes Werthner |
Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages. |
RuleML |
2007 |
DBLP DOI BibTeX RDF |
reaction rules, interpreted rules, context-awareness, push, event-condition-action |
12 | Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi |
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. |
SNC |
2007 |
DBLP DOI BibTeX RDF |
multivariate rational function, random matrix, structured matrix, interpolation, probabilistic analysis, condition number, sparse polynomial, symbolic/numeric hybrid method |
12 | Sanjay Misra, Hürevren Kiliç |
Measurement theory and validation criteria for software complexity measures. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
representation condition, complexity measure, measurement theory, validation criteria |
12 | Jerry A. Thomas, K. Chakrabarti, R. V. Kaczmarek, A. Maslennikov, Chad A. Mitchell, Alex Romanyukha |
Optimization of Reading Conditions for Flat Panel Displays. |
J. Digit. Imaging |
2006 |
DBLP DOI BibTeX RDF |
flat panel, viewing condition, room illuminance, CRT, luminance |
12 | Armen S. Asratian |
New Local Conditions for a Graph to be Hamiltonian. |
Graphs Comb. |
2006 |
DBLP DOI BibTeX RDF |
Local condition, Hamilton cycle, Ball |
12 | Liying Zhu, Yuzhen Wang |
Study on the stability of switched dissipative Hamiltonian systems. |
Sci. China Ser. F Inf. Sci. |
2006 |
DBLP DOI BibTeX RDF |
switched Hamiltonian system, multiple-Lyapunov functions, dissipative structure, sufficient condition, asymptotical stability |
12 | Vilém Vychodil |
A note on congruence permutability and fuzzy logic. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
Mal'cev-condition, Fuzzy logic, Permutability, Fuzzy equality |
12 | Étienne Payet, Frédéric Mesnard |
Nontermination inference of logic programs. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
nontermination analysis, optimal termination condition, Logic programming, static analysis |
12 | Dejun Feng, Long Wang, Yang Wang 0020 |
Generation of finite tight frames by Householder transformations. |
Adv. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
tight frame, tight frame matrix, Householder matrix, frames, condition number |
12 | Hasan Erbay, Jesse L. Barlow |
An Alternative Algorithm for a Sliding Window ULV Decomposition. |
Computing |
2006 |
DBLP DOI BibTeX RDF |
Modifying decompositions, norm and condition estimation, subspaces |
12 | Nikolai P. Osmolovskii, Helmut Maurer |
Second Order Optimality Conditions for Controls with Continuous and Bang-Bang Components. |
Systems, Control, Modeling and Optimization |
2006 |
DBLP DOI BibTeX RDF |
bang-bang control, Pontryagin minimum principle, second order necessary and sufficient conditions, critical cone, strengthened Legendre condition, quadratic form |
12 | Liad Blumrosen, Michal Feldman |
Implementation with a bounded action space. |
EC |
2006 |
DBLP DOI BibTeX RDF |
single-crossing condition, implementation, mechanism design, communication complexity |
12 | M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas |
A classification of concurrency bugs in java benchmarks by developer intent. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
concurrency errors, verification, refinement, atomicity, race condition |
12 | Kai-Li Chiang, Wen-Hsiang Tsai |
Vision-Based Autonomous Vehicle Guidance in Indoor Environments Using Odometer and House Corner Location Information. |
IIH-MSP |
2006 |
DBLP DOI BibTeX RDF |
patrolling, security surveillance, danger condition, location, Vehicle, painting |
12 | Jianyin Zhang, Sen Su, Fangchun Yang |
Detecting Race Conditions in Web Services. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
Web Services, Petri net, feature interaction, race condition |
12 | Wei Pan, Dongming Wang 0001 |
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Buchberger graph, consistency condition, parametric exponent, uniform Gröbner basis, biological modeling, polynomial ideal |
12 | Jin-Chirng Lee, Hang-Chin Lai |
Parameter-Free Dual Models for Fractional Programming with Generalized Invexity. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
Kuhn-Tucker condition, invex, pseudoinvex, quasiinvex, fractional variational programming, weak-, strong-, strict, Euler-Lagrange equation |
12 | Kyung-suk Lhee, Steve J. Chapin |
Detection of file-based race conditions. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Time-of-check-to-time-of-use (TOCTTOU) flaws, Security, Race condition |
12 | Jianguo Xin, Katia Pinchedez, Joseph E. Flaherty |
Implementation of hierarchical bases in FEMLAB for simplicial elements. |
ACM Trans. Math. Softw. |
2005 |
DBLP DOI BibTeX RDF |
FEMLAB, hierarchical bases, finite element methods, condition number |
12 | K. K. Aggarwal, Yogesh Singh, Pravin Chandra, Manimala Puri |
Sensitivity analysis of fuzzy and neural network models. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
neural network, sensitivity analysis, fuzzy, maintainability, condition number |
12 | Irina Perfilieva |
Functions represented by BL-algebra formulas: characterization and approximate representation. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
Extensional function, Disjunctive and conjunctive normal forms, Lipschitz condition, BL-algebra |
12 | Sung Kyung Kim, Chung Gu Kang 0001 |
Delay Analysis of Packet Scheduling with Multi-Users Diversity in Wireless CDMA Systems. |
Wirel. Networks |
2005 |
DBLP DOI BibTeX RDF |
channel condition, CDMA, packet scheduling, multi-users diversity |
12 | Igor G. Tsukanov, Vadim Shapiro |
Meshfree modeling and analysis of physical fields in heterogeneous media. |
Adv. Comput. Math. |
2005 |
DBLP DOI BibTeX RDF |
heterogeneous material, meshfree method, distance field, boundary condition |
12 | François Bry, Paula-Lavinia Patranjan |
Reactivity on the web: paradigms and applications of the language XChange. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
reactive languages, web, event-condition-action rules |
12 | James Bailey 0001, François Bry, Paula-Lavinia Patranjan |
Composite event queries for reactivity on the web. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
reactive languages, web, event-condition-action rules, composite events |
12 | Sreekar Krishna, Sethuraman Panchanathan |
A methodology for improving recognition rate of linear discriminant analysis in video-based face recognition using support vector machines. |
ICME |
2005 |
DBLP DOI BibTeX RDF |
recognition rate improvement, LDA classifier, video-based face recognition, polynomial SVM, video capture condition, face image extraction, support vector machine, linear discriminant analysis, video sequence |
12 | Achour Mostéfaoui, Michel Raynal, Corentin Travers, Stacy Patterson, Divyakant Agrawal, Amr El Abbadi |
From Static Distributed Systems to Dynamic Systems. |
SRDS |
2005 |
DBLP DOI BibTeX RDF |
Persistent reliable broadcast, Query-response pattern, eventual stability condition, Peer-to-Peer system, Dynamic system, Communication abstraction |
12 | Rao V. Garimella, Mikhail J. Shashkov |
Polygonal surface mesh optimization. |
Eng. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Polygonal surface mesh, Element quality, Jacobian condition number, Reference Jacobian matrices |
12 | Alexei Vernitski |
Finite quasivarieties and self-referential conditions. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
quasi-identity, pseudovariety, self-referential condition, recursion, quasivariety |
12 | Harry Wechsler, Zoran Duric, Fayin Li, Vladimir Cherkassky |
Motion Estimation Using Statistical Learning Theory. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2004 |
DBLP DOI BibTeX RDF |
complexity control, image flow, tracking, motion estimation, model selection, condition number, statistical learning theory, visual motion, Aperture problem, robust learning |
12 | Ke Li, Zi-Niu Wu |
Nonet-Cartesian Grid Method for Shock Flow Computations. |
J. Sci. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Nonet-Cartesian grid, Cartesian grid, inviscid flow, boundary condition, shock wave, anisotropic |
12 | Siau-Cheng Khoo, Kun Shi |
Program Adaptation via Output-Constraint Specialization. |
High. Order Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
weakest pre-condition, partial evaluation, specialization |
12 | Martin Bernauer, Gerti Kappel, Gerhard Kramler |
Composite events for xml. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
active behavior, event algebra, xml, event-condition-action rule, composite event |
12 | Zhenyuan Deng, Martin Jägersand |
Evaluation of Model Independent Image-Based Visual Servoing. |
CRV |
2004 |
DBLP DOI BibTeX RDF |
Image-based Visual Servoing, Adaptive Survoing, Broyden's Method, Model Independent, Condition number, Jacobian |
12 | Mi-young Kang, Ae-sun Yoon, Hyuk-Chul Kwon |
Improving partial parsing based on error-pattern analysis for a Korean grammar-checker. |
ACM Trans. Asian Lang. Inf. Process. |
2003 |
DBLP DOI BibTeX RDF |
Korean grammar checker, error-pattern analysis, parsing triggering condition, text preprocessing, language, parsing, linguistic analysis, partial parsing |
12 | Karl Frauendorfer, Gido Haarbrücker |
Solving Sequences of Refined Multistage Stochastic Linear Programs. |
Ann. Oper. Res. |
2003 |
DBLP DOI BibTeX RDF |
discretization schemes, multistage stochastic linear programs, barycentric approximation, optimality condition, financial applications |
12 | Gábor Kun, Csaba Szabó |
Jónsson Terms and Near-Unanimity Functions in Finite Posets. |
Order |
2003 |
DBLP DOI BibTeX RDF |
Malcev condition, posets |
12 | YingLiang Ma, W. Terry Hewitt |
Point inversion and projection for NURBS curve: Control polygon approach. |
TPCG |
2003 |
DBLP DOI BibTeX RDF |
point projection, point inversion, polygon condition, NURBS curve |
12 | Yifeng Chen |
Generic Composition. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Healthiness condition, Predicative semantics, Parallelism, Modal logic |
12 | Siau-Cheng Khoo, Kun Shi |
Output-constraint specialization. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
weakest pre-condition, partial evaluation, specialization |
12 | Paul De Bra, A. T. M. Aerts, David Smits, Natalia Stash |
AHA! the next generation. |
Hypertext |
2002 |
DBLP DOI BibTeX RDF |
adaptation engine, condition-action rules, adaptive hypermedia |
12 | Yiming Wei 0001, Hebing Wu |
Challenging Problems on the Perturbation of Drazin Inverse. |
Ann. Oper. Res. |
2001 |
DBLP DOI BibTeX RDF |
Drazin inverse, group inverse, perturbation bound, index, condition number |
12 | Svend Frølund, Rachid Guerraoui |
X-Ability: a theory of replication. |
Distributed Comput. |
2001 |
DBLP DOI BibTeX RDF |
Exactly-once, Correctness condition, Replication, High-availability, Multi-tier systems |
12 | Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd |
Pre/Post Conditioned Slicing. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
Conditioned program slicing, program specialisation, path condition analysis |
12 | Gerti Kappel, Stefan Rausch-Schott, Werner Retschitzegger |
A framework for workflow management systems based on objects, rules and roles. |
ACM Comput. Surv. |
2000 |
DBLP DOI BibTeX RDF |
context dependent behavior, event/condition/action rule, object-oriented frameworks, role modeling |
12 | Maurice Herlihy, Eric Ruppert |
On the Existence of Booster Types. |
FOCS |
2000 |
DBLP DOI BibTeX RDF |
booster types, asynchronous concurrent models of computation, synchronization power, topological condition, solo-connectivity, deterministic one-shot types, distributed algorithms, synchronisation, upper bound, type theory, data type, concurrency theory, consensus number |
12 | Siegfried Prössdorf, Jörg Schult |
Multiwavelet approximation methods for pseudodifferential equations on curves. Stability and convergence analysis. |
Adv. Comput. Math. |
1998 |
DBLP DOI BibTeX RDF |
periodic pseudodifferential equations, splines with multiple knots, generalized Galerkin-Petrov schemes, Strang-Fix condition, 47G30, 45P05, stability, error analysis, 65N30, boundary element methods, 65R20, 41A15, 41A25, 65N35, 41A30, multiwavelets, 65J10 |
12 | Wende Chen, Torleiv Kløve |
Bounds on the Weight Hierarchies of Extremal Non-chain Codes of Dimension 4. |
Appl. Algebra Eng. Commun. Comput. |
1997 |
DBLP DOI BibTeX RDF |
Weight hierarchy, Support Weight, q -ary code, Chain condition, Difference sequence |
12 | Evsei Morozov |
The tightness in the ergodic analysis of regenerative queueing processes. |
Queueing Syst. Theory Appl. |
1997 |
DBLP DOI BibTeX RDF |
tightness, open Jackson-type network, closed network, embedded process, residual service time, queue-size process, waiting time process, non-identical service channels, positive recurrent regenerative process, regeneration condition, ergodicity, renewal process |
12 | Richard I. Hartley |
In Defense of the Eight-Point Algorithm. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1997 |
DBLP DOI BibTeX RDF |
eight-point algorithm, epipolar structure, stereo vision, Fundamental matrix, condition number |
12 | Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon |
On the concurrent behaviour of SCR specifications. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics |
12 | John C. Hart |
Sphere tracing: a geometric method for the antialiased ray tracing of implicit surfaces. |
Vis. Comput. |
1996 |
DBLP DOI BibTeX RDF |
Lipschitz condition, Ray tracing, Implicit surface, Solid modeling, Distance |
12 | Wolfgang Dahmen, Angela Kunoth, Karsten Urban |
A Wavelet Galerkin Method for the Stokes Equations. |
Computing |
1996 |
DBLP DOI BibTeX RDF |
LBB condition, time dependent problems, wavelets, preconditioning, multiresolution analysis, Schur complements, Saddle point problems |
12 | Andrei Z. Broder, Alan M. Frieze, Eli Upfal |
A General Approach to Dynamic Packet Routing with Bounded Buffers (extended abstract). |
FOCS |
1996 |
DBLP DOI BibTeX RDF |
general approach, dynamic packet routing, static routing, injection rate, stability, packet switching, routing algorithm, sufficient condition, butterfly, steady state analysis, worst case bounds, bounded buffers |
12 | Cornelia Boldyreff, Julian Newman, Jorma Taramaa |
Managing process improvement in virtual software corporations. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
virtual software corporations, process improvement management, software development organisation process, competitive demands, large multi-site multi-organization virtual software corporations, virtual software configuration, process measurement data collection, geographically distributed projects, exception condition handling, generic process model, process quality standards, software engineering, reliability, integrity, software process improvement, software development process, software process modelling, software development management |
12 | Ravi Malladi, James A. Sethian, Baba C. Vemuri |
Shape Modeling with Front Propagation: A Level Set Approach. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1995 |
DBLP DOI BibTeX RDF |
interface motion, hyperbolic conservation laws, entropy condition, level sets, Shape modeling, shape recovery, Hamilton-Jacobi equation |
12 | L. Andrew, K. E. Chu, Peter Lancaster |
On the Numerical Solution of Nonlinear Eigenvalue Problems. |
Computing |
1995 |
DBLP DOI BibTeX RDF |
Nonlinear eigenvalue problem, condition number, numerical solution |
12 | J. Roger Mitchell, Vijay K. Garg |
Deriving distributed algorithms from a general predicate detector. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
generalized conjunctive predicate detector, distributed system debugging, condition detection, application status monitoring, periodic global virtual time calculation, optimized base algorithm, software engineering, computational complexity, distributed algorithms, distributed algorithms, program debugging, system monitoring, termination detection, virtual time, distributed system design, detection algorithms |
12 | Per Christian Hansen, Tony F. Chan |
Corrigendum: Algorithm 729; FORTRAN subroutines for general Toeplitz systems. |
ACM Trans. Math. Softw. |
1994 |
DBLP DOI BibTeX RDF |
Levinson's algorithm, Toeplitz systems, FORTRAN 77, condition estimation |
12 | Keh-Chang Guh, Clement T. Yu |
Efficient Query Processing for a Subset of Linear Recursive Binary Rules. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
linear recursive binary rules, binary rule sets, computational complexity, complexity, query processing, query processing, expert systems, necessary and sufficient condition, secondary memory |
12 | Howard W. Beck, Tarek M. Anwar, Shamkant B. Navathe |
A Conceptual Clustering Algorithm for Database Schema Design. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
conceptual clustering algorithm, database schema design, complex clusters, class descriptions, default values, family resemblance, class cohesion, subsumption function, realization function, exception condition, schema modification, schema generation, view creation, machine learning, learning (artificial intelligence), data structures, query processing, query processing, database management systems, exception handling, exception handling, case-based reasoning, case-based reasoning, database theory, categorization, operating systems (computers), INTERSECT, schema integration, analogical reasoning, explanation-based learning |
12 | Martin F. van Bommel, Grant E. Weddell |
Reasoning About Equations and Functional Dependencies on Complex Objects. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
complex object types, property value path, property paths, property value navigation, directed labeled graph, equational constraint, stratification condition, data structures, query processing, database management systems, query languages, query language, query languages, object-oriented databases, directed graphs, reasoning, database theory, functional dependencies, decision procedures, conjunctive queries, undecidable, complex objects, semantic data models, object-oriented data models, equations, constraint theory, constraint theory, constraint language |
12 | Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad |
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
stochastic well-formed colored nets, SWN, stochastic high-level nets, syntactic restriction, model definition, Markovian performance evaluation, lumpability condition, performance evaluation, computational complexity, computational complexity, complexity, Petri net, Petri nets, performance modeling, multiprocessing systems, memory contention, symbolic reachability graph |
12 | Timos K. Sellis, Chih-Chen Lin, Louiqa Raschid |
Coupling Production Systems and Database Systems: A Homogeneous Approach. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
large rule bases, condition elements, production rule-based systems, set-oriented approach, DBCond, special data structure, DBRete, DBMS implementation, Rete match algorithm, production rule language OPS5, DBQuery, parallelizable, relational databases, knowledge based systems, deductive databases, set theory, matching algorithm, relational database management systems, relational structures, parallel computing environments |
12 | Peter D. Turney, Michael Halasz |
Contextual normalization applied to aircraft gas turbine engine diagnosis. |
Appl. Intell. |
1993 |
DBLP DOI BibTeX RDF |
engine diagnosis, machinery condition monitoring, robust classification, Machine learning, normalization |
12 | Scott A. Mitchell |
Refining a Triangulation of a Planar Straight-Line Graph to Eliminate Large Angles |
FOCS |
1993 |
DBLP DOI BibTeX RDF |
worst case optimal, planar straight line graph, arbitrary constrained triangulation, obtuse angle, local angle condition, triangulation, Steiner points |
12 | Carlos A. Heuser, Gernot Richter |
Constructs for Modeling Information Systems with Petri Nets. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
side-condition, inhibitor arc, dead transition, information system, conceptual modeling, capacity, multiplicity, high-level Petri net |
12 | Shang-Ching Chou, Xiao-Shan Gao |
Proving Geometry Statements of Constructive Type. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
Geometry theorem proving, Wu's method, non-degenerate condition, generally true, constructive geometry statement, metric geometry, algebraically closed field, Euclidean geometry |
12 | Zhijun Tong, Richard Y. Kain |
Vote Assignments in Weighted Voting Mechanisms. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
voting operations, weighted voting mechanisms, maximum reliability, mutual exclusion mechanisms, vote assignment algorithms, voting weight, logarithmic function, optimization objection function, optimal vote assignment, optimal sets, suboptimal assignments, perfect links, imperfect links, distributed processing, groups, programming theory, nodes, sufficient condition, link failures, local information |
12 | Joo-Kang Lee, Jon T. Butler |
A Characterization of t/s-Diagnosability an Sequential t-Diagnosability in Designs. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
t/s-diagnosability, sequential t-diagnosability, characterization theorem, single-loop system, designs, fault tolerant computing, multiprocessing system, multiprocessing systems, nodes, diagnosability, sufficient condition, faulty processors |
12 | Henryk Krawczyk, Wojciech E. Kozlowski |
On the Diagnosability of Multicomputer Systems with Homogeneous and Incomplete Tests. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
homogeneous tests, system level fault diagnosis models, incomplete tests, generalized PMC model, visible faults, t/sub v/-diagnosable systems, O(mod T mod) diagnosis algorithm, computational complexity, multiprocessing systems, automatic testing, fault location, diagnosability, sufficient condition, multicomputer systems, computer testing, necessary conditions, connection assignment, fault identification |
12 | Hans L. Bodlaender |
Dynamic Programming on Graphs with Bounded Treewidth. |
ICALP |
1988 |
DBLP DOI BibTeX RDF |
graph decision problems, restrictions of NP-complete problems, local condition compositions, dynamic programming, polynomial time algorithms, Treewidth, partial k-trees |
12 | Vijay Pitchumani, Edward P. Stabler |
Verification of Register Transfer Level Parallel Control Sequences. |
IEEE Trans. Computers |
1985 |
DBLP DOI BibTeX RDF |
critical region, parallel control sequence, Assertion, register transfer level, shared resource, clock cycle, auxiliary variable, verification condition |
Displaying result #501 - #600 of 17251 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|