|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3403 occurrences of 2147 keywords
|
|
|
Results
Found 8963 publication records. Showing 8963 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Joke Lambert, Benny Van Houdt, Chris Blondia |
A policy iteration algorithm for Markov decision processes skip-free in one direction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 75, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fibre delay lines, policy iteration algorithm, skip-free in one direction, Markov decision process, matrix analytic methods, loss rate, optical buffer |
19 | Xiaoying Xi, Lili Jiang 0003 |
A Research on Supplier Selection Method for CALS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1473-1480, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Pre-selection, Polychromatic sets, Supplier selection, CALS, Fuzzy analytic hierarchy process |
19 | Masahiko Ishino, Naokazu Yamaki, Teruhisa Ichikawa, Tadanori Mizuno |
The Recommendation System Using Mathematical Programming Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III, pp. 539-546, 2007, Springer, 978-3-540-74828-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Data-mining, Recommendation System, Marketing, Analytic Hierarchy Process, CRM, Mathematical Programming, Conjoint Analysis |
19 | Mingxin Li, Shanzhi Chen, Dongliang Xie |
A multi-step vertical handoff mechanism for cellular multi-hop networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PM2HW2N ![In: Proceedings of the 2nd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, PM2HW2N 2007, Chania, Crete Island, Greece, October 22, 2007, pp. 119-123, 2007, ACM, 978-1-59593-805-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cellular multi-hop networks, analytic hierarchy process, vertical handoff, grey relational analysis |
19 | Ethem Tolga, S. Emre Alptekin |
Product Development Process Using a Fuzzy Compromise-Based Goal Programming Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I, pp. 832-845, 2007, Springer, 978-3-540-74468-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
compromise programming, e-learning, goal programming, Quality function deployment, analytic network process |
19 | Serafettin Alpay, Mahmut Yavuz |
A Decision Support System for Underground Mining Method Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings, pp. 334-343, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Underground Mining Method Selection, Decision Support System, Analytic Hierarchy Process, Multiple Criteria Decision Making |
19 | Barry H. Dayton |
Numerical local rings and local solution of nonlinear systems. ![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. 79-86, 2007, ACM, 978-1-59593-744-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
analytic system, local ring, reduced row echelon form, polynomial system |
19 | Stephen V. Stehman |
Design, analysis, and inference for studies comparing thematic accuracy of classified remotely sensed data: a special case of map comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 8(2), pp. 209-226, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Analytic inference, Enumerative inference, Experimental unit, Process inference, Experimental design, Accuracy assessment |
19 | Quan-Lin Li, Yu Ying, Yiqiang Q. Zhao |
A BMAP/G/1 Retrial Queue with a Server Subject to Breakdowns and Repairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 141(1), pp. 233-270, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Batch Markov arrival processes (BMAP), Markov chains of M/G/1 type, Markov renewal processes of M/G/1 type, Supplementary variable method, Censoring technique, RG-factorization, Reliability, Matrix-analytic method, Retrial queues |
19 | Attahiru Sule Alfa |
Discrete-time analysis of the GI/G/1 system with Bernoulli retrials: An algorithmic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 141(1), pp. 51-66, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Discrete-time GI/G/1, Bernoulli retrials, QBD, Infinite blocks, Discrete phase type distributions, Matrix-analytic method, Retrial queue, Steady state distribution |
19 | Benny Van Houdt, Chris Blondia |
Analyzing priority queues with 3 classes using tree-like processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 54(2), pp. 99-109, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Tree-like processes, Priority queues, Matrix analytic methods |
19 | Yutaka Sakuma, Masakiyo Miyazawa, Yiqiang Q. Zhao |
Decay rate for a PH/M/2 queue with shortest queue discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 53(4), pp. 189-201, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Shortest queue discipline, Decay rate, Phase type arrival, Two parallel queues, Exponential server, Matrix analytic approach, Stationary distribution, Quasi-birth and death process, Markov additive process |
19 | Liang Chao, Qing Li 0010 |
A Unified Decision Model for Evaluation and Selection of MES Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLAMAT ![In: Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management, Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15-17, 2006, Shanghai, China, pp. 691-696, 2006, Springer, 0-387-34402-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Analytic Network Process (ANP), Manufacturing Execution Systems (MES), Evaluation, Selection, Decision Model |
19 | Zhao Tong, Shulin Sui, Changhe Du |
A Novel Neural Network Model of Hysteresis Nonlinearities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (1) ![In: Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China, pp. 84-89, 2006, IEEE Computer Society, 0-7695-2528-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
analytic geometry, neural network, modeling, hysteresis |
19 | Janus Egholm, Niels Jørgen Christensen |
Rendering compact discs and other diffractive surfaces illuminated by linear light sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2006, Kuala Lumpur, Malaysia, November 29 - December 2, 2006, pp. 329-332, 2006, ACM, 1-59593-564-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
compact disc, linear light source, real time, rendering, analytic model, diffraction |
19 | Mor Harchol-Balter, Takayuki Osogami, Alan Scheller-Wolf, Adam Wierman |
Multi-Server Queueing Systems with Multiple Priority Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 51(3-4), pp. 331-360, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
M/GI/k, M/PH/k, multi-class queue, priority queue, busy periods, matrix analytic methods, server farm, preemptive priority, multi-server queue |
19 | Moshood Omolade Saliu, Günther Ruhe |
Software release planning for evolving systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 1(2), pp. 189-204, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Evolving systems, Component modifiability, Decision support, Analytic hierarchy process, Case study, Release planning |
19 | Ludmil Mikhailov, Petco E. Tsvetinov |
Fuzzy approach to outsourcing of information technology services. ![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. 94-98, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
decision support, outsourcing, analytic hierarchy process, multi-criteria decision-making, fuzzy decision-making |
19 | Quan-Lin Li, Yiqiang Q. Zhao |
A MAP/G/1 Queue with Negative Customers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 47(1-2), pp. 5-43, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
queue with negative customers, Markov chains of GI/G/1 type, Markov renewal processes of M/G/1 type, the Markovian arrival process (MAP), the supplementary variable method, the matrix-analytic method, the censoring technique, the RG-factorization, light tail, heavy tail |
19 | Relja Vulanovic |
Grammar Efficiency and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grammars ![In: Grammars 6(2), pp. 127-144, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
finite analytic grammar, grammar complexity, grammar efficiency, syntactic function, word order |
19 | Zhe George Zhang, Naishuo Tian |
Analysis of Queueing Systems with Synchronous Single Vacation for Some Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 45(2), pp. 161-175, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
M/M/c queue, single vacation, conditional stochastic decomposition, matrix-analytic method, quasi-birth-and-death process |
19 | Benny Van Houdt, R. B. Lenin, Chris Blondia |
Delay Distribution of (Im)Patient Customers in a Discrete Time D-MAP/PH/1 Queue with Age-Dependent Service Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 45(1), pp. 59-73, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
D-MAP arrival process, phase-type services, (im)patient customers, age-dependent service times, matrix-analytic methods |
19 | Daniel P. Heyman, David Lucantoni |
Modeling multiple IP traffic streams with rate limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 11(6), pp. 948-958, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
matrix-analytic queueing model, super-position, hidden Markov model, IP, tandem queues, Markov-modulated Poisson process (MMPP) |
19 | Annie A. M. Cuyt, R. B. Lenin, Gert Willems, Chris Blondia, Peter J. Rousseeuw |
Computing Packet Loss Probabilities in Multiplexer Models Using Rational Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(5), pp. 633-644, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Newton-Padé approximation, Markovian arrival process, Statistical multiplexing, matrix-analytic methods |
19 | Arjan J. C. van Gemund |
Symbolic Performance Modeling of Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(2), pp. 154-165, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
parallel processing, Performance prediction, analytic performance modeling |
19 | Steve Drekic, Winfried K. Grassmann |
An Eigenvalue Approach to Analyzing a Finite Source Priority Queueing Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 112(1-4), pp. 139-152, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
priority queues, matrix analytic methods, quasi-birth-and-death process, generalized eigenvalues |
19 | Michael Felsberg, Gerald Sommer |
Image Features Based on a New Approach to 2D Rotation Invariant Quadrature Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV 2002, 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part I, pp. 369-383, 2002, Springer, 3-540-43745-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
quadrature filters, analytic signal, point-of-interest operator, image features, orientation estimation, structure tensor |
19 | Kwanghoon Pio Kim, Clarence A. Ellis |
Workflow performance and scalability analysis using the layered queuing modeling methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of GROUP 2001, ACM 2001 International Conference on Supporting Group Work, September 30 - October 3, 2001, Boulder, Colorado, USA, pp. 135-143, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
architectural performance analysis, architectural quality attribute, hardware contention model, method of layer (MOL), performance analytic model, software contention model, taxonomy of workflow architectures, performance, scalability, architectural framework |
19 | Stefano Monti, Giuseppe Carenini |
Dealing with the Expert Inconsistency in Probability Elicitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 12(4), pp. 499-508, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
probability elicitation, analytic hierarchy process, Bayesian belief networks |
19 | Tjavdar Ivanov, Vladimir Maz'ya, Gunther Schmidt 0002 |
Boundary layer approximate approximations and cubature of potentials in domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 10(3-4), pp. 311-342, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
volume potentials, semi-analytic cubature formulae, approximate approximations, approximate multi-resolution, 65N38, 65D32, 65D15 |
19 | Christophe P. Bernard |
Discrete Wavelet Analysis: A New Framework for Fast Optic Flow Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV'98, 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume II, pp. 354-368, 1998, Springer, 3-540-64613-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Analytic wavelets, Discrete wavelets, Optic flow, Image compression, Illumination |
19 | Asit Dan, Philip S. Yu, Anant Jhingran |
Recovery Analysis of Data Sharing Systems under Deferred Dirty Page Propagation Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(7), pp. 695-711, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Recovery analysis, deferred write, coupled systems, transaction processing, analytic modeling, database systems |
19 | Xiao-Ping (Steven) Zhang, Mita D. Desai |
Wavelet Based Automatic Thresholding for Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 224-227, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
systematic method, target areas segmentation, image segmentation, image segmentation, wavelet transforms, analytic model, Bayesian classifier, probability density function, multiresolution analysis, multiscale analysis, automatic thresholding |
19 | Jorge S. Marques, Arnaldo J. Abrantes |
A class of probabilistic shape models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 1054-1059, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
probabilistic shape models, data representation methods, fuzzy energy function, c-means map, probabilistic extension, Gibbs-Boltzman distributions, log partition function, analytic expressions, data structures, deformable models, snakes, Bayesian framework, Kohonen maps, fuzzy maps, elastic nets |
19 | H. Richard Gail, Sidney L. Hantler, Moshe Sidi, B. A. Taylor |
Linear independence of root equations forM/G/1 type Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 20(3-4), pp. 321-339, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
transform method, Matrix analytic method, ergodicity |
19 | Jukka Korpela, Markku Tuominen |
Group decision support for defining the vision and strategic goals for distribution logistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 475-484, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
logistics data processing, strategic goals, distribution logistics, long-term performance targets, decision support systems, Analytic Hierarchy Process, group decision support systems, group decision support system, strategic planning |
19 | Dorothy E. Leidner, Sven A. Carlsson, Joyce J. Elam |
A cross-cultural study of executive information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 91-100, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
research questions, perceived impact, US executives, problem identification speed, decision making speed, Swedish executives, analytic decision process, decision making behaviors, IT, cultural differences, EIS, management information systems, United States, government policies, professional aspects, Sweden, executive information systems, cross-cultural study |
19 | Pam Binns, Steve Vestal |
Architecture specifications for complex real-time dependable systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 357-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications |
19 | H. Wehbi, Hamouche Oulhadj, Jacques Lemoine, Eric Petit 0001 |
Numeral characters and capital letters segmentation recognition in mixed handwriting context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 878-881, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
numeral characters segmentation recognition, capital letters segmentation recognition, mixed handwriting context, analytic on-line recognition, overlapping discretely written characters, pure cursive writing, word segmentation problems, word drawings, mixed writing, handwriting recognition |
19 | John K. Antonio |
Concurrent Communication in High-Speed Wide Area Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(3), pp. 264-273, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
high-speed wide area networks, concurrent communication, stochastic demand pattern model, analytic estimate, link capacity values, weighted hop distancemetric, asymmetric topological structures, planarmeshes, performance evaluation, probability, probability, communication complexity, stochastic model, wide area networks, random graphs, performance metric, links, polynomial time, network parameters, topological structure, exponential complexity, receptivity |
19 | Yuyan Wu, S. Sitharama Iyengar, Ramesh C. Jain, Santanu Bose |
A New Generalized Computational Framework for Finding Object Orientation Using Perspective Trihedral Angle Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(10), pp. 961-975, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
generalized computational framework, perspective trihedral angle constraint, three-dimensional 3D object, single perspective image view, Kanatani's formulation, general analytic technique, shape from inverse perspective projection, angle to angle correspondence information, computer vision, object orientation, noise, closed form solution, simulation experiments, synthetic data, noisy environment |
19 | Asit Dan, Philip S. Yu |
Performance Analysis of Buffer Coherency Policies in a Multisystem Data Sharing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(3), pp. 289-305, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
integrated analytic models, buffer coherency policies, multisystem data sharing environment, multisystem transaction processing environment, propagation oriented approaches, coherency messages, buffer hit probability, independent reference model, CPU overhead, performance evaluation, performance analysis, transaction processing, detection, shared memory systems, response time, simulation models, notification, maximum throughput |
19 | Mark S. Squillante, Edward D. Lazowska |
Using Processor-Cache Affinity Information in Shared-Memory Multiprocessor Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(2), pp. 131-143, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
processor-cache affinity information, shared-memorymultiprocessor scheduling, quantum expiration, meanvalue analysis, analytic cache model, queueingtheory, scheduling, performance evaluation, synchronization, shared memory systems, buffer storage, I/O, preemption, queueing network models |
19 | Richard P. LaRowe Jr., Carla Schlatter Ellis, Mark A. Holliday |
Evaluation of NUMA Memory Management Through Modeling and Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(6), pp. 686-701, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
NUMA memory management, nonuniform memory access time, shared-memoryarchitectures, experimental DUnX operating system kernel, BBNGP1000, highly parameterized dynamic page placement policy, memorysystem performance, local/remote NUMA architecture, approximate mean-value analysistechniques, model predictions, dynamic multiple-copy pageplacement, replication/coherency fault errors, remotely referenced, parallel programs, parallel programming, analytic model, shared memory systems, storage management, storage allocation, experimental data |
19 | Philip S. Yu, Daniel M. Dias |
Analysis of Hybrid Concurrency Control Schemes For a High Data Contention Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(2), pp. 118-129, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
hybrid concurrency control schemes, hybrid CC, CC scheme, rerun transactions, dynamic locking, dynamic hybrid OCC, broadcast OCC, high data contention environment, decomposition approach, mean-value-type analysis, concurrency control, optimisation, transaction processing, analytic models, database theory, hybrid approach, optimistic concurrency control |
19 | Bruno Ciciani, Daniel M. Dias, Philip S. Yu |
Analysis of Concurrency-Coherency Control Protocols for Distributed Transaction Processing Systems with Regional Locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(10), pp. 899-914, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
concurrency-coherency control protocols, distributed transaction processing systems, fully replicated databases, duplicate copies, approximate analytic model, performance evaluation, performance, databases, protocols, delay, distributed processing, distributed databases, concurrency control, transaction processing |
19 | Goetz Graefe |
Heap-Filter Merge Join: A New Algorithm For Joining Medium-Size Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(9), pp. 979-982, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
heap filter merge join, medium-size inputs, novel algorithm, relational equijoin, merge join, medium-size inputs, hybrid hash join, analytic cost functions, relational databases, database theory |
19 | Ilkka Niemelä |
Decision Procedure for Autoepistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 675-684, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
analytic tableaux, theorem proving, Nonmonotonic logic |
19 | Salvatore T. March, Dennis G. Severance |
A Mathematical Modeling Approach to the Automatic Selection of Database Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, USA, May 31 - June 2, 1978, pp. 52-65, 1978, ACM, 978-1-4503-7342-5. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
access path selection, database design system, record segmentation, virtual secondary storage, data management, analytic modeling |
19 | Zhihao Liang, Qi Zhang, Wenbo Hu, Ying Feng, Lei Zhu, Kui Jia |
Analytic-Splatting: Anti-Aliased 3D Gaussian Splatting via Analytic Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.11056, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Timo Lang |
Some Analytic Systems of Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings, pp. 94-111, 2023, Springer, 978-3-031-43512-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Asta Halkjær From, Jørgen Villadsen |
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings, pp. 468-480, 2023, Springer, 978-3-031-43512-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Timothy A. Sands |
Treatise on Analytic Nonlinear Optimal Guidance and Control Amplification of Strictly Analytic (Non-Numerical) Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 9, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Fan Bao, Chongxuan Li, Jun Zhu 0001, Bo Zhang 0010 |
Analytic-DPM: an Analytic Estimate of the Optimal Reverse Variance in Diffusion Probabilistic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.06503, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Xiaofeng Chen, Yanting Fang, Junyi Chai 0001, Zeshui Xu |
Does Intuitionistic Fuzzy Analytic Hierarchy Process Work Better Than Analytic Hierarchy Process? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Fuzzy Syst. ![In: Int. J. Fuzzy Syst. 24(2), pp. 909-924, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Fan Bao, Chongxuan Li, Jun Zhu 0001, Bo Zhang 0010 |
Analytic-DPM: an Analytic Estimate of the Optimal Reverse Variance in Diffusion Probabilistic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022, 2022, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Lukas Grätz |
Analytic Tableaux for Non-deterministic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings, pp. 38-55, 2021, Springer, 978-3-030-86058-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Alessio Ishizaka, Menelaos Tasiou, Luis Martínez 0001 |
Analytic hierarchy process-fuzzy sorting: An analytic hierarchy process-based method for fuzzy classification in sorting problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 71(6), pp. 928-947, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Jiabao Lei, Kui Jia |
Analytic Marching: An Analytic Meshing Solution from Deep Implicit Surface Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.06597, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Jiabao Lei, Kui Jia |
Analytic Marching: An Analytic Meshing Solution from Deep Implicit Surface Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 37th International Conference on Machine Learning, ICML 2020, 13-18 July 2020, Virtual Event., pp. 5789-5798, 2020, PMLR. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Hing Kai Chan, Xuting Sun, Sai Ho Chung |
When should fuzzy analytic hierarchy process be used instead of analytic hierarchy process? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 125, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Maria Charina, Nira Dyn, Vladimir Yu. Protasov |
Analytic functions in shift-invariant spaces and analytic limits of level dependent subdivision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.05658, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
19 | Riyadh Arridha, Sritrusta Sukaridhoto, Dadet Pramadihanto, Nobuo Funabiki |
Classification extension based on IoT-big data analytic for smart environment monitoring and analytic in real-time system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Space Based Situated Comput. ![In: Int. J. Space Based Situated Comput. 7(2), pp. 82-93, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski |
The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANALCO ![In: Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics, ANALCO 2017, Barcelona, Spain, Hotel Porta Fira, January 16-17, 2017., pp. 16-30, 2017, SIAM, 978-1-61197-477-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Thomas L. Saaty, Konrad Kulakowski |
Axioms of the Analytic Hierarchy Process (AHP) and its Generalization to Dependence and Feedback: The Analytic Network Process (ANP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.05777, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Alexander K. Hudek, David Toman 0001, Grant E. Weddell |
On Enumerating Query Plans Using Analytic Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, pp. 339-354, 2015, Springer, 978-3-319-24311-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Olivier Bodini, Jérémie O. Lumbroso, Nicolas Rolin |
Analytic Samplers and the Combinatorial Rejection Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANALCO ![In: Proceedings of the Twelfth Workshop on Analytic Algorithmics and Combinatorics, ANALCO 2015, San Diego, CA, USA, January 4, 2015, pp. 40-50, 2015, SIAM, 978-1-61197-376-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Markus Klein, Juliane Rama |
Time asymptotics of e-ith(κ) for analytic matrices and analytic perturbation theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asymptot. Anal. ![In: Asymptot. Anal. 89(3-4), pp. 189-233, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Min Wang, Yung-Wen Liu, Xiangyang Li |
Type-2 diabetes management using Analytic Hierarchy Process and Analytic Network Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014, Miami, FL, USA, April 7-9, 2014, pp. 655-660, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Jing-Rung Yu, Wei-Yuan Shing |
Fuzzy analytic hierarchy process and analytic network process: An integrated fuzzy logarithmic preference programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 13(4), pp. 1792-1799, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Guy Latouche, Vaidyanathan Ramaswami, Jay Sethuraman, Karl Sigman, Mark S. Squillante, David D. Yao (eds.) |
Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![Springer, 978-1-4614-4908-9 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Franco Cauda, Tommaso Costa, Diana M. E. Torta, Katiuscia Sacco, Federico D'Agata, Sergio Duca, Giuliano Carlo Geminiani, Peter T. Fox, Alessandro Vercelli |
Meta-analytic clustering of the insular cortex: Characterizing the meta-analytic connectivity of the insula when involved in active tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 62(1), pp. 343-355, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Tobias Gärtner, Günter Hotz |
Representation Theorems for Analytic Machines and Computability of Analytic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 51(1), pp. 65-84, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Marta Bottero, Elena Comino, Vincenzo Riggio |
Application of the Analytic Hierarchy Process and the Analytic Network Process for the assessment of different wastewater treatment systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 26(10), pp. 1211-1224, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Qi-Ming He, Hanqin Zhang, Juan C. Vera 0001 |
Majorization and Extremal PH Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 107-121, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Giuliano Casale, Peter G. Harrison |
AutoCAT: Automated Product-Form Solution of Stochastic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 57-85, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Jung Woo Baek, Ho Woo Lee, Se Won Lee, Soohan Ahn |
Factorization Properties for a MAP-Modulated Fluid Flow Model Under Server Vacation Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 1-24, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Guy Latouche, Giang T. Nguyen 0003, Zbigniew Palmowski |
Two-Dimensional Fluid Queues with Temporary Assistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 187-207, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Gábor Horváth 0002, Miklós Telek |
Acceptance-Rejection Methods for Generating Random Variates from Matrix Exponential Distributions and Rational Arrival Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 123-143, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Vaidyanathan Ramaswami |
A Fluid Introduction to Brownian Motion and Stochastic Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 209-225, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Mogens Bladt, Luz Judith R. Esparza, Bo Friis Nielsen |
Bilateral Matrix-Exponential Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 41-56, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Sophie Hautphenne, Guy Latouche, Giang T. Nguyen 0003 |
Markovian Trees Subject to Catastrophes: Would They Survive Forever? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 87-106, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Dario A. Bini, Paola Favati, Beatrice Meini |
A Compressed Cyclic Reduction for QBD processes with Low-Rank Upper and Lower Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 25-40, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Benny Van Houdt, Juan F. Pérez |
Impact of Dampening Demand Variability in a Production/Inventory System with Multiple Retailers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 227-250, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Masahiro Kobayashi, Masakiyo Miyazawa |
Revisiting the Tail Asymptotics of the Double QBD Process: Refinement and Complete Solutions for the Coordinate and Diagonal Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAM ![In: Matrix-Analytic Methods in Stochastic Models, Seventh International Conference on Matrix Analytic Methods in Stochastic Models, MAM 2011, Columbia University, New York, NY, USA, 13-16 June 2011., pp. 145-185, 2011, Springer, 978-1-4614-4908-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Ruth F. Curtain, Leiba Rodman |
Analytic Solutions of Matrix Riccati Equations with Analytic Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 31(4), pp. 2075-2092, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Alexandra Weilenmann |
Learning to text: an interaction analytic study of how an interaction analytic study of how seniors learn to enter text on mobile phones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1135-1144, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
mobile phone, video analysis, cell phone, texting, text input, interaction analysis, seniors, novice users |
19 | Fernanda M. P. Raupp, Benar Fux Svaiter |
Analytic center of spherical shells and its application to analytic center machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Optim. Appl. ![In: Comput. Optim. Appl. 43(3), pp. 329-352, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Che-Wei Chang, Cheng-Ru Wu, Chin-Tsai Lin, Hung-Lung Lin |
Evaluating digital video recorder systems using analytic hierarchy and analytic network processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 177(16), pp. 3383-3396, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Rozann Whitaker |
Validation examples of the Analytic Hierarchy Process and Analytic Network Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 46(7-8), pp. 840-859, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Stephen J. Sangwine, Nicolas Le Bihan |
Hypercomplex analytic signals : Extension of the analytic signal concept to complex signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 15th European Signal Processing Conference, EUSIPCO 2007, Poznan, Poland, September 3-7, 2007, pp. 621-624, 2007, IEEE, 978-839-2134-04-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
19 | Lawrence Chi Kin Leung, K. C. Lam, D. Cao |
Implementing the balanced scorecard using the analytic hierarchy process & the analytic network process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 57(6), pp. 682-691, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | François Lemaire |
An orderly linear PDE system with analytic initial conditions with a non-analytic solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 35(5), pp. 487-498, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Kazutomo Nishizawa |
Bi-directional nearness in a network by AHP (Analytic Hierarchy Process) and ANP (Analytic Network Process). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Oper. Res. ![In: RAIRO Oper. Res. 34(3), pp. 313-330, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Linh Anh Nguyen |
Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings, pp. 341-351, 2000, Springer, 3-540-67697-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Matthias Baaz, Christian G. Fermüller, Helmut Veith |
An Analytic Calculus for Quantified Propositional Gödel Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings, pp. 112-126, 2000, Springer, 3-540-67697-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Matthias Baaz, Christian G. Fermüller |
Analytic Calculi for Projective Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings, pp. 36-50, 1999, Springer, 3-540-66086-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Uwe Egly |
Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings, pp. 158-172, 1997, Springer, 3-540-62920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Jean-Paul Billon |
The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, pp. 110-126, 1996, Springer, 3-540-61208-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Robert K. Meyer, Michael A. McRobbie, Nuel Belnap |
Linear Analytic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 278-293, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 8963 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|