|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2006 occurrences of 1232 keywords
|
|
|
Results
Found 3978 publication records. Showing 3978 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Aravind Kalaiah, Amitabh Varshney |
Modeling and Rendering of Points with Local Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 9(1), pp. 30-42, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
point sample rendering, per-pixel shading, Differential geometry, simplification |
20 | Yong-Jin Liu, Matthew Ming-Fai Yuen |
Optimized triangle mesh reconstruction from unstructured points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 19(1), pp. 23-37, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Geometric modeling, Mesh simplification, Mesh optimization, Three-dimensional shape recovery |
20 | Gisela Klette |
Simple Points in 2D and 3D Binary Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003, Proceedings, pp. 57-64, 2003, Springer, 3-540-40730-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
simple deformations, shape simplification, topology, thinning, simple points |
20 | Tao Ju, Frank Losasso, Scott Schaefer, Joe D. Warren |
Dual contouring of hermite data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 21(3), pp. 339-346, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
crack prevention, polyhedral simplification, quadratic error functions, contouring, implicit functions |
20 | Renato Pajarola |
FastMesh: Efficient View-Dependent Meshing Renato P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 9th Pacific Conference on Computer Graphics and Applications, PG 2001, Tokyo, Japan, October 16-18, 2001, pp. 22-30, 2001, IEEE Computer Society, 0-7695-1227-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
level-of-detail, mesh simplification, interactive rendering, multiresolution modeling |
20 | Tobias Müller |
Promoting Constraints to First-Class Status. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 429-447, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
first-class constraints, early failure detection, simplification and garbage collection of constraints, minimal sets of inconsistent constraints, constraint programming |
20 | Paolo Cignoni, Enrico Puppo, Roberto Scopigno |
Representation and visualization of terrain surfaces at variable resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 13(5), pp. 199-217, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Variable resolution representations, Terrain visualization, Surface simplification, Digital terrain modeling |
20 | Paulo J. L. Nunes, Fernando Pereira 0001, Ferran Marqués |
Multi-grid chain coding of binary shapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 114-117, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
multi-grid chain coding, binary shapes, near-lossless coding, differential chain code method, MGCC, INTRA prediction modes, INTER prediction modes, near-lossless contour coding technique, contour description, contour prediction, contour simplification, delay, video coding, motion compensation, edges, residues, video objects, MPEG-4 standard, lossless coding, lossy coding, object-based video coding |
20 | Hassan Aït-Kaci, Andreas Podelski |
Functions as Passive Constraints in LIFE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1279-1318, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
?-terms, committed-choice languages, first-order terms, relative simplification, matching, unification, residuation, coroutining, concurrent constraint programming |
20 | Douglas R. Smith |
KIDS: A Semiautomatic Program Development System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1024-1043, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
KIDS, semiautomatic program development system, Kestrel Interactive Development System, deductive inference, finite differencing optimizations, data type refinement, k-queens problem, SUN-4/110, software engineering, formal specifications, compilation, optimisation, partial evaluation, inference mechanisms, algorithm design, program simplification |
20 | J. C. Huang 0001 |
State Constraints and Pathwise Decomposition of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 880-896, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
state constraint, program pathwise, subprograms, execution paths, formal basis, pathwise decomposition, software engineering, computational complexity, verification, testing, program testing, control flow, programming construct, program simplification |
18 | Christopher Dyken, Morten Dæhlen, Thomas Sevaldrud |
Simultaneous curve simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 11(3), pp. 273-289, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
JEL C63 |
18 | Pierre-François Marteau, Gildas Ménier |
Speeding up simplification of polygonal curves using nested approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 12(4), pp. 367-375, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Dynamic programming, Multiresolution, Polygonal approximation |
18 | Rabiah Abdul Kadir, Tengku M. T. Sembok, Halimah Badioze Halimah |
Generating 3D Visual Expression Using Semantic Simplification Description Based on Logical Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVIC ![In: Visual Informatics: Bridging Research and Practice, First International Visual Informatics Conference, IVIC 2009, Kuala Lumpur, Malaysia, November 11-13, 2009, Proceedings, pp. 58-65, 2009, Springer, 978-3-642-05035-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Visual Expression, Precision Answer Extraction, Question Answering System, Logical Representation |
18 | Joel Daniels II, Cláudio T. Silva, Jason Shepherd, Elaine Cohen |
Quadrilateral mesh simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(5), pp. 148, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Hasan Amjad |
LCF-Style Propositional Simplification with BDDs and SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings, pp. 55-70, 2008, Springer, 978-3-540-71065-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Tim Dwyer, Nathan Hurst, Damian Merrick |
A Fast and Simple Heuristic for Metro Map Path Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (2) ![In: Advances in Visual Computing, 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II, pp. 22-30, 2008, Springer, 978-3-540-89645-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Vincenzo Del Fatto, Luca Paolino, Monica Sebillo, Giuliana Vitiello, Genoveffa Tortora |
Spatial Factors Affecting User's Perception in Map Simplification: An Empirical Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W2GIS ![In: Web and Wireless Geographical Information Systems, 8th International Symposium, W2GIS 2008, Shanghai, China, December 11-12, 2008. Proceedings, pp. 152-163, 2008, Springer, 978-3-540-89902-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ramer-Douglas-Peucker Algorithm, Cognitive Aspects, ANOVA Test, Human Factors, Maps, Controlled Experiment |
18 | Matías Urenda Moris, Amos H. C. Ng, Jacob Svensson |
Simplification and aggregation strategies applied for factory analysis in conceptual phase using simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 1913-1921, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Pengdong Gao, Li Ameng, Yongquan Lu, Jintao Wang, Nan Li, Wenhua Yu |
Adaptive Mesh Simplification Using Vertex Clustering with Topology Preserving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 971-974, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Mahmoud Ghoniem, Youssef Chahir, Abderrahim Elmoataz |
Video Denoising and Simplification Via Discrete Regularization on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems, 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings, pp. 380-389, 2008, Springer, 978-3-540-88457-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Huihai Lu, John C. Woods, M. Ghanbari 0001 |
Binary Partition Tree Analysis Based on Region Evolution and Its Application to Tree Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 16(4), pp. 1131-1138, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | W. K. Chan 0001, Jeffrey C. F. Ho, T. H. Tse |
Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 397-404, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Jon Mikkelsen Hjelmervik, Jean-Claude Léon |
GPU-Accelerated Shape Simplification for Mechanical-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 2007 International Conference on Shape Modeling and Applications (SMI 2007), 13-15 June 2007, Lyon, France, pp. 91-102, 2007, IEEE Computer Society, 0-7695-2815-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Frédéric Payan, Stefanie Hahmann, Georges-Pierre Bonneau |
Deforming surface simplification based on dynamic geometry sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 2007 International Conference on Shape Modeling and Applications (SMI 2007), 13-15 June 2007, Lyon, France, pp. 71-80, 2007, IEEE Computer Society, 0-7695-2815-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Huijie Zhang, Jigui Sun, Changsong Qi, Nan Lv |
A New Seamless Multi-resolution Simplification Method for the Terrain Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence/IAT Workshops ![In: Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, USA, pp. 39-42, 2007, IEEE Computer Society, 0-7695-3028-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Bill Andreopoulos, Aijun An, Xiaogang Wang 0007 |
Hierarchical Density-Based Clustering of Categorical Data and a Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings, pp. 11-22, 2007, Springer, 978-3-540-71700-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Songxin Liang, David J. Jeffrey |
Rule-Based Simplification in Vector-Product Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 116-127, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Steven G. Johnson, Matteo Frigo |
Comments on "Method of flow graph simplification for the 16-point discrete Fourier Transform". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 54(4), pp. 1562, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Xiuwen Liu, Cui Xie, Yicheng Jin |
Feature-Preserving Simplification of Texture-Mapped Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: Third International Conference on Computer Graphics, Imaging and Visualization (CGIV 2006), 26-28 July 2006, Sydney, Australia, pp. 390-395, 2006, IEEE Computer Society, 0-7695-2606-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Sven Groppe, Stefan Böttcher, Jinghua Groppe |
XPath Query Simplification with regard to the Elimination of Intersect and Except Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 22nd International Conference on Data Engineering Workshops, ICDE 2006, 3-7 April 2006, Atlanta, GA, USA, pp. 86, 2006, IEEE Computer Society, 0-7695-2571-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Leiming Xu, Yong Xiang, Meilin Shi |
A novel channel assignment algorithm based on topology simplification in multi-radio wirelesss mesh networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the 25th IEEE International Performance Computing and Communications Conference, IPCCC 2006, April 10-12, 2006, Phoenix, Arizona, USA, 2006, IEEE, 1-4244-0198-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Guoqiang Fei, Yonghuai Liu, Baogang Wei, Longzhuang Li |
Discontinuity-Based Simplification of Free Form Surface From a Range Image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (4) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 13-16, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Henning Christiansen 0001, Davide Martinenghi |
On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 4-8 September 2006, Krakow, Poland, pp. 569-576, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Soo-Kyun Kim, Sun-Jeong Kim, Chang-Hun Kim |
Extraction of Ridges-Valleys for Feature-Preserving Simplification of Polygonal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II, pp. 279-286, 2006, Springer, 3-540-34381-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Sheng Li 0008, Junfeng Ji, Xuehui Liu, Guoping Wang, Enhua Wu |
Perception-Guided Simplification for Real Time Navigation of Very Large-Scale Terrain Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I, pp. 420-430, 2006, Springer, 3-540-34070-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Yuanzhuo Wang, Chuang Lin 0002, Yang Yang 0004, Yang Qu |
Grid Service Workflow Models and Their Equivalent Simplification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC Workshops ![In: Grid and Cooperative Computing Workshops - GCC 2006, 5th International Conference, Changsha, Hunan, China, 21-23 October 2006, Proceedings, pp. 302-307, 2006, IEEE Computer Society, 0-7695-2695-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jian-ping Ma, Xiaonan Luo, Shi-jia Ma, Guifeng Zheng |
Meshes Simplification Based on Reverse Subdivision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT ![In: Advances in Artificial Reality and Tele-Existence, 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006, Proceedings, pp. 849-860, 2006, Springer, 3-540-49776-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mattias Andersson 0002, Joachim Gudmundsson, Christos Levcopoulos |
Restricted Mesh Simplification Using Edge Contractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings, pp. 196-204, 2006, Springer, 3-540-36925-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | W. H. Muthumala, Masanori Hariyama, Michitaka Kameyama |
GA-Based Assignment of Supply and Threshold Voltages and Interconnection Simplification for Low Power VLSI Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems 2006, APCCAS 2006, Singapore, 4-7 December 2006, pp. 1264-1267, 2006, IEEE, 1-4244-0387-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Dmitri Maslov, Christina Young, D. Michael Miller, Gerhard W. Dueck |
Quantum Circuit Simplification Using Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 1208-1213, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Eduardo Romero-Aguirre, Juan Carlos Murrieta-Lee |
A Survey of the Graphic Alternate Method for Boolean Functions Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONIELECOMP ![In: 15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005 - 2 March 2005, Puebla, Mexico, pp. 328-334, 2005, IEEE Computer Society, 0-7695-2283-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Subminiterms, logic adjacency, variable-entered, miniterms rings, prime implicant |
18 | Jorge Posada, Carlos Toro 0001, Stefan Wundrak, André Stork |
Ontology Supported Semantic Simplification of Large Data Sets of Industrial Plant CAD Models for Design Review Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III, pp. 184-190, 2005, Springer, 3-540-28896-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Bernardo Cuenca Grau |
A possible simplification of the semantic web architecture. ![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. 704-713, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
resource description framework schema (RDF-schema), semantic web, description logics, resource description framework (RDF), ontology web language (OWL) |
18 | Özgür Ulucay, Sarp Ertürk |
3-Dimensional Object Modeling with Mesh Simplification Based Resolution Adjustment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DPVT ![In: 2nd International Symposium on 3D Data Processing, Visualization and Transmission (3DPVT 2004), 6-9 September 2004, Thessaloniki, Greece, pp. 132-138, 2004, IEEE Computer Society, 0-7695-2223-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Henning Christiansen 0001, Davide Martinenghi |
Simplification of Integrity Constraints for Data Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20, 2004, Proceedings, pp. 31-48, 2004, Springer, 3-540-20965-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Martin Allen, Shlomo Zilberstein |
Automated Conversion and Simplification of Plan Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 1272-1273, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Carlos D. Correa, Ivan Marsic |
A Simplification Architecture for Exploring Navigation Tradeoffs in Mobile VR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality Conference 2004 (VR 2004), 27-31 March 2004, Chicago, IL, USA, Proceedings, pp. 133-140, 2004, IEEE Computer Society, 0-7803-8415-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Miguel A. Otaduy, Ming C. Lin |
Sensation preserving simplification for haptic rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 22(3), pp. 543-553, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
haptics, collision detection, level-of-detail algorithms |
18 | Bing-Yu Chen 0004, Tomoyuki Nishita |
An Efficient Mesh Simplification Method with Feature Detection for Unstructured Meshes and Web Graphics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: 2003 Computer Graphics International (CGI 2003), 9-11 July 2003, Tokyo, Japan, pp. 34-43, 2003, IEEE Computer Society, 0-7695-1946-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Michelangelo Ceci, Annalisa Appice, Donato Malerba |
Simplification Methods for Model Trees with Regression and Splitting Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLDM ![In: Machine Learning and Data Mining in Pattern Recognition, Third International Conference, MLDM 2003, Leipzig, Germany, July 5-7, 2003, Proceedings, pp. 20-34, 2003, Springer, 3-540-40504-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Martin Giese |
Simplification Rules for Constrained Formula Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings, pp. 65-80, 2003, Springer, 3-540-40787-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Michael Shafae, Renato Pajarola |
DStrips: Dynamic Triangle Strips for Real-Time Mesh Simplification and Rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 11th Pacific Conference on Computer Graphics and Applications, PG 2003, Canmore, Canada, October 8-10, 2003, pp. 271-, 2003, IEEE Computer Society, 0-7695-2028-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Holger Theisel, Christian Rössl, Hans-Peter Seidel |
Combining Topological Simplification and Topology Preserving Compression for 2D Vector Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 11th Pacific Conference on Computer Graphics and Applications, PG 2003, Canmore, Canada, October 8-10, 2003, pp. 419-423, 2003, IEEE Computer Society, 0-7695-2028-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Richard J. Fateman |
High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 88-94, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Bessel, proof, differentiation, recurrence, sine |
18 | Herbert Edelsbrunner, David Letscher, Afra Zomorodian |
Topological Persistence and Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 28(4), pp. 511-533, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Guangming Li, Jie Tian 0001, Mingchang Zhao, Huiguang He, Xiaopeng Zhang 0001 |
A New Mesh Simplification Algorithm Combining Half-Edge Data Structure with Modified Quadric Error Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 16th International Conference on Pattern Recognition, ICPR 2002, Quebec, Canada, August 11-15, 2002., pp. 659-658, 2002, IEEE Computer Society, 0-7695-1695-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Alan Mishchenko, Robert K. Brayton |
Simplification of non-deterministic multi-valued networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, ICCAD 2002, San Jose, California, USA, November 10-14, 2002, pp. 557-562, 2002, ACM / IEEE Computer Society, 0-7803-7607-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Martin Franc, Václav Skala |
Fast Algorithm for Triangular Mesh Simplification Based on Vertex Decimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, pp. 42-51, 2002, Springer, 3-540-43593-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Josef Schicho |
Simplification of surface parametrizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pp. 229-237, 2002, ACM, 1-58113-484-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Ha Q. Le |
Simplification of definite sums of rational functions by creative symmetrizing method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pp. 161-167, 2002, ACM, 1-58113-484-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | David P. Luebke |
A Developer's Survey of Polygonal Simplification Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 21(3), pp. 24-35, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Chin-Wang Tao |
Simplification of a fuzzy mechanism with rule combination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(6), pp. 418-425, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Rule combination, Don't care conditions |
18 | Luiz Velho 0001 |
Mesh Simplification Using Four-Face Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 2001 International Conference on Shape Modeling and Applications (SMI 2001), 7-11 May 2001, Genoa, Italy, pp. 200-208, 2001, IEEE Computer Society, 0-7695-0853-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
variable resolution, 4-k meshes, adaptation, level of detail |
18 | Yuval Bistritz |
Scattering and immittance type tabular stability tests for 2-D discrete-time systems and their simplification by telepolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 369-372, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Barkowsky, Longin Jan Latecki, Kai-Florian Richter |
Schematizing Maps: Simplification of Geographic Shape by Discrete Curve Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications, pp. 41-53, 2000, Springer, 3-540-67584-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | João Marques-Silva 0001 |
Algebraic Simplification Techniques for Propositional Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 537-542, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Daniel DeMenthon, Longin Jan Latecki, Azriel Rosenfeld, Marc Vuilleumier Stückelberg |
Relevance Ranking of Video Data using Hidden Markov Model Distances and Polygon Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISUAL ![In: Advances in Visual Information Systems, 4th International Conference, VISUAL 2000, Lyon, France, November 2-4, 2000, Proceedings, pp. 49-61, 2000, Springer, 3-540-41177-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Dmitry Brodsky, Benjamin Watson 0001 |
Model Simplification for Interactive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: Virtual Reality 2000 Conference, VR'00, New Brunswick, New Jersey, USA, March 18-22, 2000, Proceedings, pp. 286, 2000, IEEE Computer Society, 0-7695-0478-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Oscar Guerra, Juan D. Rodríguez-García, Elisenda Roca, Francisco V. Fernández 0001, Ángel Rodríguez-Vázquez |
An Accurate Error Control Mechanism for Simplification Before Generation Algorihms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 412-, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Masahiro Fukumoto, Hajime Kubota, Shigeo Tsujii |
Simplification of stochastic fastest NLMS algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 158-161, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Mireille Larnac, Janine Magnier, Vincent Chapurlat |
Simplification of Proof Procedures Based on the Path Condition Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29 - October 2, 1999, Proceedings, pp. 116-126, 1999, Springer, 3-540-67822-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Ullrich Hustadt, Renate A. Schmidt |
Simplification and Backjumping in Modal Tableau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings, pp. 187-201, 1998, Springer, 3-540-64406-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Robert P. Grzeszczuk, Milana Huang, Louis H. Kauffman |
Physically-Based Stochastic Simplification of Mathematical Knots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 3(3), pp. 262-272, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
knot classification, polynomial invariants, simulated annealing, knot theory, Mathematical visualization |
18 | Thomas Arts, Jürgen Giesl |
Automatically Proving Termination Where Simplification Orderings Fail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 261-272, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Gautam Bhargava, Piyush Goel, Balakrishna R. Iyer |
Simplification of outer joins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada, pp. 7, 1995, IBM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Tsutomu Sasao |
EXMIN2: a simplification algorithm for exclusive-OR-sum-of-products expressions for multiple-valued-input two-valued-output functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(5), pp. 621-632, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Manfred A. Jeusfeld, Matthias Jarke |
From Relational to Object-Oriented Integrity Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings, pp. 460-477, 1991, Springer, 3-540-55015-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Frank Pfenning, Dan Nesmith |
Presenting Intuitive Deductions via Symmetric Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 336-350, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Leo Bachmair, Harald Ganzinger |
On Restrictions of Ordered Paramodulation with Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 427-441, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Alexander Saldanha, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Multi-level Logic Simplification Using Don't Cares and Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 26th ACM/IEEE Design Automation Conference, Las Vegas, Nevada, USA, June 25-29, 1989., pp. 277-282, 1989, ACM Press. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Pettorossi |
Comparing and Putting Together Recursive Path Ordering, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings, pp. 432-447, 1981, Springer, 3-540-10843-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
18 | Ellen R. Clark |
On the automatic simplification of source-language programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 10(3), pp. 160-165, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
13 | Marcus Roy |
Towards end-user enabled web service consumption for Mashups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 413-416, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
WS-*, SOA, Web 2.0, folksonomy, Enterprise Mashup |
13 | Guillaume Lavoué |
A local roughness measure for 3D meshes and its application to visual masking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Appl. Percept. ![In: ACM Trans. Appl. Percept. 5(4), pp. 21:1-21:23, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Curvature, Masking, 3D mesh, subjective evaluation, Roughness |
13 | Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
Effective interactive proofs for higher-order imperative programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 79-90, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
functional programming, dependent types, separation logic, interactive proof assistants |
13 | Huanglin Zeng, Xiaohui Zeng |
Reasoning Decision Rules of an Uncertain System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 634-641, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
An uncertain information system, Information coverage, Data mining, Rough sets, Statistical methods, Decision rules |
13 | Federico Ponchio, Kai Hormann |
Interactive Rendering of Dynamic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 14(4), pp. 914-925, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Samia Nefti, Mourad Oussalah 0002, Uzay Kaymak |
A New Fuzzy Set Merging Technique Using Inclusion-Based Fuzzy Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(1), pp. 145-161, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Mehdi Amirijoo, Pål K. Frenger, Fredrik Gunnarsson, Harald Kallin, Johan Moe, Kristina Zetterberg |
Neighbor cell relation list and measured cell identity management in LTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, NOMS 2008, 7-11 April 2008, Salvador, Bahia, Brazil, pp. 152-159, 2008, IEEE, 978-1-4244-2066-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | M. Prem Laxman Das, Palash Sarkar 0001 |
Pairing Computation on Twisted Edwards Form Elliptic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pairing ![In: Pairing-Based Cryptography - Pairing 2008, Second International Conference, Egham, UK, September 1-3, 2008. Proceedings, pp. 192-210, 2008, Springer, 978-3-540-85503-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Edwards form, Miller function, supersingular curves, elliptic curve, pairings |
13 | Yang Liu 0013, Balakrishnan Prabhakaran 0001, Xiaohu Guo |
A robust spectral approach for blind watermarking of manifold surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MM&Sec ![In: Proceedings of the 10th workshop on Multimedia & Security, MM&Sec 2008, Oxford, UK, September 22-23, 2008, pp. 43-52, 2008, ACM, 978-1-60558-058-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
manifold harmonics transform, spectral watermark, blind, 3d mesh |
13 | Sebastian Kupferschmid, Jörg Hoffmann 0001, Kim Guldstrand Larsen |
Fast Directed Model Checking Via Russian Doll Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 203-217, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Min Han, Xinzhe Wang, Yijie Wang |
Applying ICA on neural network to simplify BOF endpiont predicting model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 771-776, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Elenius, Grit Denker, Mark-Oliver Stehr |
A Semantic Web Reasoner for Rules, Equations and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, pp. 135-149, 2008, Springer, 978-3-540-88736-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Wei Pei, Wen-Ben Jone, Yiming Hu |
Fault Modeling and Detection for Drowsy SRAM Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(6), pp. 1084-1100, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Scott E. Dillard, John Bingert, Dan Thoma, Bernd Hamann |
Construction of Simplified Boundary Surfaces from Serial-sectioned Metal Micrographs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 13(6), pp. 1528-1535, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Visualization in Physical Sciences, Life Sciences and Engineering, Polygonal meshes, Surface extraction |
13 | Luis M. San-José-Revuelta |
Hypotheses Control-based Strategies for the Development of Near-optimum Bayesian Detectors for CDMA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 48(1-2), pp. 127-141, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Bayesian approach, Multiple-Access Interference, CDMA systems |
13 | Edgar Bermudez Contreras |
A biologically inspired solution for an evolved simulated agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 206-213, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
evolution of sensors, evolutionary robotics, adaptive behaviour |
13 | Guillaume Lavoué |
A roughness measure for 3D mesh visual masking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APGV ![In: Proceedings of the 4th Symposium on Applied Perception in Graphics and Visualization, APGV 2007, Tübingen, Germany, July 25-27, 2007, pp. 57-60, 2007, ACM, 978-1-59593-670-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
curvature, masking, 3D mesh, roughness |
Displaying result #301 - #400 of 3978 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|