|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6745 occurrences of 3467 keywords
|
|
|
Results
Found 18108 publication records. Showing 18108 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Tadahiro Oyama, Stephen Karungaru, Satoru Tsuge, Yasue Mitsukura, Minoru Fukumi |
Incremental Learning Method of Simple-PCA. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
Simple-PCA, Incremental Simple-PCA, face recognition, PCA, Incremental learning, Incremental PCA |
64 | Shantanu Dutt, Vinay Verma, Hasan Arslan |
A search-based bump-and-refit approach to incremental routing for ECO applications in FPGAs. |
ACM Trans. Design Autom. Electr. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Bump-and-refit (B&R) paradigm, ECO (engineering change order), bumping cost, incremental routing, switchbox, field programmable gate arrays, dynamic programming, global routing, detailed routing |
63 | Abdelhamid Bouchachia, Roland T. Mittermeir |
Towards Incremental Fuzzy Classifiers. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
Incremental fuzzy rule learning, Incremental and supervised clustering, Incremental feature selection, Classification |
56 | Jan Heering, Paul Klint, J. Rekers |
Lazy and Incremental Program Generation. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
incremental program generation, lazy and incremental compilation, lazy and incremental generation of lexical scanners, lazy and incremental generation of parsers, program generator, greedy, lazy |
53 | Jixue Liu, Millist W. Vincent, Mukesh K. Mohania |
Implementation and Performance Analysis of Incremental Equations for Nested Relations. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
incremental equations, view recomputation, base relation update size, Informix Universal Database Server, maintenance limit, performance analysis, relational algebra, cost model, relational model, operators, nested relations, incremental view maintenance |
51 | Houfeng Ma, Xinghua Fan, Ji Chen |
An Incremental Chinese Text Classification Algorithm Based on Quick Clustering. |
ISIP |
2008 |
DBLP DOI BibTeX RDF |
Text classification, Incremental learning, Text clustering, Bayes, Affinity propagation |
48 | Bi-Ru Dai, Pai-Yu Lin |
iTM: An Efficient Algorithm for Frequent Pattern Mining in the Incremental Database without Rescanning. |
IEA/AIE |
2009 |
DBLP DOI BibTeX RDF |
Incremental Database, Frequent Patterns, Incremental Mining |
47 | Fernanda L. Minku, Hirotaka Inoue, Xin Yao 0001 |
Negative correlation in incremental learning. |
Nat. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Self-generating neural tree, Self-organising neural grove, Classification, Incremental learning, Multi-layer perceptrons, Neural network ensembles, Negative correlation learning |
47 | Oddur Benediktsson, Darren Dalcher, Karl Reed, Mark Woodman |
COCOMO-Based Effort Estimation for Iterative and Incremental Software Development. |
Softw. Qual. J. |
2003 |
DBLP DOI BibTeX RDF |
COCOMO-based estimation, effort in increments, software project management, software effort estimation, incremental software development |
47 | Jie Li, Shuming Gao, Xun Zhou |
Direct incremental transmission of boundary representation. |
Symposium on Solid Modeling and Applications |
2003 |
DBLP DOI BibTeX RDF |
incremental transmission, solid model transmission, collaborative design, B-rep |
47 | Russell Tessier |
Incremental Compilation for Logic Emulation. |
IEEE International Workshop on Rapid System Prototyping |
1999 |
DBLP DOI BibTeX RDF |
virtual wire, scheduling, partitioning, incremental, logic emulation |
47 | Daniel M. Yellin, Robert E. Strom |
INC: A Language for Incremental Computations. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
finite differencing, incremental complexity, static complexity, incrementality, dynamic algorithms, INC |
45 | Ashish Dobhal, Vishal Khandelwal, Ankur Srivastava 0001 |
Efficient and Accurate Statistical Timing Analysis for Non-Linear Non-Gaussian Variability With Incremental Attributes. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Martin Pelikan, Kumara Sastry, David E. Goldberg |
iBOA: the incremental bayesian optimization algorithm. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
BOA, iBOA, incremental boa, incremental model update, evolutionary computation, estimation of distribution algorithms, EDA, bayesian optimization algorithm |
44 | Václav Rajlich, Prashant Gosavi |
Incremental Change in Object-Oriented Programming. |
IEEE Softw. |
2004 |
DBLP DOI BibTeX RDF |
incremental change, programming concepts, role splitting, software maintenance, refactoring, software evolution, agile development, impact analysis, incremental development, change propagation, concept location |
43 | Walid G. Aref, Mohamed G. Elfeky, Ahmed K. Elmagarmid |
Incremental, Online, and Merge Mining of Partial Periodic Patterns in Time-Series Databases. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
online mining, Data mining, incremental mining, time-series databases |
43 | Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai |
Incremental Integration Testing of Concurrent Programs. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
incremental testing, Software testing, concurrent programs, structural testing |
41 | Lilian Buzer |
An Incremental Linear Time Algorithm for Digital Line and Plane Recognition Using a Linear Incremental Feasibility Problem. |
DGCI |
2002 |
DBLP DOI BibTeX RDF |
digital line recognition, digital plane recognition, feasibility problem, linear time. Conference Topic: Models for Discrete Geometry, Type of Presentation: oral presentation, incremental |
40 | Hsiao Ping Lee, Tzu-Fang Sheu, Chuan Yi Tang |
An incremental algorithm for efficient unique signature discoveries on DNA databases. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
consecutively multiple discoveries, incremental discoveries, unique signature discoveries, incremental algorithms |
40 | Neelam Soundarajan, Stephen Fridella |
Incremental Reasoning for Object Oriented Systems. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
Incremental reasoning, Behavior of polymorphic methods, Incremental design |
40 | Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum |
Static Caching for Incremental Computation. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
intermediate results, program efficiency improvement, optimization, caching, static analysis, program transformation, dependence analysis, incremental computation, memoization, incremental programs |
40 | Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal |
Incremental methods for FSM traversal. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
FSM traversal, formal verification, formal verification, finite state machines, finite state machine, logic design, directed graphs, logic CAD, incremental algorithms, digital systems, reachable states, incremental methods |
38 | Yi Lu Murphey, ZhiHang Chen, Lee A. Feldkamp |
An incremental neural learning framework and its application to vehicle diagnostics. |
Appl. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Vehicle diagnostics, Neural networks, Incremental learning |
38 | Carson Kai-Sang Leung, Quamrul I. Khan, Zhan Li, Tariqul Hoque |
CanTree: a canonical-order tree for incremental frequent-pattern mining. |
Knowl. Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Constrained mining, Interactive mining, Tree structure, Incremental mining, Knowledge discovery and data mining, Frequent sets |
38 | Marek Chrobak, Mathilde Hurand |
Better Bounds for Incremental Medians. |
WAOA |
2007 |
DBLP DOI BibTeX RDF |
Incremental medians, approximation algorithm, online algorithm, analysis of algorithms |
38 | Duncan Potts, Claude Sammut |
Incremental Learning of Linear Model Trees. |
Mach. Learn. |
2005 |
DBLP DOI BibTeX RDF |
linear regression trees, online learning, incremental learning, model trees |
38 | Diptikalyan Saha, C. R. Ramakrishnan 0001 |
Incremental and demand-driven points-to analysis using logic programming. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
demand-drive analysis, logic programming, pointer analysis, incremental analysis |
38 | Hong Cheng 0001, Xifeng Yan, Jiawei Han 0001 |
IncSpan: incremental mining of sequential patterns in large database. |
KDD |
2004 |
DBLP DOI BibTeX RDF |
buffering pattern, reverse pattern matching, shared projection, incremental mining |
38 | Marina Guetova, Steffen Hölldobler, Hans-Peter Störr |
Incremental Fuzzy Decision Trees. |
KI |
2002 |
DBLP DOI BibTeX RDF |
classification, fuzzy logic, decision trees, incremental learning |
37 | William A. Hetrick, Charles W. Krueger, Joseph G. Moore |
Incremental return on incremental investment: Engenio's transition to software product line practice. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
transition to software product line practice, software product lines, incremental methods |
37 | Salvatore Greco, Roman Slowinski, Jerzy Stefanowski, Marcin Zurawski |
Incremental versus Non-incremental Rule Induction for Multicriteria Classification. |
Trans. Rough Sets |
2004 |
DBLP DOI BibTeX RDF |
classification and sorting, incremental learning, rule induction, multiple criteria decision analysis |
37 | Jin-Cai Yang, Pei-Hua Xu |
XSIU: An XML-Based Structure Incremental Update Algorithm in Mobile Database. |
CSSE (4) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Eric Granger, Jean-François Connolly, Robert Sabourin |
A comparison of fuzzy ARTMAP and Gaussian ARTMAP neural networks for incremental learning. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Jun Yan 0001, QianSheng Cheng, Qiang Yang 0001, Benyu Zhang |
An Incremental Subspace Learning Algorithm to Categorize Large Scale Text Data. |
APWeb |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Yanhong Yuan, Prithviraj Banerjee |
ICE: Incremental 3-Dimensional Capacitance and Resistance Extraction for an Iterative Design Environment. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
|
34 | John Marty Emmert, Dinesh K. Bhatia |
A Fault Tolerant Technique for FPGAs. |
J. Electron. Test. |
2000 |
DBLP DOI BibTeX RDF |
incremental reconfiguration, incremental routing, incremental placement, fault tolerance, FPGA |
34 | Koichiro Yamauchi 0001 |
Optimal incremental learning under covariate shift. |
Memetic Comput. |
2009 |
DBLP DOI BibTeX RDF |
Generalization capabilities, Student’s-t distribution, Model selection, Incremental learning, Radial basis function neural network (RBFNN), Covariate shift |
34 | Xiuyi Jia, Lin Shang 0001, Jiajun Chen 0001, Xinyu Dai |
An Incremental Rule Induction Algorithm Based on Ordering Relations. |
RSKT |
2009 |
DBLP DOI BibTeX RDF |
Incremental rule induction, INRIDDM, dominance-based rough set approach |
34 | Chowdhury Farhan Ahmed, Syed Khairuzzaman Tanbeer, Byeong-Soo Jeong, Young-Koo Lee |
Mining high utility patterns in incremental databases. |
ICUIMC |
2009 |
DBLP DOI BibTeX RDF |
high utility pattern mining, interactive mining, data mining, knowledge discovery, frequent pattern mining, incremental mining |
34 | Chowdhury Farhan Ahmed, Syed Khairuzzaman Tanbeer, Byeong-Soo Jeong, Young-Koo Lee |
Mining Weighted Frequent Patterns in Incremental Databases. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
weighted frequent pattern mining, interactive mining, Data mining, knowledge discovery, incremental mining |
34 | Jieh-Shan Yeh, Chih-Yang Chang, Yao-Te Wang |
Efficient algorithms for incremental utility mining. |
ICUIMC |
2008 |
DBLP DOI BibTeX RDF |
incremental mining, temporal data mining, utility mining |
34 | Gábor Bergmann, Ákos Horváth 0001, István Ráth, Dániel Varró |
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
incremental graph pattern matching, RETE, benchmarking |
34 | Sangho Yi, Junyoung Heo, Yookun Cho, Jiman Hong |
Adaptive page-level incremental checkpointing based on expected recovery time. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
adaptive page-level incremental checkpointing, fault tolerance, linux kernel, checkpoint and recovery |
34 | Junyoung Heo, Sangho Yi, Yookun Cho, Jiman Hong, Sung Y. Shin |
Space-efficient page-level incremental checkpointing. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
page-level incremental checkpointing, fault tolerance, linux kernel, checkpoint and recovery |
34 | Jeff H. Perkins, Michael D. Ernst |
Efficient incremental algorithms for dynamic detection of likely invariants. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
batch algorithm, reversing optimizations, incremental algorithm, dynamic invariant detection |
34 | Yunming Ye, Fanyuan Ma, Yiming Lu, Matthew Chiu, Joshua Zhexue Huang |
iSurfer: A Focused Web Crawler Based on Incremental Learning from Positive Samples. |
APWeb |
2004 |
DBLP DOI BibTeX RDF |
Positive Sample Based Learning, Incremental Learning, Web Page Classification, Link Prediction, Focused Crawler |
34 | Maged El-Sayed, Ling Wang 0002, Luping Ding, Elke A. Rundensteiner |
An algebraic approach for incremental maintenance of materialized XQuery views. |
WIDM |
2002 |
DBLP DOI BibTeX RDF |
XML query algebra, incremental view, XML, maintenance |
34 | Alessandro Orso, Saurabh Sinha, Mary Jean Harrold |
Incremental Slicing Based on Data-Dependences Types. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
incremental slicing, Program slicing, data dependences, alias analysis, system-dependence graph |
34 | Shantanu Dutt, Vimalvel Shanmugavel, Steven Trimberger |
Efficient incremental rerouting for fault reconfiguration in field programmable gate arrays. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
FPGA defect/fault tolerance, dynamic fault reconfiguration, incremental circuit rerouting, reconfiguration time, track overhead |
34 | Aoying Zhou, Wen Jin, Shuigeng Zhou, Zengping Tian |
Incremental Mining of Schema for Semistructured Data. |
PAKDD |
1999 |
DBLP DOI BibTeX RDF |
Data Mining, Algorithm, Schema, Semistructured Data, Incremental Mining |
34 | Lars Bækgaard, Leo Mark |
Incremental Computation of Nested Relational Query Expressions. |
ACM Trans. Database Syst. |
1995 |
DBLP DOI BibTeX RDF |
nested query expressions, unnesting, view pointer caches, incremental computation, set differences |
33 | Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa |
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. |
ICSE |
1996 |
DBLP BibTeX RDF |
definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing |
33 | Xin Li, Yuchun Ma, Xianlong Hong |
A novel thermal optimization flow using incremental floorplanning for 3D ICs. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Jean-François Connolly, Eric Granger, Robert Sabourin |
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network. |
ANNPR |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Thanaa M. Ghanem, Moustafa A. Hammad, Mohamed F. Mokbel, Walid G. Aref, Ahmed K. Elmagarmid |
Incremental Evaluation of Sliding-Window Queries over Data Streams. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
pipelined query execution, negative tuples, Data stream management systems |
33 | ZhiHang Chen, Liping Huang, Yi Lu Murphey |
Incremental Learning for Text Document Classification. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Anders Lyhne Christensen, Marco Dorigo |
Incremental Evolution of Robot Controllers for a Highly Integrated Task. |
SAB |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Xufeng Zhang, Weiwei Sun 0008, Wei Wang 0009, Yahui Feng, Baile Shi |
Generating Incremental ETL Processes Automatically. |
IMSCCS (2) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Jingli Lu, Ying Yang 0001, Geoffrey I. Webb |
Incremental Discretization for Naïve-Bayes Classifier. |
ADMA |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Minghua Zhang, Ben Kao, Chi Lap Yip |
A Comparison Study on Algorithms for Incremental Update of Frequent Sequences. |
ICDM |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Thomas J. Marlowe, Barbara G. Ryder |
An Efficient Hybrid Algorithm for Incremental Data Flow Analysis. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Peter Wegner, Stanley B. Zdonik |
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like. |
ECOOP |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Kiyoung Choi, Sun Young Hwang, Tom Blank |
Incremental-in-time Algorithm for Digital Simulation. |
DAC |
1988 |
DBLP BibTeX RDF |
|
33 | Raghu Karinthi, Mark D. Weiser |
Incremental re-execution of programs. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
31 | Minho Lee 0001, Sang-Woo Ban |
Incremental Knowledge Representation Based on Visual Selective Attention. |
ICONIP (2) |
2007 |
DBLP DOI BibTeX RDF |
Incremental Knowledge Representation, Visual Selective Attention, Stereo Saliency Map, Incremental Object Perception |
31 | Shengxiang Yang, Xin Yao 0001 |
Experimental study on population-based incremental learning algorithms for dynamic optimization problems. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
Population-based incremental learning, Dual population-based incremental learning, Central probability vector, Exclusive-or operator, Genetic algorithm, Dynamic optimization problem |
31 | Michael Karasick |
The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
conpilation, incremental development environments, C++, C++, frameworks, programming environments, extensible systems, incremental compilation |
31 | Fengxi Song, David Zhang 0001, Qinglong Chen, Jing-Yu Yang 0001 |
A Novel Supervised Dimensionality Reduction Algorithm for Online Image Recognition. |
PSIVT |
2006 |
DBLP DOI BibTeX RDF |
Dimensionality reduction, image recognition, supervised learning, incremental algorithm, streaming data |
30 | Dara Curran, Eugene C. Freuder, Thomas Jansen 0001 |
Incremental evolution of local search heuristics. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
local search heuristics, genetic programming, graph colouring, incremental evolution |
30 | Sven Koenig, Xiaoxun Sun |
Comparing real-time and incremental heuristic search for real-time situated agents. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Agents, Time constraints, Real-time search, Incremental search |
30 | Holger Giese, Robert Wagner 0002 |
From model transformation to incremental bidirectional model synchronization. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
Incremental model synchronization, Model transformation, Triple graph grammars |
30 | Wei-Yi Yu, Hahn-Ming Lee |
An Incremental-Learning Method for Supervised Anomaly Detection by Cascading Service Classifier and ITI Decision Tree Methods. |
PAISI |
2009 |
DBLP DOI BibTeX RDF |
anomaly detection system (ADS), Kohonens’ self-organizing maps (SOM), ITI (incremental tree inducer), KDD’99, K-Means clustering |
30 | Xinwang Liu 0002, Guomin Zhang, Yubin Zhan, En Zhu |
An Incremental Feature Learning Algorithm Based on Least Square Support Vector Machine. |
FAW |
2008 |
DBLP DOI BibTeX RDF |
Support Vector Machine, Incremental Learning, Least Square Support Vector Machine |
30 | Kun-Ta Chuang, Keng-Pei Lin, Ming-Syan Chen |
Quality-Aware Sampling and Its Applications in Incremental Data Mining. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
incremental data mining, Sequential sampling |
30 | Traian Marius Truta, Alina Campan |
K-anonymization incremental maintenance and optimization techniques. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
clustering, optimization, privacy, k-anonymity, incremental |
30 | Stefan Disch, Christoph Scholl 0001 |
Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
shared circuit structures, incremental SAT techniques, bounded model checking, combinational equivalence checking |
30 | Koichiro Yamauchi 0001, Masayoshi Sato |
Incremental Learning of Spatio-temporal Patterns with Model Selection. |
ICANN (1) |
2007 |
DBLP DOI BibTeX RDF |
RBF, model selection, incremental learning, spatio-temporal patterns |
30 | Bo Yang 0002, Dayou Liu |
Force-Based Incremental Algorithm for Mining Community Structure in Dynamic Network. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
dynamic network, incremental algorithm, community structure |
30 | Zhang Ji-Fu, Hu Li-Hua, Zhang Su-Lan |
A Pruning Based Incremental Construction Algorithm of Concept Lattice. |
ICDM |
2006 |
DBLP DOI BibTeX RDF |
redundant information, incremental construction algorithm, star spectra, pruning, concept lattice |
30 | Xiaoming Liu 0004, Jianwei Yin, Zhilin Feng, Jinxiang Dong |
Incremental Manifold Learning Via Tangent Space Alignment. |
ANNPR |
2006 |
DBLP DOI BibTeX RDF |
incremental learning, manifold learning, LASSO, LTSA |
30 | Jieping Ye, Qi Li 0001, Hui Xiong 0001, Haesun Park, Ravi Janardan, Vipin Kumar 0001 |
IDR/QR: An Incremental Dimension Reduction Algorithm via QR Decomposition. |
IEEE Trans. Knowl. Data Eng. |
2005 |
DBLP DOI BibTeX RDF |
Singular Value Decomposition (SVD), incremental learning, linear discriminant analysis, Dimension reduction, QR Decomposition |
30 | Keijo Heljanko, Tommi A. Junttila, Timo Latvala |
Incremental and Complete Bounded Model Checking for Full PLTL. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
PLTL, Complete, Bounded Model Checking, Incremental, NuSMV |
30 | Parastoo Mohagheghi, Bente Anda, Reidar Conradi |
Effort estimation of use cases for incremental large-scale software development. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
estimation, use cases, incremental development |
30 | Andreas Koeller, Elke A. Rundensteiner |
Incremental Maintenance of Schema-Restructuring Views in SchemaSQL . |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
SchemaSQL, schema restructuring, materialized views, Heterogeneous databases, incremental view maintenance |
30 | Byung-Joo Kim, Il Kon Kim |
Incremental Nonlinear PCA for Classification. |
PKDD |
2004 |
DBLP DOI BibTeX RDF |
Incremental nonlinear PCA, Feature mapping function, Kernel PCA, LS-SVM |
30 | David M. Mount, Nathan S. Netanyahu, Christine D. Piatko, Ruth Silverman, Angela Y. Wu |
A computational framework for incremental motion. |
SCG |
2004 |
DBLP DOI BibTeX RDF |
incremental motion, competitive analysis, kinetic data structures |
30 | Jieping Ye, Qi Li 0001, Hui Xiong 0001, Haesun Park, Ravi Janardan, Vipin Kumar 0001 |
IDR/QR: an incremental dimension reduction algorithm via QR decomposition. |
KDD |
2004 |
DBLP DOI BibTeX RDF |
incremental learning, linear discriminant analysis, dimension reduction, QR decomposition |
30 | Samer Nassar, Jörg Sander 0001, Corrine Cheng |
Incremental and Effective Data Summarization for Dynamic Hierarchical Clustering. (PDF / PS) |
SIGMOD Conference |
2004 |
DBLP DOI BibTeX RDF |
incremental data bubbles, clustering, data summarization |
30 | T. N. Nagabhushan, S. K. Padma |
Adaptive Learning in Incremental Learning RBF Networks. |
ICONIP |
2004 |
DBLP DOI BibTeX RDF |
Constructive learning, Neural networks, Incremental Learning, RBF networks, Adaptive learning |
30 | Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko |
A Parallel, Incremental and Concurrent GC for Servers. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
Java, garbage collection, JVM, concurrent garbage collection, weak ordering, incremental garbage collection |
30 | Doug Orleans |
Incremental programming with extensible decisions. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, extensibility, separation of concerns, predicate dispatching, incremental programming |
30 | Minghua Zhang, Ben Kao, David Wai-Lok Cheung, Chi Lap Yip |
Efficient Algorithms for Incremental Update of Frequent Sequences. |
PAKDD |
2002 |
DBLP DOI BibTeX RDF |
data mining, sequence, incremental update |
30 | César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
Incremental Learning of Functional Logic Programs. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
Inductive functional logic programming (IFLP), incremental learning, theory revision, inductive logic programming (ILP) |
30 | Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein |
Implementing incremental code migration with XML. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
incremental code migration, XML, XML technologies |
30 | Dieter Pfoser, Christian S. Jensen |
Incremental Join of Time-Oriented Data. |
SSDBM |
1999 |
DBLP DOI BibTeX RDF |
temporal join, incremental computation, temporal data |
30 | Tim A. Wagner, Susan L. Graham |
Efficient and Flexible Incremental Parsing. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
operator precedence, optimal reuse, ambiguity, abstract syntax, incremental parsing, balanced structure |
30 | Lluís Ribas, Jordi Carrabina |
On the Reuse of Symbolic Simulation Results for Incremental Equivalence Verification of Switch-Level Circuits. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
incremental simulation, switch-level circuit analysis, symbolic circuit traversal |
30 | Josep Roure, Luis Talavera |
Robust Incremental Clustering with Bad Instance Orderings: A New Strategy. |
IBERAMIA |
1998 |
DBLP DOI BibTeX RDF |
Order effects, Data mining, Machine Learning, Incremental clustering |
30 | Alan Carle, Lori L. Pollock |
On the Optimality of Change Propagation for Incremental Evaluation of Hierarchical Attribute Grammars. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
optimality, attribute grammar, change propagation, incremental evaluation |
30 | Brad T. Vander Zanden |
An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
incremental constraint satisfaction, constraints, interactive systems |
Displaying result #1 - #100 of 18108 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|