|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3107 occurrences of 1904 keywords
|
|
|
Results
Found 6680 publication records. Showing 6680 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Thomas Sturm 0001 |
Integration of Quantifier Elimination with Constraint Logic Programming. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Hirokazu Anai, Volker Weispfenning |
Reach Set Computations Using Real Quantifier Elimination. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Pedro Alonso 0001, Raquel Cortina, Irene Díaz, Vicente Hernández, José Ranilla |
A Columnwise Block Striping in Neville Elimination. |
PPAM |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Julius Georgiou, Christofer Toumazou |
An operating point elimination technique for weak-inversion log-domain filters with multiple operating points. |
ISCAS (1) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Edward A. Hirsch, Arist Kojevnikov |
Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination. |
CP |
2001 |
DBLP DOI BibTeX RDF |
local search, empirical evaluation, Boolean satisfiability |
16 | Xiqi Gao, C. J. Duanmu, C. R. Zou |
A multilevel successive elimination algorithm for block matching motion estimation. |
IEEE Trans. Image Process. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Emanuele Galligani, Luca Zanni |
On the Stability of the Direct Elimination Method for Equality Constrained Least Squares Problems. |
Computing |
2000 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications: 65G05, 65K05, 90C20 |
16 | Alexander N. Malyshev |
A Note on the Stability of Gauss-Jordan Elimination for Diagonally Dominant Matrices. |
Computing |
2000 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications: 68F05, 68G05 |
16 | Hanan A. Mahmoud, Magdy A. Bayoumi |
An Efficient Successive Elimination Algorithm for Block-Matching Motion Estimation. |
Data Compression Conference |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Vitaliy L. Khizder, David Toman 0001, Grant E. Weddell |
Reasoning about Duplicate Elimination with Description Logic. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
16 | H. Safiri, Majid Ahmadi, Graham A. Jullien, William C. Miller |
A New Algorithm for the Elimination of Common Subexpressions in Hardware Implementation of Digital Filters by Using Genetic Programming. |
ASAP |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Momigliano |
Elimination of Negation in a Logical Framework. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini |
Type-Based Useless-Code Elimination for Functional Programs. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Andris Ambainis, Harry Buhrman, William I. Gasarch, Bala Kalyanasundaram, Leen Torenvliet |
The Communication Complexity of Enumeration, Elimination, and Selection. |
CCC |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Hongwei Xi |
Dead Code Elimination through Dependent Types. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Serenella Cerrito, Delia Kesner |
Pattern Matching as Cut Elimination. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Ducasse, Tamar Richner, Robb Nebbe |
Type-Check Elimination: Two Object-Oriented Reengineering Patterns. |
WCRE |
1999 |
DBLP DOI BibTeX RDF |
Object-Oriented, Patterns, Refactorings, Reengineering |
16 | Pedro Alonso 0001, Raquel Cortina, José Ranilla |
Block-Striped Partitioning and Neville Elimination. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
16 | María J. Martín, Inmaculada Pardines, Francisco F. Rivera |
Scheduling of Algorithms Based on Elimination Trees on NUMA Systems. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Marc Fuchs, Dirk Fuchs |
Abstraction-Based Relevancy Testing for Model Elimination. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Baaz, Alexander Leitsch, Georg Moser |
System Description: CutRes 0.1: Cut Elimination by Resolution. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Ingmar Neumann, Dominik Stoffel, Hendrik Hartje, Wolfgang Kunz |
Cell replication and redundancy elimination during placement for cycle time optimization. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Han-Saem Yun |
Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling. |
LCPC |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Xi-Qi Gao 0001, C. J. Duanmu, C. R. Zou, Zhenya He |
Multi-level successive elimination algorithm for motion estimation in video coding. |
ISCAS (4) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Lavinia Egidi |
A quantifier elimination for the theory of p-adic numbers. |
Comput. Complex. |
1998 |
DBLP DOI BibTeX RDF |
theory of p -adic numbers, Complexity, cylindrical algebraic decomposition |
16 | Ulrich Kohlenbach |
Elimination of Skolem functions for monotone formulas in analysis. |
Arch. Math. Log. |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification: 03F35, 03F10, 03F03, 03F25 |
16 | Tatiana Samoilov, Gershon Elber |
Self-intersection elimination in metamorphosis of two-dimensional curves. |
Vis. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Freeform parametric curves and surfaces, Homotopic curves and surfaces, Matching, Morphing, Computer-aided geometric design |
16 | David Peleg |
Distributed Matroid Basis Completion via Elimination Upcast and Distributed Correction of Minimum-Weight Spanning Trees. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Ayse Kiper |
An Efficient Parallel Triangular Inversion by Gauss Elimination with Sweeping. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Werner Kuich |
Gaußian Elimination and a Characterization of Algebraic Power Series. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Leo Bachmair, Harald Ganzinger, Andrei Voronkov |
Elimination of Equality via Transformation with Ordering Constraints. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Fred C. Chow, Robert Kennedy, Shin-Ming Liu, Raymond Lo, Peng Tu |
Register Promotion by Partial Redundancy Elimination of Loads and Stores. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Elias Dahlhaus |
Minimal Elimination of Planar Graphs. |
SWAT |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Li-Ren Huang, Jing-Yang Jou, Sy-Yen Kuo |
Gauss-elimination-based generation of multiple seed-polynomial pairs for LFSR. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | J. C. Lagarias 0001, Nagabhushana Prabhu, James A. Reeds |
The d-Step Conjecture and Gaussian Elimination. |
Discret. Comput. Geom. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Di Cosmo, Delia Kesner |
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Elias Dahlhaus |
Minimal Elimination Ordering Inside a Given Chordal Graph. |
WG |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Robert Pasko, Patrick Schaumont, Veerle Derudder, Daniela Duracková |
Optimization Method for Broadband Modem FIR Filter Design using Common Subexpression Elimination. |
ISSS |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Fred C. Chow, Sun Chan, Robert Kennedy, Shin-Ming Liu, Raymond Lo, Peng Tu |
A New Algorithm for Partial Redundancy Elimination based on SSA Form. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Rastislav Bodík, Rajiv Gupta 0001 |
Partial Dead Code Elimination using Slicing Transformations. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Dragan Gamberger, Nada Lavrac |
Conditions for Occam's Razor Applicability and Noise Elimination. |
ECML |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Hans Jürgen Ohlbach |
SCAN - Elimination of Predicate Quantifiers. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Apostolos A. Kountouris |
Safe and efficient elimination of infeasible execution paths in WCET estimation. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
infeasible execution paths, WCET estimation, time critical systems, R/T programming language, Dynamic Graph representation, real-time systems, SIGNAL, timing properties, Worst Case Execution Time |
16 | Matthias Baaz, Alexander Leitsch |
Fast Cut-Elimination by Projection. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Priyadarshan Kolte, Michael Wolfe |
Elimination of Redundant Array Subscript Range Checks. |
PLDI |
1995 |
DBLP DOI BibTeX RDF |
FORTRAN |
16 | Ludovit Markus |
Application of the general elimination method in robot kinematics. |
J. Intell. Robotic Syst. |
1994 |
DBLP DOI BibTeX RDF |
coordinate transformations, Robot kinematics, inverse kinematics problem |
16 | Peter Lützen Møller |
Run-Time Check Elimination for Ada 9X. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
16 | Mauro Leoncini |
How Much Can We Speedup Gaussian Elimination with Pivoting? |
SPAA |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Volker Weispfenning |
Quantifier Elimination for Real Algebra - the Cubic Case. |
ISSAC |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Hoon Hong |
Parallelization of Quantifier Elimination on a Workstation Network. |
AAECC |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Tajine |
The Negation Elimination from Syntactic Equational Formula is Decidable. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Ulf R. Schmerl |
A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Dan Jonsson |
Next: the elimination of Goto-patches? |
ACM SIGPLAN Notices |
1989 |
DBLP DOI BibTeX RDF |
|
16 | K. Gopinath, John L. Hennessy |
Copy Elimination in Functional Languages. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Barbara G. Ryder, Marvin C. Paull |
Elimination Algorithms for Data Flow Analysis. |
ACM Comput. Surv. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | W. Böge |
Quantifier Elimination for Real Closed Fields. |
AAECC |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Umeshwar Dayal, Nathan Goodman, Randy H. Katz |
An Extended Relational Algebra with Control over Duplicate Elimination. |
PODS |
1982 |
DBLP DOI BibTeX RDF |
|
16 | W. W. Bledsoe, Larry M. Hines |
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. |
CADE |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Martelli |
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph. |
J. ACM |
1976 |
DBLP DOI BibTeX RDF |
|
16 | S. Fleisig, Donald W. Loveland, A. K. Smiley III, D. L. Yarmush |
An Implementation of the Model Elimination Proof Procedure. |
J. ACM |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Joel Moses |
Solutions of systems of polynomial equations by elimination. |
Commun. ACM |
1966 |
DBLP DOI BibTeX RDF |
|
16 | Susumu Kuno |
The predictive analyzer and a path elimination technique. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
|
12 | Adish Singla, Ryen W. White |
Sampling high-quality clicks from noisy click data. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
query entropy, noise elimination, click data, web search ranking |
12 | Massimo Bartoletti, Roberto Zunino |
A Calculus of Contracting Processes. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
circular assume-guarantee, concurrent constraints, contracts, cut elimination |
12 | DeLesley S. Hutchins |
Pure subtype systems. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types |
12 | Hilit Achiezra, Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv |
Exploratory keyword search on data graphs. |
SIGMOD Conference |
2010 |
DBLP DOI BibTeX RDF |
information retrieval on graphs, keyword search on graphs, redundancy elimination |
12 | Lou Jing, Zang Aiqin |
Pavement Crack Distress Detection Based on Image Analysis. |
MVHI |
2010 |
DBLP DOI BibTeX RDF |
pavement crack distress detection, gray correction, noise elimination, bilinear interpolation |
12 | Enrico Marchioni, George Metcalfe |
Interpolation Properties for Uninorm Based Logics. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
Uninorm Based Logics, Deductive Interpolation, Quantifier Elimination, Craig Interpolation |
12 | Minoru Mori, Kunio Kashino |
Fast Template Matching Based on Normalized Cross Correlation Using Adaptive Block Partitioning and Initial Threshold Estimation. |
ISM |
2010 |
DBLP DOI BibTeX RDF |
Successive elimination, Adaptive block partitioning, Initial threshold estimation, Template matching |
12 | Jason Thong, Nicola Nicolici |
A novel optimal single constant multiplication algorithm. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
single constant multiplication, directed acyclic graphs, optimal algorithm, common subexpression elimination |
12 | Dukwon Kim |
Gauss, Carl Friedrich. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Fundamental theorem of algebra, Method of least squares, Gaussian elimination |
12 | Graham Wood |
Bisection Global Optimization Methods. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Lipschitz continuity, Multidimensional bisection, Epigraph, Linear convergence, System, Reduction, Tiling, Bisection, Simplex, Elimination, Bracket |
12 | Juha Kontinen |
A logical characterization of the counting hierarchy. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Counting hierarchy, majority quantifiers, the 0-1 law, quantifier elimination |
12 | Anne Denton, Christopher Besemann, Dietmar H. Dorr |
Pattern-based time-series subsequence clustering using radial distribution functions. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Time series subsequence clustering, Clustering noisy data, Time series labeling, Density-based clustering, Noise elimination |
12 | Jia Zou 0002, Joshua S. Auerbach, David F. Bacon, Edward A. Lee |
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
flexible task graphs, jitter elimination, ptides, real-time systems, real-time scheduling |
12 | Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination |
12 | Elena Machkasova, Kevin Arhelger, Fernando Trinciante |
The observer effect of profiling on dynamic Java optimizations. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
hprof, Java, profiler, JVM, HotSpot, inlining, dead code elimination |
12 | James Brotherston, Cristiano Calcagno |
Classical BI: a logic for reasoning about dualising resources. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
bunched implications, classical bi, display logic, semantics, completeness, cut-elimination, resource models |
12 | Olle Regardt, Lars Rönnbäck, Maria Bergholtz, Paul Johannesson, Petia Wohed |
Anchor Modeling. |
ER |
2009 |
DBLP DOI BibTeX RDF |
anchor modeling, 6NF, table elimination, temporal databases, normalization, data warehousing, agile development |
12 | Jean-Baptiste Tristan, Xavier Leroy |
Verified validation of lazy code motion. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers |
12 | Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera |
Typed transformations of typed abstract syntax. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
typed transformations, type systems, meta-programming, gadt, common subexpression elimination |
12 | Zhongbin Wang 0001, Chao Tan, Qing Li, Yuliu Chen |
Research on Intelligent CAPP System Based on Multi-agent System. |
HIS (1) |
2009 |
DBLP DOI BibTeX RDF |
computer-aided process planning, work mechanism, conflict elimination, multi-agent system |
12 | Haim Avron, Gil Shklarski, Sivan Toledo |
Parallel unsymmetric-pattern multifrontal sparse LU with column preordering. |
ACM Trans. Math. Softw. |
2008 |
DBLP DOI BibTeX RDF |
Unsymmetric, multifrontal, Gaussian elimination |
12 | Min Tang 0001, Sung-Eui Yoon, Dinesh Manocha |
Adjacency-based culling for continuous collision detection. |
Vis. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Adjacency-based culling, Elementary test, Continuous collision detection, Duplication elimination |
12 | Yao Lu, Guoyi Zhang |
A DL-Based Approach for Eliminating Concept Restriction Conflicts in Ontology Merging. |
NPC Workshops |
2008 |
DBLP DOI BibTeX RDF |
value and cardinality restriction, conflicts elimination, description logic, conflict detection, ontology merging |
12 | Rupesh R. Mehta, Amit Madaan |
Web page sectioning using regex-based template. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
site-specific noise elimination, site-specific segmentation, tree-based reg-ex |
12 | Bican Xia, Lu Yang, Naijun Zhan |
Program Verification by Reduction to Semi-algebraic Systems Solving. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Semi-Algebraic Systems, Program Verification, Invariants, Quantifier Elimination, Ranking Functions, Polynomial Programs |
12 | Carsten Schürmann 0001, Jeffrey Sarnat |
Structural Logical Relations. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Twelf, Normalization, Logical Frameworks, Cut-Elimination, Logical Relations |
12 | Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv |
Keyword proximity search in complex data graphs. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
approximate top-k answers, information retrieval on graphs, keyword proximity search, subtree enumeration by height, redundancy elimination |
12 | Ritesh Garg, Richard Putman, Nur A. Touba |
Increasing Output Compaction in Presence of Unknowns Using an X-Canceling MISR with Deterministic Observation. |
VTS |
2008 |
DBLP DOI BibTeX RDF |
X-tolerant, Linear Compression, Gaussian Elimination, Response Compaction |
12 | Lian Yu, Shuang Su, Shan Luo, Yu Su 0007 |
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems |
12 | Tomasz S. Czajkowski, Stephen Dean Brown |
Functionally linear decomposition and synthesis of logic circuits for FPGAs. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
decomposition, logic synthesis, linearity, Gaussian elimination |
12 | Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara |
Symbolic optimization of algebraic functions. |
ISSAC |
2008 |
DBLP DOI BibTeX RDF |
polynomial spectral factorization, quantifier elimination, parametric optimization, groebner basis |
12 | Nicholas I. M. Gould, Jennifer A. Scott, Yifan Hu 0001 |
A numerical evaluation of sparse direct solvers for the solution of large sparse symmetric linear systems of equations. |
ACM Trans. Math. Softw. |
2007 |
DBLP DOI BibTeX RDF |
symmetric linear systems, software, Sparse matrices, Gaussian elimination, direct solvers |
12 | Yulai Zhao 0003, Xianfeng Li, Dong Tong 0001, Xu Cheng 0001 |
An Energy-Efficient Instruction Scheduler Design with Two-Level Shelving and Adaptive Banking. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
content associative memory (CAM), tag elimination, waiting instruction buffer, instruction scheduler, energy-efficient architecture |
12 | Thibaut Feydy, Peter J. Stuckey |
Propagating dense systems of integer linear equations. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
constraint programming, constraint propagation, linear equations, Gaussian elimination |
12 | V. Suresh Babu, P. Viswanath |
Weighted k-Nearest Leader Classifier for Large Data Sets. |
PReMI |
2007 |
DBLP DOI BibTeX RDF |
weighted leaders method, k-NNC, prototypes, noise elimination |
12 | Jiangong Zhang, Torsten Suel |
Efficient search in large textual collections with redundancy. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
search engines, inverted index, index compression, redundancy elimination, query execution |
12 | László Szilágyi, Sándor M. Szilágyi, Zoltán Benyó |
Efficient Feature Extraction for Fast Segmentation of MR Brain Images. |
SCIA |
2007 |
DBLP DOI BibTeX RDF |
image segmentation, feature extraction, magnetic resonance imaging, noise elimination, fuzzy c-means algorithm |
12 | Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg |
The ExoVM system for automatic VM and application reduction. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination |
Displaying result #601 - #700 of 6680 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|