|
|
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 |
15 | James H. Anderson, Mark Moir |
Towards a Necessary and Sufficient Condition for Wait-free Synchronization (Extended Abstract). |
WDAG |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Zbigniew M. Wójcik, Barbara E. Wójcik |
Termination condition for a parallel shape coding and a parallel shape coding algorithm. |
SPDP |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Gregory Piatetsky-Shapiro, Charles Connell |
Accurate Estimation of the Number of Tuples Satisfying a Condition. |
SIGMOD Conference |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Mark Moriconi, Richard L. Schwartz |
Automatic Construction of Verification Condition Generators From Hoare Logics. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
|
14 | Erica L. Olmsted-Hawala, Elizabeth D. Murphy, Sam Hawala, Kathleen T. Ashenfelter |
Think-aloud protocols: a comparison of three think-aloud protocols for use in testing data-dissemination web sites for usability. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
user-centered design, usability testing, experimental design, user testing, think aloud, verbalization |
14 | Wenbin Lim, Guilin Yang, Song Huat Yeo, Mustafa Shabbir Kurbanhusen, I-Ming Chen |
A generic tension-closure analysis method for fully-constrained cable-driven parallel manipulators. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Zhiqiang Luo, Henry Been-Lirn Duh, I-Ming Chen, Wenshu Luo |
Spatial Navigation in a Virtual Multilevel Building: The Role of Exocentric View in Acquiring Survey Knowledge. |
HCI (13) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Arik-Quang V. Dao, Summer L. Brandt, Vernol Battiste, Kim-Phuong L. Vu, Thomas Z. Strybel, Walter W. Johnson |
The Impact of Automation Assisted Aircraft Separation on Situation Awareness. |
HCI (9) |
2009 |
DBLP DOI BibTeX RDF |
cockpit display of traffic information, CDTI, cockpit situation display, CSD, automation, situation awareness, conflict resolution |
14 | Alexander Borek, Bruce M. McLaren, Michael Karabinos, David Yaron |
How Much Assistance Is Helpful to Students in Discovery Learning? |
EC-TEL |
2009 |
DBLP DOI BibTeX RDF |
assistance dilemma, chemistry learning, intelligent tutoring, inquiry learning |
14 | Eric Brier, Shahram Khazaei, Willi Meier, Thomas Peyrin |
Linearization Framework for Collision Attacks: Application to CubeHash and MD6. |
ASIACRYPT |
2009 |
DBLP DOI BibTeX RDF |
CubeHash and MD6, Hash functions, collisions, differential attack, SHA-3 |
14 | Ching-Tsung Hung, Jia-Ruey Chang, Jyh-Dong Lin, Gwo-Hshiung Tzeng |
Rough Set Theory in Pavement Maintenance Decision. |
ICIC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Lin Qiu, Wendy Weini Tay, Junwei Wu |
The impact of virtual teamwork on real-world collaboration. |
Advances in Computer Entertainment Technology |
2009 |
DBLP DOI BibTeX RDF |
human-computer interaction, collaboration, social interaction, problem-solving, teamwork, video games, virtual teams, group creativity |
14 | Huadong Wang, Michael Lewis 0001, Prasanna Velagapudi, Paul Scerri, Katia P. Sycara |
How search and its subtasks scale in N robots. |
HRI |
2009 |
DBLP DOI BibTeX RDF |
evaluation, metrics, human-robot interaction, multi-robot system |
14 | Rajeev Alur, Aditya Kanade, Gera Weiss |
Ranking Automata and Games for Prioritized Requirements. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Mehdi Mhalla, Simon Perdrix |
Finding Optimal Flows Efficiently. |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Gaëlle Molinari, Mirweis Sangin, Pierre Dillenbourg |
When Co-learners Work on Complementary Texts: Effects on Outcome Convergence. |
EC-TEL |
2008 |
DBLP DOI BibTeX RDF |
jigsaw scripts, knowledge interdependence, outcome knowledge equivalence, shared outcome knowledge, Computer-supported collaborative learning |
14 | Tran Cao Son, Enrico Pontelli |
Some Results on the Completeness of Approximation Based Reasoning. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Zhongjun Yin, Tian Han 0004, Jianfeng Wang |
Fan Fault Diagnosis System Based on Virtual Prototyping Technology. |
FSKD (5) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jason Jerald, Tabitha C. Peck, Frank Steinicke, Mary C. Whitton |
Sensitivity to scene motion for phases of head yaws. |
APGV |
2008 |
DBLP DOI BibTeX RDF |
reorientation techniques, human factors, latency, psychophysics, immersive virtual environments, motion perception |
14 | Kwoting Fang, Chingwei Chang, Miao Yuliao, Yenping Chi |
Examining the Influence of Occupational Therapy and Its Effectiveness in Long-Term Care on Dementia Patients Through Ontology-Based Clustering. |
ICMB |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Shahab Sanayei, Ahmadreza Hedayat, Aria Nosratinia |
Space Time Codes in Keyhole Channels: Analysis and Design. |
IEEE Trans. Wirel. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Daowen Qiu |
Notes on automata theory based on quantum logic. |
Sci. China Ser. F Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
orthomodular lattices, quantum computing, automata, quantum logic |
14 | Ertem Tuncel |
Kraft Inequality and Zero-Error Source Coding With Decoder Side Information. |
IEEE Trans. Inf. Theory |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Tohru Miyake, Hidenori Ishihara, Motoi Yoshimura |
Basic studies on wet adhesion system for wall climbing robots. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jane Li, Anja Wessels, Leila Alem, Cara A. Stitzlein |
Exploring interface with representation of gesture for remote collaboration. |
OZCHI |
2007 |
DBLP DOI BibTeX RDF |
human factors, gesture, remote collaboration |
14 | Hosang Jung, F. Frank Chen |
Evolutionary Algorithm Based Corrective Process Control System in Glass Melting Process. |
EMO |
2007 |
DBLP DOI BibTeX RDF |
corrective process control, glass melting process, Evolutionary algorithm |
14 | Olivier Teytaud |
Conditioning, Halting Criteria and Choosing lambda. |
Artificial Evolution |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Xiaohuang Huang, Hongbo Fu 0001, Oscar Kin-Chung Au, Chiew-Lan Tai |
Optimal boundaries for Poisson mesh merging. |
Symposium on Solid and Physical Modeling |
2007 |
DBLP DOI BibTeX RDF |
Poisson mesh merging, optimal boundaries |
14 | Azusa Iwata, Yoshihisa Shinozawa, Akito Sakurai |
A Characterization of Simple Recurrent Neural Networks with Two Hidden Units as a Language Recognizer. |
ICONIP (1) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Chun-Hsiung Fang, Yung-Sheng Liu, Shih-Wei Kau, Lin Hong, Ching-Hsiang Lee |
A new LMI-based approach to relaxed quadratic stabilization of T-S fuzzy control systems. |
IEEE Trans. Fuzzy Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Matthias Nückles, Alexandra Winter, Jörg Wittwer, Markus Herbert, Sandra Hübner |
How do Experts Adapt their Explanations to a Layperson's Knowledge in Asynchronous Communication? An Experimental Study. |
User Model. User Adapt. Interact. |
2006 |
DBLP DOI BibTeX RDF |
adaptive instructional explanations, advice-giving and recommender systems, audience design, cognitive processes in writing and written communication, human experts’ adaptation strategies, human tutoring, personalization techniques, user-adapted communication, computer-mediated communication, natural language generation |
14 | Stefan A. Sauter |
A Refined Finite Element Convergence Theory for Highly Indefinite Helmholtz Problems. |
Computing |
2006 |
DBLP DOI BibTeX RDF |
Indefinite problems, generalized FEM, finite element methods, Helmholtz equation |
14 | Shinichi Goda, Yukio Ohsawa |
Chance Discovery in Credit Risk Management. |
ICDM Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Qiang Miao, Hong-Zhong Huang, Xianfeng Fan |
A Novel Hybrid System with Neural Networks and Hidden Markov Models in Fault Diagnosis. |
MICAI |
2006 |
DBLP DOI BibTeX RDF |
Neural networks, Pattern recognition, Feature selection, Hidden Markov models |
14 | Antonio J. Vallejo, Rubén Morales-Menéndez, Ciro A. Rodríguez, Luis Enrique Sucar |
Diagnosis of a Cutting Tool in a Machining Center. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Lihua Yin, Binxing Fang, Xiang-Zhan Yu |
Distributed Group Membership Algorithm in Intrusion-Tolerant System. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Weihua Li 0004, Tielin Shi, Kang Ding |
Gear Crack Detection Using Kernel Function Approximation. |
ICONIP (3) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | King Sing Cheung, K. O. Chow |
Elimination of Duplicate Labels in Petri-Net-Based System Specification. |
CIT |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Franck van Breugel, Mariya Koshkina |
Dead-Path-Elimination in BPEL4WS. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Hanhoon Park, Jong-Il Park, Sang Hwa Lee |
Image-Based Relighting of Moving Objects with Specular Reflection. |
ICIAP |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Masayuki Tanaka 0001, Masatoshi Okutomi |
Theoretical Analysis on Reconstruction-Based Super-Resolution for an Arbitrary PSF. |
CVPR (2) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Anu Bhargava, Michael Scott, Ryan Traylor, Roy Chung, Kimberly Mrozek, Jonathan Wolter, Hong Z. Tan |
Effect of Cognitive Load on Tactor Location Identification in Zero-g. |
WHC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Judee K. Burgoon, J. P. Blair, Renee E. Strom |
Heuristics and Modalities in Determining Truth Versus Deception. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | James Clawson, Kent Lyons, Thad Starner, Edward Clarkson |
The Impacts of Limited Visual Feedback on Mobile Text Entry for the Twiddler and Mini-QWERTY Keyboards. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Chazal, Véronique Maume-Deschamps, Brigitte Vallée |
Erratum to 'Dynamical Sources in Information Theory: Fundamental Intervals and Word Prefixes'. |
Algorithmica |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Yi Ma 0001, Kun Huang 0001, René Vidal, Jana Kosecka, Shankar Sastry 0001 |
Rank Conditions on the Multiple-View Matrix. |
Int. J. Comput. Vis. |
2004 |
DBLP DOI BibTeX RDF |
multiple-view matrix, rank conditions, structure from motion, factorization |
14 | Tetsuo Sumiya, Akifumi Inoue, Sadayuki Shiba, Junya Kato, Hiroshi Shigeno, Ken-ichi Okada |
A CSCW System for Distributed Search/Collection Tasks Using Wearable Computers. |
WMCSA |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Kazuyuki Miura, Machiko Azuma, Takao Nishizeki |
Canonical Decomposition, Realizer, Schnyder Labeling and Orderly Spanning Trees of Plane Graphs. |
COCOON |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Yasushi Makihara, Masao Takizawa, Yoshiaki Shirai, Nobutaka Shimada |
Object Recognition under Various Lighting Conditions. |
SCIA |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Charu C. Aggarwal, Dakshi Agrawal |
On nearest neighbor indexing of nonlinear trajectories. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Dongkun Shin, Jihong Kim 0001 |
Power-aware scheduling of conditional task graphs in real-time multiprocessor systems. |
ISLPED |
2003 |
DBLP DOI BibTeX RDF |
conditional task graph, real-time systems, multiprocessor, dynamic voltage scaling |
14 | Mitsuru Kawamoto, Yujiro Inouye |
Blind deconvolution of MIMO-FIR channels driven by colored inputs using second-order statistics. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Omer Horvitz, Virgil D. Gligor |
Weak Key Authenticity and the Computational Completeness of Formal Encryption. |
CRYPTO |
2003 |
DBLP DOI BibTeX RDF |
Weak Key Authenticity, Authentication, Cryptography, Encryption, Completeness, Formal Reasoning |
14 | Makoto Haraguchi, Shigetora Nakano, Masaharu Yoshioka |
Discovery of Maximal Analogies between Stories. |
Discovery Science |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Han-Saem Yun, Jihong Kim 0001, Soo-Mook Moon |
Optimal software pipelining of loops with control flows. |
ICS |
2002 |
DBLP DOI BibTeX RDF |
instruction-level parallelism, software pipelining, VLIW |
14 | Sergiy A. Vilkomir, Jonathan P. Bowen |
Formalization of Software Testing Criteria using the Z Notation. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
coverage, Z notation, testing criteria, MC/DC |
14 | Sabri Arik, Vedat Tavsanoglu |
Further results on the global asymptotic stability of neural networks. |
ISCAS (3) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Jacques M. B. Terken, Liesbet Verhelst |
Information Presentation for a Wearable Messenger Device. |
ICMI |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Takenori Kubo |
Gnez: Adapting Knowledge to the Enviroment with GA. |
RoboCup |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Terry R. Payne, Terri L. Lenox, Susan Hahn, Michael Lewis 0001, Katia P. Sycara |
Agent-based Team Aiding in a Time Critical Task. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Litong Song, Yoshihiko Futamura |
A New Termination Approach for Specialization. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Bernd Altmann, Matthias Fitzi, Ueli M. Maurer |
Byzantine Agreement Secure against General Adversaries in the Dual Failure Model. |
DISC |
1999 |
DBLP DOI BibTeX RDF |
active adversary, fail-corruption, Broadcast, Byzantine agreement, unconditional security |
14 | Peter van Beek, Rina Dechter |
Constraint tightness and looseness versus local and global consistency. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning |
14 | Masami Nakajima, Michitaka Kameyama |
Design of Highly Parallel Linear Digital Circuits Based on Symbol-Level Redundancy. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
highly parallel circuits, linear digital circuits, multiplicated redundant symbol, k-ary operations, multiple-valued logic |
14 | M. Molla-Hosseini, Roger M. Kerr, Robert B. Randall, R. B. Platfoot |
An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
Notation n state of device, n 0: state following a Poisson failure, n 1: operating state, n 2: minimal maintenance state, k number of stages of deterioration before deterioration failure, s at maintenance event s after s-1 minimalmaintenance the maintenance must be a major maintenance, P(i,j,n) steady-state probability that the device is in state (i,j,n), i=deterioration-stage index, j=minimal maintenance number, Pd steady-state probability that the device is being overhauled after a deteriorating failure, P0 steady-state probability that the device is out of service due to major maintenance, minimal maintenance, minimal repair respectively, 1/ d mean time between as good as new and deterioration failure if no maintenance is initiated, 1/ 0 mean time to Poisson failure, 1/ m mean time to the next maintenance event, 1/ d mean duration of overhauling the device following a deterioration failure, 1/ m mean duration of minimal maintenance, 1/ M mean duration of major maintenance, 1/ 0 mean duration of repair after Poisson failure, U steady-state unavailability of the device, PM, Pm |
14 | Val Tannen, Ramesh Subrahmanyam |
On Extending Computational Adequacy by Data Abstraction. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Kenji Taniguchi 0001, Yoshiaki Shibata, Chihiro Hamaguchi |
Process modeling and simulation: boundary conditions for point defect-based impurity diffusion model. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Sang Kyun Cha, Gio Wiederhold |
Kaleidoscope: A Cooperative Menu-Guided Query Interface. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
SQL |
14 | Volker Diekert |
Combinatorial Rewriting on Traces. |
STACS |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Volker Diekert |
Word Problems over TRaces Which are Solvable in Linear Time. |
STACS |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Peter Wegner |
Granularity of modules in object-based concurrent systems. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Eugene W. Stark |
A Proof Technique for Rely/Guarantee Properties. |
FSTTCS |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Umesh V. Vazirani, Vijay V. Vazirani |
Efficient and Secure Pseudo-Random Number Generation. |
CRYPTO |
1984 |
DBLP DOI BibTeX RDF |
|
14 | Gérard Berry, Jean-Jacques Lévy |
Minimal and Optimal Computations of Recursive Programs. |
POPL |
1977 |
DBLP DOI BibTeX RDF |
|
12 | Hailin Liu |
A Mixture Conjugate Gradient Method for Unconstrained Optimization. |
IITSI |
2010 |
DBLP DOI BibTeX RDF |
Wolve condition, sufficient descent, fixed point, conjugate gradient method, unconstrained optimization |
12 | Mohammad-Reza Feizi-Derakhshi, Masood R. P. Derakhshan |
Intelligent Recognition of Gearbox Status by Wavelet Packet Decomposition. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Energy of signal, entropy, Condition monitoring |
12 | Zihui Che, Xueyun Ji |
An Efficient Intrusion Detection Approach Based on Hidden Markov Model and Rough Set. |
MVHI |
2010 |
DBLP DOI BibTeX RDF |
Rough Set Reduction, Decision Condition, Hidden Markov Model, Anomaly Detection, System Call |
12 | Raúl A. Santelices, Mary Jean Harrold |
Exploiting program dependencies for scalable multiple-path symbolic execution. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition |
12 | Mohammad Reza Akhondi, Alex Talevski, Simon Carlsen, Stig Petersen |
Applications of Wireless Sensor Networks in the Oil, Gas and Resources Industries. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
Production Optimization, Reservoir Monitoring, Condition Monitoring and Maintenance, Health and Safety, Wireless Sensor Network |
12 | Jeen-Shing Wang, Pau-Choo Chung, Wei-Hsin Wang, Che-Wei Lin |
Driving Conditions Recognition Using Heart Rate Variability Indexes. |
IIH-MSP |
2010 |
DBLP DOI BibTeX RDF |
driving condition recognition, Heart rate variability |
12 | Nilothpal Talukder, Sheikh Iqbal Ahamed |
Preventing multi-query attack in location-based services. |
WISEC |
2010 |
DBLP DOI BibTeX RDF |
adaptive nearest neighborhood cloaking (annc), reciprocity condition, location privacy |
12 | Neculai Andrei |
New Hybrid Conjugate Gradient Algorithms for Unconstrained Optimization. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Hybrid conjugate gradient method, Conjugacy condition, Numerical comparisons, Dolan-Moré profile, Unconstrained optimization |
12 | Alexander Shapiro 0001 |
Semidefinite Programming: Optimality Conditions and Stability. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Tangent cone, Complementarity condition, Stability, Sensitivity analysis, Semidefinite programming, Duality, Lagrange multipliers, Nondegeneracy |
12 | Chengxian Xu |
Nonlinear Least Squares Problems. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Kuhn-Tucker optimality condition, Descent method, Residuals, Line search, Nonlinear least squares, Trust region |
12 | Kurt Marti |
Discretely Distributed Stochastic Programs: Descent Directions and Efficient Points. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Mean value function, Efficient point, Admissible solution, Partially monotonous, Partial monotonicity, Markov kernel, Descent direction, Necessary optimality condition without using (sub)gradients parametric representations, Robustness, Uncertainty, Stochastic program, Stochastic optimization, Scenario analysis, Pareto optimal solution, Efficient solution, Stochastic matrix |
12 | Anna Nagurney |
Variational Inequalities: Geometric Interpretation, Existence and Uniqueness. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Coercivity condition, Strict monotonicity, Strong monotonicity, Lipschitz continuity, Monotonicity, Geometric interpretation |
12 | Katta G. Murty |
Second Order Optimality Conditions for Nonlinear Optimization. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Convex and nonconvex programming problems, Regularity condition, Mangasarian-Fromovitz constraint qualification, Sufficient optimality conditions, KKT conditions, First order and second order optimality conditions, Constraint qualification, Global minimum, Stationary point, Necessary optimality conditions, Local minimum, Nonlinear optimization problem |
12 | Franco Giannessi |
Image Space Approach to Optimization. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Separation functions, Lagrange function, Separation, Sufficient condition, Lagrange multipliers, Euler equation, Necessary conditions, Image space |
12 | Zhian Liang |
Multi-objective Fractional Programming Problems. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Multiobjective fractional programming problem, (F, ?, ?, d)-convex functions, Efficiency condition, Duality, Efficient solution |
12 | Neculai Andrei |
Performance Profiles of Conjugate-Gradient Algorithms for Unconstrained Optimization. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Hybrid conjugate gradient, Scaled conjugate gradient, Conjugacy condition, Numerical comparisons, Dolan-Moré profile, Conjugate gradient, Unconstrained optimization |
12 | Zdzislaw Naniewicz |
Hemivariational Inequalities: Static Problems. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Semicoercive hemivariational inequality, Unilateral growth condition, Pseudomonotone mapping, Recession functional |
12 | Diego J. Pedregal, Fausto Pedro García Márquez, Clive Roberts |
An algorithmic approach for maintenance management based on advanced state space systems and harmonic regressions. |
Ann. Oper. Res. |
2009 |
DBLP DOI BibTeX RDF |
Point mechanisms, Reliability, Maintenance, State space models, Condition monitoring |
12 | Josef Haberl |
On global minima of semistrictly quasiconcave functions. |
Optim. Lett. |
2009 |
DBLP DOI BibTeX RDF |
Semistrictly quasiconcave functions, Quasiconcave minimization, Necessary optimality condition, Generalized convexity |
12 | Eid H. Doha, Ali H. Bhrawy, Waleed M. Abd-Elhameed |
Jacobi spectral Galerkin method for elliptic Neumann problems. |
Numer. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
Neumann boundary condition, Spectral-Galerkin method, Fast elliptic spectral solver, Jacobi polynomials, Tensor product, Helmholtz equation |
12 | Roland Stühmer, Darko Anicic, Sinan Sen, Jun Ma, Kay-Uwe Schmidt, Nenad Stojanovic |
Lifting Events in RDF from Interactions with Annotated Web Pages. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
Event Representation, Semantic Advertising, User Profiling, Complex Event Processing, ECA, RDFa, event-condition-action |
12 | Wei Lv, Hong Bao, Enmin Feng |
Optimality Conditions of a Three-Dimension Non-smooth Thermodynamic System of Sea Ice. |
Complex (1) |
2009 |
DBLP DOI BibTeX RDF |
coupled 3D non-smooth thermodynamic system, necessary condition for optimality, parameter identification |
12 | Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh 0001 |
Automatic Test Data Generation for C Programs. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
Modified Condition/Decision coverage (MCDC), Automatic Test data generation |
12 | Roland Stühmer, Darko Anicic, Sinan Sen, Jun Ma, Kay-Uwe Schmidt, Nenad Stojanovic |
Client-Side Event Processing for Personalized Web Advertisement. |
OTM Conferences (2) |
2009 |
DBLP DOI BibTeX RDF |
User Profiling, RDF, Complex Event Processing, Rich Internet Applications, Web Advertisement, Semantic Web Technologies, ECA, RDFa, event-condition-action |
12 | Yi Zheng, Zhuo Zhang, Haiying Zhang, Hongtao Hu, Xialiang Wei |
Study on Advanced Processing of Coking Wastewater Using Different Coagulants. |
ESIAT (1) |
2009 |
DBLP DOI BibTeX RDF |
advanced processing, coking wastewater, coagulant, hydrodynamic condition, reaction time |
12 | Damien Imbs, Michel Raynal |
Software Transactional Memories: An Approach for Multicore Programming. |
PaCT |
2009 |
DBLP DOI BibTeX RDF |
Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state |
Displaying result #401 - #500 of 17251 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|