|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS (2) ![In: 9th International Conference on Hybrid Intelligent Systems (HIS 2009), August 12-14, 2009, Shenyang, China, pp. 149-153, 2009, IEEE Computer Society, 978-0-7695-3745-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS (2) ![In: 9th International Conference on Hybrid Intelligent Systems (HIS 2009), August 12-14, 2009, Shenyang, China, pp. 235-239, 2009, IEEE Computer Society, 978-0-7695-3745-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAP ![In: 2009 International Conference on Signal Acquisition and Processing, ICSAP 2009, Kuala Lumpur, Malaysia, April 3-5, 2009, pp. 13-17, 2009, IEEE Computer Society, 978-0-7695-3594-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 23rd International Conference on Advanced Information Networking and Applications, AINA 2009, Workshops Proceedings, Bradford, United Kingdom, May 26-29, 2009, pp. 230-237, 2009, IEEE Computer Society, 978-0-7695-3639-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, pp. 141-150, 2009, ACM, 978-1-60558-397-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 35(2-3), pp. 266-299, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 36(2), pp. 243-261, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(1), pp. 1:1-1:48, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCO ![In: Modelling, Computation and Optimization in Information Systems and Management Sciences, Second International Conference, MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings, pp. 273-282, 2008, Springer, 978-3-540-87476-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 826-830, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 753-768, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 344-349, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIS ![In: Business Information Systems, 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings, pp. 447-458, 2008, Springer, 978-3-540-79395-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings, pp. 780-789, 2008, Springer, 978-3-540-85450-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2008 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2008, Madrid, Spain, December 9-12, 2008, pp. 2, 2008, ACM, 978-1-60558-210-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDC ![In: Proceedings of the Tenth Conference on Participatory Design, PDC 2008, Bloomington, Indiana, USA, October 1-4, 2008, pp. 202-205, 2008, ACM, 978-0-9818561-0-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONS ![In: The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico, pp. 277-284, 2008, IEEE Computer Society, 978-0-7695-3105-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PoEM ![In: The Practice of Enterprise Modeling, First IFIP WG 8.1 Working Conference, PoEM 2008, Stockholm, Sweden, November 12-13, 2008. Proceedings, pp. 182-196, 2008, Springer, 978-3-540-89217-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: 4th International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2008), Harbin, China, 15-17 August 2008, Proceedings, pp. 1490-1493, 2008, IEEE Computer Society, 978-0-7695-3278-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 49(2), pp. 151-169, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(2), pp. 1-3, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(6), pp. 31, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 31(1-2), pp. 61-73, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 79(1), pp. 33-52, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 611-616, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 1066-1073, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2007, 10th International Conference, Seoul, Korea, November 29-30, 2007, Proceedings, pp. 206-226, 2007, Springer, 978-3-540-76787-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Advances in Rule Interchange and Applications, International Symposium, RuleML 2007, Orlando, Florida, USA, October 25-26, 2007, Proceedings, pp. 199-206, 2007, Springer, 978-3-540-75974-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNC ![In: Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 11-17, 2007, ACM, 978-1-59593-744-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(6), pp. 1-3, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 19(2), pp. 181-187, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 22(2), pp. 153-160, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Local condition, Hamilton cycle, Ball |
12 | Liying Zhu, Yuzhen Wang |
Study on the stability of switched dissipative Hamiltonian systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(5), pp. 578-591, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(3), pp. 279-284, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(2), pp. 256-289, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 24(1-4), pp. 297-309, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 76(1-2), pp. 55-66, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Systems, Control, Modeling and Optimization ![In: Systems, Control, Modeling and Optimization, Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy, pp. 297-307, 2006, Springer, 0-387-33881-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 7th ACM Conference on Electronic Commerce (EC-2006), Ann Arbor, Michigan, USA, June 11-15, 2006, pp. 62-71, 2006, ACM, 1-59593-236-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006, pp. 23-26, 2006, ACM, 1-59593-414-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: Second International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2006), Pasadena, California, USA, December 18-20, 2006, Proceedings, pp. 415-418, 2006, IEEE Computer Society, 0-7695-2745-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/ICIW ![In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean, pp. 184, 2006, IEEE Computer Society, 0-7695-2522-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings, pp. 269-276, 2006, ACM, 1-59593-276-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 133(1-4), pp. 47-61, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 4(1-2), pp. 105-119, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 31(2), pp. 187-200, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-4, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(12), pp. 910-918, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 11(3), pp. 235-241, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 23(1-2), pp. 95-124, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1645-1649, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 1082-1083, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 1054-1057, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005),26-28 October 2005, Orlando, FL, USA, pp. 109-118, 2005, IEEE Computer Society, 0-7695-2463-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 20(3), pp. 265-272, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 78(1-2), pp. 337-348, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 26(4), pp. 466-478, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 20(3), pp. 303-329, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 17(1-2), pp. 93-128, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
weakest pre-condition, partial evaluation, specialization |
12 | Martin Bernauer, Gerti Kappel, Gerhard Kramler |
Composite events for xml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 175-183, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRV ![In: 1st Canadian Conference on Computer and Robot Vision (CRV 2004) 17-19 May 2004, London, Ontario, Canada, pp. 138-144, 2004, IEEE Computer Society, 0-7695-2127-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 2(4), pp. 301-323, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 124(1-4), pp. 133-163, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 20(4), pp. 291-298, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Malcev condition, posets |
12 | YingLiang Ma, W. Terry Hewitt |
Point inversion and projection for NURBS curve: Control polygon approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPCG ![In: Theory and Practice of Computer Graphics 2003 (TPCG 2003), 3-5 June 2003, Birmingham, UK, pp. 113-121, 2003, IEEE Computer Society, 0-7695-1942-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
point projection, point inversion, polygon condition, NURBS curve |
12 | Yifeng Chen |
Generic Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 14(2), pp. 108-122, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Healthiness condition, Predicative semantics, Parallelism, Modal logic |
12 | Siau-Cheng Khoo, Kun Shi |
Output-constraint specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIA-PEPM ![In: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 106-116, 2002, ACM, 1-58113-458-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2002, Proceedings of the 13th ACM Conference on Hypertext and Hypermedia, June 11-15, 2002, University of Maryland, College Park, MD, USA, pp. 21-22, 2002, ACM, 1-58113-477-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 103(1-4), pp. 371-378, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 14(4), pp. 231-249, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 138-147, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 32(1es), pp. 27, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 653-663, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 9(1-2), pp. 145-171, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(5), pp. 379-386, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 27(1-2), pp. 179-203, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 19(6), pp. 580-593, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 258-263, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 12(10), pp. 527-545, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 56(3), pp. 259-302, 1996. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 390-399, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'96), June 19-21, 1996, Stanford, CA, USA, Proceedings, pp. 142-147, 1996, IEEE Computer Society, 0-8186-7445-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(2), pp. 158-175, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 55(2), pp. 91-112, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 268-273, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 20(1), pp. 160, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(5), pp. 842-849, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(3), pp. 396-411, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(3), pp. 455-469, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(11), pp. 1343-1360, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(2), pp. 240-256, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(2), pp. 109-129, 1993. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 583-591, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 224-243, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 20-34, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(5), pp. 664-667, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(10), pp. 1298-1304, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(11), pp. 1419-1422, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings, pp. 105-118, 1988, Springer, 3-540-19488-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 34(8), pp. 761-765, 1985. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|