|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2796 occurrences of 1857 keywords
|
|
|
Results
Found 5641 publication records. Showing 5641 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Chi-Sheng Shih 0001, Jane W.-S. Liu, Infan Kuok Cheong |
Scheduling Jobs with Multiple Feasible Intervals. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jaume Bacardit, Josep Maria Garrell i Guiu |
Evolving Multiple Discretizations with Adaptive Intervals for a Pittsburgh Rule-Based Learning Classifier System. |
GECCO |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Nazli Ikizler, H. Altay Güvenir |
Maximizing Benefit of Classifications Using Feature Intervals. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Alexandr A. Savinov |
Mining Spatial Rules by Finding Empty Intervals in Data. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Armin Wolf |
Pruning while Sweeping over Task Intervals. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Krzysztof R. Apt, Peter Zoeteweij |
A Comparative Study of Arithmetic Constraints on Integer Intervals. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
16 | P. Trillenberg, D. S. Zee, Mark Shelhamer |
On the distribution of fast-phase intervals in optokinetic and vestibular nystagmus. |
Biol. Cybern. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Fyzodeen Khan, Ashwin Sarma, Ying Sun, Donald W. Tufts |
Mass detection using tolerance intervals and a rank detector [mammography application]. |
ISBI |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev Konana |
The Monitoring of Timing Constraints on Time Intervals. |
RTSS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Amy Jo Naylor |
Quantifying simulation output variability using confidence intervals and statistical process control. |
WSC |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Luca Chittaro, Carlo Combi |
Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Timothy J. Hickey |
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Matthew J. Katz, Frank Nielsen, Michael Segal 0001 |
Maintenance of a Percing Set for Intervals with Applications. |
ISAAC |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Christophe Claramunt |
Extending Ladkin's algebra on non-convex intervals towards an algebra on union-of regions. |
ACM-GIS |
2000 |
DBLP DOI BibTeX RDF |
spatio-temporal relationships, union-of regions |
16 | Joël Goossens, Raymond R. Devillers |
Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
hard real-time scheduling, periodic task set, feasibility interval, Deadline driven scheduler, arbitrary deadline |
16 | Jennifer M. Schopf, Francine Berman |
Using Stochastic Intervals to Predict Application Behavior on Contended Resources. |
ISPAN |
1999 |
DBLP DOI BibTeX RDF |
Parallel distributed computing, perormance prediction, stochastic values, contention modeling |
16 | Monica L. Nogueira, Amarendra Nandigam |
Why Intervals? Because If We Allow Other Sets, Tractable Problems Become Intractable. |
Reliab. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | André de Korvin, Gerald Quirchmayr, Shohreh Hashemi, Robert M. Kleyle |
Rule Extraction Using Rough Sets When Membership Values Are Intervals. |
DEXA |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Hong Shin Jun, Sun Young Hwang |
Automatic synthesis of dynamically configured pipelines supporting variable data initiation intervals. |
IEEE Trans. Very Large Scale Integr. Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | In-Guk Kim, Kyung-Hee Choi, Seung-Kyu Park, Dong-Yoon Kim, Man-Pyo Hong |
Real-time scheduling of tasks that contain the external blocking intervals. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
scheduling, scheduling, schedulable, distributed systems, real-time systems, distributed processing, real-time scheduling, task scheduling, scheduling methods |
16 | Greg N. Frederickson |
Searching among Intervals and Compact Routing Tables. |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Edmund Ihler |
Minimum Rectilinear Steiner Tree for Intervals on two Parallel Lines. |
WG |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Bob P. Weems |
Operations on sets of intervals - an exercise for data structures or algorithms. |
SIGCSE |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Valtteri Niemi |
Maximal Dense Intervals of Grammar Forms. |
ICALP |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Nikos A. Lorentzos, Roger G. Johnson |
An Extension of the Relational Model to Support Generic Intervals. |
EDBT |
1988 |
DBLP DOI BibTeX RDF |
|
16 | J. W. McKean, T. A. Ryan |
Algorithm 516: An Algorithm for Obtaining Confidence Intervals and Point Estimates Based on Ranks in the Two Sample Location Problem [G1]. |
ACM Trans. Math. Softw. |
1977 |
DBLP DOI BibTeX RDF |
|
16 | W. Fraser, J. F. Hart |
Remark on algorithm 162: Near-minimax polynomial approximations and partitioning of intervals. |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
|
16 | Leah Epstein, Thomas Erlebach, Asaf Levin |
Variable Sized Online Interval Coloring with Bandwidth. |
Algorithmica |
2009 |
DBLP DOI BibTeX RDF |
Interval coloring, Approximation algorithm, Lower bound, Competitive analysis |
16 | Eibe Frank, Remco R. Bouckaert |
Conditional Density Estimation with Class Probability Estimators. |
ACML |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Catarina Dudas, Henrik Boström |
Using uncertain chemical and thermal data to predict product quality in a casting process. |
KDD Workshop on Knowledge Discovery from Uncertain Data |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Bin Fu, Yumei Huo, Hairong Zhao |
Makespan Minimization with Machine Availability Constraints. |
COCOA |
2009 |
DBLP DOI BibTeX RDF |
machine availability constraints, makespan, PTAS, inapproximation |
16 | Tim Nonner, Alexander Souza |
Latency Constrained Aggregation in Chain Networks Admits a PTAS. |
AAIM |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yong-Hsian Hsieh, Chih-Chiang Yu, Biing-Feng Wang |
Optimal Algorithms for the Interval Location Problem with Range Constraints on Length and Average. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
geometrical problems and computations, algorithms, data structures, analysis of algorithms |
16 | Yiping Ke, James Cheng, Wilfred Ng |
An information-theoretic approach to quantitative association rule mining. |
Knowl. Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Quantitative databases, Association rules, Mutual information, Information-theoretic approach |
16 | Amith Singhee, Claire Fang Fang, James D. Ma, Rob A. Rutenbar |
Probabilistic Interval-Valued Computation: Toward a Practical Surrogate for Statistics Inside CAD Tools. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mitica Craus |
A New Parallel Algorithm for the Frequent Itemset Mining Problem. |
ISPDC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yerim Chung, Jean-François Culus, Marc Demange |
Inverse Booking Problem: Inverse Chromatic Number Problem in Interval Graphs. |
WALCOM |
2008 |
DBLP DOI BibTeX RDF |
Inverse combinatorial optimization, Inverse chromatic number problem, Machine(s)-scheduling with earliness and or tardiness costs, Approximation, NP-hardness, Interval graphs |
16 | Yuzhen Liu, Weifa Liang |
Prolonging Network Lifetime for Target Coverage in Sensor Networks. |
WASA |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Fang Liu 0011, Shaohua Zhu, Yuxiao Fu, Fan Fan, Tianjiang Wang, Songfeng Lu |
Image Analysis of the Relationship between Changes of Cornea and Postmortem Interval. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
cornea, postmortem interval, death time, image analysis |
16 | Vinay Devadas, Hakan Aydin |
Real-Time Dynamic Power Management through Device Forbidden Regions. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
Dynamic Voltage Scaling, Real-Time Scheduling, Energy Management, Dynamic Power Management, Periodic Task Scheduling |
16 | Wen-Pinn Fang, Hong-Ru Lee, Fang-Pan Line |
An novel two layer user identification method. |
ISI |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jürgen Garloff, Ismail I. Idriss, Andrew P. Smith 0001 |
Guaranteed Parameter Set Estimation for Exponential Sums: The Three-Terms Case. |
Reliab. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Tadahiko Kimoto |
Modified Level Transformation for Bit Inversion Inwatermarking. |
ICIP (4) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Israel Beniaminy, Zeev Nutov, Meir Ovadia |
Approximating Interval Scheduling Problems with Bounded Profits. |
ESA |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Apolloni, Simone Bassis, Dario Malchiodi |
SVM with Random Labels. |
KES (3) |
2007 |
DBLP DOI BibTeX RDF |
uncertain labels, Algorithmic Inference, classification, SVM |
16 | Daqi Li, Junyi Shen, Jianfeng Xie |
Study on Representation of Time Series Based on Subsection Polynomial Fitting. |
FSKD (3) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Crispín Gómez Requena, María Engracia Gómez, Pedro López 0001, José Duato |
An Efficient Fault-Tolerant Routing Methodology for Fat-Tree Interconnection Networks. |
ISPA |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mikhail J. Atallah, Marina Blanton, Keith B. Frikken |
Incorporating Temporal Capabilities in Existing Key Management Schemes. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Erik D. Demaine, Mohammad Ghodsi, Mohammad Taghi Hajiaghayi, Amin S. Sayedi-Roshkhar, Morteza Zadimoghaddam |
Scheduling to minimize gaps and power consumption. |
SPAA |
2007 |
DBLP DOI BibTeX RDF |
sleep state, multiprocessor scheduling, power minimization |
16 | Caiming Zhang 0001, Hui-Jian Han, Fuhua Cheng |
Determining Knots by Minimizing Energy. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
interpolation curve, shape preserving, knots, strain energy |
16 | Ahmed Shawky Moussa |
Perception-Based Microtuning over MIDI Networks. |
IEEE Multim. |
2006 |
DBLP DOI BibTeX RDF |
Microtuning, Electronic Synthesizer, Music Software, Audio Communications, MIDI, Computer Music |
16 | Lang Lin, Roy D. Yates, Predrag Spasojevic |
Adaptive transmission with finite code rates. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Kerstin Müller 0001, Lars Reusche, Dieter W. Fellner |
Extended subdivision surfaces: Building a bridge between NURBS and Catmull-Clark surfaces. |
ACM Trans. Graph. |
2006 |
DBLP DOI BibTeX RDF |
Catmull-Clark subdivision surfaces, subdivision surfaces, NURBS |
16 | Jie Hu 0002, Ying-hong Peng |
Collaborative Design Optimization Based on Knowledge Discovery from Simulation. |
MICAI |
2006 |
DBLP DOI BibTeX RDF |
Simulation, Optimization, Knowledge discovery, Collaborative design |
16 | Nirmal Govind, Theresa M. Roeder |
Estimating expected completion times with probabilistic job routing. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Volnei A. Pedroni |
Phase sampling: a new approach to the design of LF direct digital frequency synthesizers. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jianbo Li, Mingxia Chen, Jianping Li 0007, Weidong Li 0002 |
Minimum Clique Partition Problem with Constrained Weight for Interval Graphs. |
COCOON |
2006 |
DBLP DOI BibTeX RDF |
approximation algorithm, Interval graph, cliques |
16 | G. Naresh, B. D. Chaudhary |
A Model for Temporal relations between Object Roles. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
role-oriented modelling, temporal role relation graph, framework, role |
16 | Yong Tan, Vijay S. Mookerjee |
Comparing Uniform and Flexible Policies for Software Maintenance and Replacement. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Software maintenance and replacement, cost models, optimal scheduling |
16 | Paulo Bárcia, J. Orestes Cerdeira |
The k-Track Assignment Problem on Partial Orders. |
J. Sched. |
2005 |
DBLP DOI BibTeX RDF |
k-track assignment, compact formulations, partial orders, polytopes |
16 | Francesc Prats, Mónica Sánchez, Núria Agell, Gaizka Ormazabal |
An Evaluation Method with Imprecise Information for Multi-attribute Decision Support. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Punit Chandra, Ajay D. Kshemkalyani |
Analysis of Interval-Based Global State Detection. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
Comparison of Different Semantics for Time Petri Nets. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
Timed Bisimilarity, Expressiveness, Time Petri Nets |
16 | Jian-Jia Chen, Jun Wu 0010, Chi-Sheng Shih 0001, Tei-Wei Kuo |
Approximation Algorithms for Scheduling Multiple Feasible Interval Jobs. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Alain Darte, Robert Schreiber |
A linear-time algorithm for optimal barrier placement. |
PPoPP |
2005 |
DBLP DOI BibTeX RDF |
SPMD code, nested circular interval graph, nested loops, barrier synchronization, circular arc graph |
16 | Lukasz A. Kurgan, Krzysztof J. Cios |
CAIM Discretization Algorithm. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
Supervised discretization, class-attribute interdependency maximization, CLIP4 machine learning algorithm, classification |
16 | Chin-Wang Tao |
Robust control of systems with fuzzy representation of uncertainties. |
Soft Comput. |
2004 |
DBLP DOI BibTeX RDF |
Fuzzy representation, Robust control, Uncertain system |
16 | Yujing Wu, Weibo Gong |
Error analysis of burst level modeling of active-idle sources. |
ACM Trans. Model. Comput. Simul. |
2004 |
DBLP DOI BibTeX RDF |
Abstract simulation, burst level modeling, local rate variations, simulation fidelity, traffic burstiness |
16 | Noriaki Ikeda, Akihiro Takeuchi, Atsusi Hamada, Hiroshi Goto, Noritaka Mamorita, Kan Takayanagi |
Model of bidirectional modulated parasystole as a mechanism for cyclic bursts of ventricular premature contractions. |
Biol. Cybern. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Julia Chuzhoy, Sudipto Guha, Sanjeev Khanna, Joseph Naor |
Machine Minimization for Scheduling Jobs with Interval Constraints. |
FOCS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Susana Muñoz-Hernández, José Manuél Gómez-Pérez |
Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, Matthias Renz |
Object-relational management of complex geographical objects. |
GIS |
2004 |
DBLP DOI BibTeX RDF |
object decomposition, data management, spatial, object-relational database |
16 | Gang Quan, Linwei Niu, Xiaobo Sharon Hu, Bren Mochocki |
Fixed Priority Scheduling for Reducing Overall Energy on Variable Voltage Processors. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | M. Andrea Rodríguez, Nico Van de Weghe, Philippe De Maeyer |
Simplifying Sets of Events by Selecting Temporal Relations. |
GIScience |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Linwei Niu, Gang Quan |
Reducing both dynamic and leakage energy consumption for hard real-time systems. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
embedded system, low power design, DVS, real-time scheduling, leakage power reduction |
16 | Diana Cukierman, James P. Delgrande |
The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Andrew Bachmann, Tania Bedrax-Weiss, Jeremy Frank, Michael Iatauro, Conor McGann, Will Taylor |
PLASMA: A Constraint Based Planning Architecture. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ole Nordhoff |
Expectation of Random Sets and the 'Mean Values' of Interval Data. |
GfKl |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Claudio S. Pinhanez, Aaron F. Bobick |
Interval scripts: a programming paradigm for interactive environments and agents. |
Pers. Ubiquitous Comput. |
2003 |
DBLP DOI BibTeX RDF |
Programming with constraints, Ubiquitous computing, System architecture, Temporal reasoning, Programming paradigms, Interactive spaces |
16 | E. Jack Chen, W. David Kelton |
Indifference zone selection procedures: inferences from indifference-zone selection procedures. |
WSC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Apkar Salatian |
Interpreting Historical ICU Data Using Associational and Temporal Reasoning. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Pawel Sevastjanow |
Interval Comparison Based on Dempster-Shafer Theory of Evidence. |
PPAM |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Vladik Kreinovich |
Range Estimation Is NP-Hard for ?2 Accuracy and Feasible for epsilon2-[delta]. |
Reliab. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Hörmann |
A Note on the Performance of the "Ahrens Algorithm". |
Computing |
2002 |
DBLP DOI BibTeX RDF |
AMS Subject Classification: 65C10, 65U05, 11K45 |
16 | Ross M. McConnell, Jeremy P. Spinrad |
Construction of probe interval models. |
SODA |
2002 |
DBLP BibTeX RDF |
|
16 | Chunsheng Liu, Krishnendu Chakrabarty, Michael Gössel |
An Interval-Based Diagnosis Scheme for Identifying Failing Vectors in a Scan-BIST Environment. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Sung Dong Kim, Jae Won Lee, Jongwoo Lee, Jinseok Chae |
A Two-Phase Stock Trading System Using Distributional Differences. |
DEXA |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Alan K. Graham, Carol Y. Choi, Thomas W. Mullen |
Using Fit-Constrained Monte Carlo Trials to Quantify Confidence in Simulation Model Outcomes. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
fit-constrained parameters, a posteriori, program, calibration, project, Monte Carlo, system dynamics, confidence interval, outcome, historical data |
16 | Martin Charles Golumbic, Assaf Siani |
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Wolf, Rolf Ernst, Wei Ye 0002 |
Path clustering in software timing analysis. |
IEEE Trans. Very Large Scale Integr. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Ross J. Micheals, Terrance E. Boult |
Efficient Evaluation of Classification and Recognition Systems. |
CVPR (1) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Maria Fazekas |
Special Time Series Models for Analysis of Mortality Data. |
ISMDA |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Kurt Mehlhorn, Sven Thiel |
Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Adrian Bowyer, Jakob Berchtold, David Eisenthal, Irina Voiculescu, Kevin D. Wise |
Interval Methods in Geometric Modeling. |
GMP |
2000 |
DBLP DOI BibTeX RDF |
multidimensional geometric modeling, svLis, ray-tracing, Interval arithmetic, CSG, implicit functions |
16 | Peter J. Haas |
Estimation Methods for Nonregenerative Stochastic Petri Nets. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
discrete-event stochastic systems, standardized time series, modeling power, Harris recurrence, generalized semi-Markov processes, stability, Markov chains, video on demand, Stochastic Petri nets, stochastic simulation, batch means |
16 | KyungOh Lee, Jin B. Kwon, Heon Young Yeom |
Exploiting Caching for Realtime Multimedia Systems. |
ICMCS, Vol. 1 |
1999 |
DBLP DOI BibTeX RDF |
Multimedia on Demand, Caching, Admission Control, Multimedia Server |
16 | Elisa Bertino, Claudio Bettini, Elena Ferrari, Pierangela Samarati |
An Access Control Model Supporting Periodicity Constraints and Temporal Reasoning. |
ACM Trans. Database Syst. |
1998 |
DBLP DOI BibTeX RDF |
periodic authorization, access control, temporal constraints, time management |
16 | Timothy K. Shih, Ying-Hong Wang, Chin-Hwa Kuo, Lawrence Y. Deng, Ding-Rong Jiang, Wen C. Pai, Chun-Chia Wang |
A Spatial/Temporal Relation Computing Technology for Multimedia Presentation Designs. |
HICSS (2) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Joseph A. Morgan, George J. Knafl, W. Eric Wong |
Predicting Fault Detection Effectiveness. |
IEEE METRICS |
1997 |
DBLP DOI BibTeX RDF |
testing process measures, crossvalidation, regression, product measures, Fault detection effectiveness |
16 | Martín Hötzel Escardó, Thomas Streicher |
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 5641 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|