|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1166 occurrences of 741 keywords
|
|
|
|
|
Results
Found 1718 publication records. Showing 1718 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 6 | 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 |
| 4 | Anthony J. H. Simons |
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction.  |
Autom. Softw. Eng.  |
2007 |
DBLP DOI BibTeX RDF |
Algebraic testing, Lazy specification, Lazy systematic testing, Operational abstraction, JWalk, Unit testing, Agile methods, JUnit, State-based testing |
| 3 | Fritz Henglein |
Optimizing relational algebra operations using generic equivalence discriminators and lazy products.  |
PEPM  |
2010 |
DBLP DOI BibTeX RDF |
cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy |
| 3 | Yongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh |
Optimizations of LFS with slack space recycling and lazy indirect block update.  |
SYSTOR  |
2010 |
DBLP DOI BibTeX RDF |
lazy indirect block update, slack space recycling, cleaning, log-structured file system |
| 3 | 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 |
| 3 | Jean-Philippe Bernardy |
Lazy functional incremental parsing.  |
Haskell  |
2009 |
DBLP DOI BibTeX RDF |
polish representation, dynamic programming, haskell, parsing, lazy evaluation, incremental computing, editor |
| 3 | Giorgio Corani, Marco Zaffalon |
Lazy naive credal classifier.  |
KDD Workshop on Knowledge Discovery from Uncertain Data  |
2009 |
DBLP DOI BibTeX RDF |
lazy credal classifier, naive credal classifier, imprecise probabilities |
| 3 | Andrey Paskevich |
Connection Tableaux with Lazy Paramodulation.  |
J. Autom. Reasoning  |
2008 |
DBLP DOI BibTeX RDF |
Connection tableaux, Lazy paramodulation, Basic ordered paramodulation, First-order logic with equality |
| 3 | Claudio Ochoa, Josep Silva, Germán Vidal |
Dynamic slicing of lazy functional programs based on redex trails.  |
Higher-Order and Symbolic Computation  |
2008 |
DBLP DOI BibTeX RDF |
Lazy functional programming, Redex trails, Debugging, Slicing |
| 3 | Butler W. Lampson |
Lazy and speculative execution in computer systems.  |
ICFP  |
2008 |
DBLP DOI BibTeX RDF |
lazy evaluation |
| 3 | Christopher Line, K. R. Jayaram, Patrick Eugster |
Lazy argument passing in Java RMI.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
argument passing, invocation, method remote, Java, asynchronous, future, lazy |
| 3 | Colin Runciman, Matthew Naylor, Fredrik Lindblad |
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values.  |
Haskell  |
2008 |
DBLP DOI BibTeX RDF |
lazy evaluation, type classes, exhaustive search, embedded language, property-based testing |
| 3 | Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger |
Improving the lazy Krivine machine.  |
Higher-Order and Symbolic Computation  |
2007 |
DBLP DOI BibTeX RDF |
Call by need, Lambda calculus, Lazy evaluation, Abstract machine |
| 3 | Frédéric Lang |
Explaining the lazy Krivine machine using explicit substitution and addresses.  |
Higher-Order and Symbolic Computation  |
2007 |
DBLP DOI BibTeX RDF |
Call-by-need, Functional programming, Lazy evaluation, Abstract machine |
| 3 | Peng Liu, Guojun Dai, Tingting Fu, Hong Zeng, Xiang Zhang |
A Lazy EDF Interrupt Scheduling Algorithm for Multiprocessor in Parallel Computing Environment.  |
ICA3PP  |
2007 |
DBLP DOI BibTeX RDF |
Interrupt scheduling, Lazy EDF, Real-time system, Parallel computing, Multiprocessor |
| 3 | Fernando Farfán, Vagelis Hristidis, Raju Rangaswami |
Beyond Lazy XML Parsing.  |
DEXA  |
2007 |
DBLP DOI BibTeX RDF |
Double Lazy Parsing, Deferred Expansion, XML, XPath, Document Object Model |
| 3 | Anthony H. Dekker |
Lazy functional programming in Java.  |
SIGPLAN Notices  |
2006 |
DBLP DOI BibTeX RDF |
lazy lists, Java, Java, functional programming |
| 3 | Marco Grimaldi, Padraig Cunningham, Anil C. Kokaram |
Discrete wavelet packet transform and ensembles of lazy and eager learners for music genre classification.  |
Multimedia Syst.  |
2006 |
DBLP DOI BibTeX RDF |
Lazy learners, Eager learners, Feature extraction, Features selection, Wavelet analysis, Music genre classification, Ensemble techniques |
| 3 | Richard A. Frost |
Realization of natural language interfaces using lazy functional programming.  |
ACM Comput. Surv.  |
2006 |
DBLP DOI BibTeX RDF |
Montague grammar, lazy functional programming, computational linguistics, Natural-language interfaces, higher-order functions |
| 3 | Abraham Sánchez, Rodrigo Cuautle, René Zapata, Maria A. Osorio |
A Reactive Lazy PRM Approach for Nonholonomic Motion Planning.  |
IBERAMIA-SBIA  |
2006 |
DBLP DOI BibTeX RDF |
Nonholonomic motion planning, deformable virtual zone, lazy PRM |
| 3 | José María Valls, Inés María Galván, Pedro Isasi |
Lazy Training of Radial Basis Neural Networks.  |
ICANN  |
2006 |
DBLP DOI BibTeX RDF |
Pattern Selection, Local Learning, Lazy Learning, Radial Basis Neural Networks |
| 3 | Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo |
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.  |
FLOPS  |
2006 |
DBLP DOI BibTeX RDF |
Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order |
| 3 | Adriano Veloso, Wagner Meira Jr., Marco Cristo, Marcos André Gonçalves, Mohammed Javeed Zaki |
Multi-evidence, multi-criteria, lazy associative document classification.  |
CIKM  |
2006 |
DBLP DOI BibTeX RDF |
lazy algorithms, data mining, classification |
| 3 | Fernando Berzal Galiano, Juan C. Cubero, Nicolás Marín, María Amparo Vila Miranda |
Lazy Types: Automating Dynamic Strategy Selection.  |
IEEE Software  |
2005 |
DBLP DOI BibTeX RDF |
lazy types, metadata, reflection, polymorphism, strategies, adaptable code |
| 3 | Olaf Chitil |
Pretty printing with lazy dequeues.  |
ACM Trans. Program. Lang. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
lazy functional programming, Haskell |
| 3 | Kenji Manaka, Hiroyuki Sato |
Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing.  |
ACM Symposium on Document Engineering  |
2005 |
DBLP DOI BibTeX RDF |
saxon, optimization, XSLT, lazy evaluation |
| 3 | Jinyan Li, Guozhu Dong, Kotagiri Ramamohanarao, Limsoon Wong |
DeEPs: A New Instance-Based Lazy Discovery and Classification System.  |
Machine Learning  |
2004 |
DBLP DOI BibTeX RDF |
instance-based, classification, emerging patterns, lazy learning, borders |
| 3 | José María Valls, Inés María Galván, Pedro Isasi |
Lazy Learning in Radial Basis Neural Networks: A Way of Achieving More Accurate Models.  |
Neural Processing Letters  |
2004 |
DBLP DOI BibTeX RDF |
improving generalization ability, kernel functions, K-means algorithm, lazy learning, radial basis neural networks |
| 3 | Vadim Iosevich, Assaf Schuster |
A comparison of sequential consistency with home-based lazy release consistency for software distributed shared memory.  |
ICS  |
2004 |
DBLP DOI BibTeX RDF |
home-based lazy release consistency, sequencial consistency, distributed shared memory, consistency model |
| 3 | Fernando Berzal, Juan C. Cubero, Nicolás Marín, María Amparo Vila Miranda |
Fuzzy Types: A First Step Towards Lazy Types in the .NET Framework.  |
Fuzzy Days  |
2004 |
DBLP DOI BibTeX RDF |
fuzzy types, lazy types, object-orientation |
| 3 | Weigang Ni, Qiu Fang, Susan V. Vrbsky |
A Lazy Data Request Approach for On-Demand Data Broadcasting.  |
ICDCS Workshops  |
2003 |
DBLP DOI BibTeX RDF |
lazy data request, messages saving, pull-based broadcasting, data dissemination |
| 3 | Songqing Chen, Bo Shen, Susie Wee, Xiaodong Zhang |
Adaptive and lazy segmentation based proxy caching for streaming media delivery.  |
NOSSDAV  |
2003 |
DBLP DOI BibTeX RDF |
lazy segmentation, streaming media delivery, proxy caching |
| 3 | Ramana Rao Kompella, Alex C. Snoeren |
Practical lazy scheduling in sensor networks.  |
SenSys  |
2003 |
DBLP DOI BibTeX RDF |
lazy scheduling, sensor networks, distributed algorithms, energy conservation |
| 3 | Zhipeng Xie, Wynne Hsu, Zongtian Liu, Mong-Li Lee |
SNNB: A Selective Neighborhood Based Naïve Bayes for Lazy Learning.  |
PAKDD  |
2002 |
DBLP DOI BibTeX RDF |
Naïve Bayes, Classification, Lazy Learning |
| 3 | Enoch Peserico |
The lazy adversary conjecture fails.  |
SPAA  |
2002 |
DBLP DOI BibTeX RDF |
k-server, lazy adversary, memoryless, competitive analysis |
| 3 | Markus L. Noga, Steffen Schott, Welf Löwe |
Lazy XML processing.  |
ACM Symposium on Document Engineering  |
2002 |
DBLP DOI BibTeX RDF |
XML, parsing, lazy evaluation, document object model |
| 3 | Janis Voigtländer |
Using circular programs to deforest in accumulating parameters.  |
ASIA-PEPM  |
2002 |
DBLP DOI BibTeX RDF |
accumulating parameters, intermediate data structures, lazy composition, multiple traversals, program transformation, lazy evaluation, tupling, deforestation, circular programs |
| 3 | Mark Moir |
Laziness pays! Using lazy synchronization mechanisms to improve non-blocking constructions.  |
Distributed Computing  |
2001 |
DBLP DOI BibTeX RDF |
Synchronization, Wait-free, Lock-free, Nonblocking, Lazy |
| 3 | Wan Fokkink, Jasper Kamperman, Pum Walters |
Lazy rewriting on eager machinery.  |
ACM Trans. Program. Lang. Syst.  |
2000 |
DBLP DOI BibTeX RDF |
innermost reduction, lazy rewriting, specificity ordering |
| 3 | Yunjung Yi, Taesoon Park, Heon Young Yeom |
A Causal Logging Scheme for Lazy Release Consistent Distributed Shared Memory Systems. (PDF / PS)  |
ICPADS  |
1998 |
DBLP DOI BibTeX RDF |
Lazy release consistency, Fault tolerance, Checkpointing, Rollback-recovery, Message logging, Distributed shared memory system |
| 3 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Specialization of Lazy Functional Logic Programs.  |
PEPM  |
1997 |
DBLP DOI BibTeX RDF |
integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems |
| 3 | Raghunandan Rajan, Philip A. Wilsey |
Dynamically switching between lazy and aggressive cancellation in a Time Warp parallel simulator.  |
Annual Simulation Symposium  |
1995 |
DBLP DOI BibTeX RDF |
aggressive cancellation, Time Warp parallel discrete event simulator, cancellation strategy, erroneous computation, lazy cancellation, straggler, previous state, anti messages, forward processing, regenerated output messages, hit/miss ratio, digital system simulation, performance, parallel programming, protocols, discrete event simulation, adaptive systems, synchronisation, LC, AC, time warp simulation, logical process, adaptive technique, PDES, adaptive approach |
| 3 | Chris Okasaki |
Amortization, Lazy Evaluation, and Persistence: Lists with Catenation via Lazy Linking.  |
FOCS  |
1995 |
DBLP DOI BibTeX RDF |
catenation, lazy linking, data structures, persistence, lazy evaluation, list processing, amortization, persistent data structures |
| 3 | Jesper Jørgensen |
Generating a Compiler for a Lazy Language by Partial Evaluation.  |
POPL  |
1992 |
DBLP DOI BibTeX RDF |
binding time improvements, lazy functional languages, partial evaluation, compiler generation |
| 3 | Eric Mohr, David A. Kranz, Robert H. Halstead Jr. |
Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs.  |
IEEE Trans. Parallel Distrib. Syst.  |
1991 |
DBLP DOI BibTeX RDF |
granularity problem, simpler load-based inlining method, dynamic bad level, robust lazy task creation method, processing results, Mul-T, performance statistics, naturally expressed algorithms, parallel Lisp systems, parallel algorithm, parallel algorithms, parallel programming, Scheme, parallel languages, parallel implementation, parallel tasks |
| 3 | C.-H. Luke Ong |
Fully Abstract Models of the Lazy Lambda Calculus  |
FOCS  |
1988 |
DBLP DOI BibTeX RDF |
convergence testing, lazy lambda calculus, lazy languages, functional languages, proof theory, model theory, abstract models |
| 2 | Eric K. Garcia, Sergey Feldman, Maya R. Gupta, Santosh Srivastava |
Completely Lazy Learning.  |
IEEE Trans. Knowl. Data Eng.  |
2010 |
DBLP DOI BibTeX RDF |
quadratic discriminant analysis, cross validation, Bayesian estimation, local learning, Lazy learning |
| 2 | Peter Van Weert |
Efficient Lazy Evaluation of Rule-Based Programs.  |
IEEE Trans. Knowl. Data Eng.  |
2010 |
DBLP DOI BibTeX RDF |
Optimizing compilation, lazy evaluation, production rules, matching algorithms, constraint handling rules |
| 2 | Alexandros Tzannes, George C. Caragea, Rajeev Barua, Uzi Vishkin |
Lazy binary-splitting: a run-time adaptive work-stealing scheduler.  |
PPOPP  |
2010 |
DBLP DOI BibTeX RDF |
load balancing, dynamic scheduling, work stealing, nested parallelism, thread scheduling |
| 2 | Stefan Holdermans, Jurriaan Hage |
Making "stricterness" more relevant.  |
PEPM  |
2010 |
DBLP DOI BibTeX RDF |
explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis |
| 2 | Olga Ohrimenko, Peter J. Stuckey, Michael Codish |
Propagation via lazy clause generation.  |
Constraints  |
2009 |
DBLP DOI BibTeX RDF |
Finite domain propagation, Boolean variables, SAT solver |
| 2 | |
Lazy Replication.  |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Paulo J. Matos, Bernd Fischer 0002, João P. Marques Silva |
A Lazy Unbounded Model Checker for Event-B.  |
ICFEM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Matthew J. Sottile, Geoffrey C. Hulette, Allen D. Malony |
Workflow representation and runtime based on lazy functional streams.  |
SC-WORKS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Armin Heindl, Gilles Pokam |
An Analytic Model for Optimistic STM with Lazy Locking.  |
ASMTA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Michel Meulpolder, Johan A. Pouwelse, Dick H. J. Epema, Henk J. Sips |
BarterCast: A practical approach to prevent lazy freeriding in P2P networks.  |
IPDPS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Ronald Garcia, Andrew Lumsdaine, Amr Sabry |
Lazy evaluation and delimited control.  |
POPL  |
2009 |
DBLP DOI BibTeX RDF |
call-by-need, lambda calculus, abstract machines, delimited continuations, reduction semantics |
| 2 | Sasa Tomic, Cristian Perfumo, Chinmay Eishan Kulkarni, Adrià Armejach, Adrián Cristal, Osman S. Unsal, Tim Harris, Mateo Valero |
EazyHTM: eager-lazy hardware transactional memory.  |
MICRO  |
2009 |
DBLP DOI BibTeX RDF |
EazyHTM, transactional memory |
| 2 | Sina Fateh, Claude Speeg |
Rebalancing the Visual System of People with Amblyopia "Lazy Eye" by Using HMD and Image Enhancement.  |
HCI  |
2009 |
DBLP DOI BibTeX RDF |
Binocular HMD, amblyopia, vision restoration, enhancement/attenuation, visual rebalance, compliance |
| 2 | Pawel Delimata, Zbigniew Suraj |
Reducts Evaluation Methods Using Lazy Algorithms.  |
RSKT  |
2009 |
DBLP DOI BibTeX RDF |
deterministic rules, inhibitory rules, feature selection, reducts |
| 2 | Sutirtha Sanyal, Sourav Roy, Adrián Cristal, Osman S. Unsal, Mateo Valero |
Dynamically Filtering Thread-Local Variables in Lazy-Lazy Hardware Transactional Memory.  |
HPCC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan |
Purely functional lazy non-deterministic programming.  |
ICFP  |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, continuations, monads, side effects |
| 2 | Rui Pedro Barbosa, Orlando Belo |
Lazy Classification Using an Optimized Instance-Based Learner.  |
IDEAL  |
2009 |
DBLP DOI BibTeX RDF |
Data mining, classification, supervised learning |
| 2 | Stéphane Lescuyer, Sylvain Conchon |
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme.  |
FroCos  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose |
Lazy continuations for Java virtual machines.  |
PPPJ  |
2009 |
DBLP DOI BibTeX RDF |
stack frame, Java, optimization, performance, virtual machine, continuation, activation |
| 2 | Michael B. Monagan, Paul Vrbik |
Lazy and Forgetful Polynomial Arithmetic and Applications.  |
CASC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Thibaut Feydy, Peter J. Stuckey |
Lazy Clause Generation Reengineered.  |
CP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo |
Designing aspects for side-effect localization.  |
PEPM  |
2009 |
DBLP DOI BibTeX RDF |
lazy semantics, aspect-oriented programming, side-effect |
| 2 | Pieter van Zyl, Derrick G. Kourie, Louis Coetzee, Andrew Boake |
The influence of optimisations on the performance of an object relational mapping tool.  |
SAICSIT Conf.  |
2009 |
DBLP DOI BibTeX RDF |
eager loading, hibernate, lazy loading, object relation mapping (O-R or ORM), relational database management systems (RDBMS), performance, cache, benchmark, persistence, optimisation techniques |
| 2 | JuiHsi Fu, SingLing Lee |
A Multi-Strategy Approach to KNN and LARM on Small and Incrementally Induced Prediction Knowledge.  |
ADMA  |
2009 |
DBLP DOI BibTeX RDF |
Lazy Associative Rule Mining (LARM), Multi-Strategy Learning, k Nearest Neighbors (kNN), Lazy Learning |
| 2 | Andrew Paul Smith |
Fast construction of constant bound functions for sparse polynomials.  |
J. Global Optimization  |
2009 |
DBLP DOI BibTeX RDF |
Constrained global optimization, Interval arithmetic, Relaxation, Lazy evaluation, Multivariate polynomials, Bernstein polynomials, Bound functions |
| 2 | Arnon Avron, Beata Konikowska |
Proof Systems for Reasoning about Computation Errors.  |
Studia Logica  |
2009 |
DBLP DOI BibTeX RDF |
lazy sequential computation, parallel computation, three-valued logics, sequent calculi, four-valued logics, non-deterministic matrices, computation errors |
| 2 | David Eppstein, Michael T. Goodrich, Ethan Kim, Rasmus Tamstorf |
Approximate topological matching of quad meshes.  |
The Visual Computer  |
2009 |
DBLP DOI BibTeX RDF |
Topological matching, Lazy-greedy heuristic, NP-complete, NP-hard, Isomorphism, Quad mesh |
| 2 | Elena Baralis, Silvia Chiusano, Paolo Garza |
A Lazy Approach to Associative Classification.  |
IEEE Trans. Knowl. Data Eng.  |
2008 |
DBLP DOI BibTeX RDF |
Data mining, Clustering, classification and association rules |
| 2 | Ling Gai, Guochuan Zhang |
On lazy bureaucrat scheduling with common deadlines.  |
J. Comb. Optim.  |
2008 |
DBLP DOI BibTeX RDF |
Sheduling, NP-hardness, Approximation scheme |
| 2 | Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis |
Efficient Intensional Implementation for Lazy Functional Languages.  |
Mathematics in Computer Science  |
2008 |
DBLP DOI BibTeX RDF |
Implementation of functional languages, dataflow computation, intensional logic |
| 2 | David Richerby, Dimitrios M. Thilikos |
Searching for a Visible, Lazy Fugitive.  |
WG  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Boris Defourny, Damien Ernst, Louis Wehenkel |
Lazy Planning under Uncertainty by Optimizing Decisions on an Ensemble of Incomplete Disturbance Trees.  |
EWRL  |
2008 |
DBLP DOI BibTeX RDF |
Stochastic dynamic programming, Ensemble methods |
| 2 | Xingquan Zhu, Chengyi Bao, Weidong Qiu |
Bagging very weak learners with lazy local learning.  |
ICPR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Bin Cheng, Lex Stein, Hai Jin, Zheng Zhang |
A framework for lazy replication in P2P VoD.  |
NOSSDAV  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Jurriaan Hage, Stefan Holdermans |
Heap recycling for lazy languages.  |
PEPM  |
2008 |
DBLP DOI BibTeX RDF |
compile-time garbage collection, lazy functional programming, type-based program analysis |
| 2 | Pawel Delimata, Mikhail Ju. Moshkov, Andrzej Skowron, Zbigniew Suraj |
Comparison of Lazy Classification Algorithms Based on Deterministic and Inhibitory Decision Rules.  |
RSKT  |
2008 |
DBLP DOI BibTeX RDF |
Deterministic decision rules, Inhibitory decision rules, Rough sets, Decision tables |
| 2 | Harald Fecher, Sharon Shoham |
State Focusing: Lazy Abstraction for the Mu-Calculus.  |
SPIN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Bernd Braßel, Jan Christiansen |
A Relation Algebraic Semantics for a Lazy Functional Logic Language.  |
RelMiCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Walter Guttmann |
Lazy Relations.  |
RelMiCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Eleftherios Spyromitros Xioufis, Grigorios Tsoumakas, Ioannis P. Vlahavas |
An Empirical Study of Lazy Multilabel Classification Algorithms.  |
SETN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Hirofumi Yokouchi |
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.  |
FLOPS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Joona Laukkanen, Poika Isokoski, Kari-Jouko Räihä |
The cone and the lazy bubble: two efficient alternatives between the point cursor and the bubble cursor.  |
CHI  |
2008 |
DBLP DOI BibTeX RDF |
dynamic cursor, target acquisition, bubble cursor |
| 2 | Taku Haraguchi, Haruna Matsushita, Yoshifumi Nishio |
Lazy Self-Organizing Map and its behaviors.  |
IJCNN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Benjamin Satzger, Andreas Pietzowski, Wolfgang Trumler, Theo Ungerer |
A Lazy Monitoring Approach for Heartbeat-Style Failure Detectors.  |
ARES  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Rayna Dimitrova, Andreas Podelski |
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?  |
VMCAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Erik Meijer |
Fundamentalist functional programming.  |
GPCE  |
2008 |
DBLP DOI BibTeX RDF |
pure functional programming, concurrency, monads, lazy evaluation, linq |
| 2 | Tancred Lindholm, Jaakko Kangasharju |
How to edit gigabyte XML files on a mobile phone with XAS, RefTrees, and RAXS.  |
MobiQuitous  |
2008 |
DBLP DOI BibTeX RDF |
XML, mobile, tree, parsing, serialization, lazy |
| 2 | Bruno Blanchet, Avik Chaudhuri |
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage.  |
IEEE Symposium on Security and Privacy  |
2008 |
DBLP DOI BibTeX RDF |
lazy revocation, key rotation, cryptographic access control, automatic verification, secure storage |
| 2 | Bill Mitchell |
Lazy buffer semantics for partial order scenarios.  |
Autom. Softw. Eng.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Caixia Chi, Dawei Huang, David Lee, XiaoRong Sun |
Lazy flooding: a new technique for information dissemination in distributed network systems.  |
IEEE/ACM Trans. Netw.  |
2007 |
DBLP DOI BibTeX RDF |
link state advertisement, routing, optical networks, flooding |
| 2 | Adriano Veloso, Wagner Meira Jr., Marcos André Gonçalves, Mohammed Javeed Zaki |
Multi-label Lazy Associative Classification.  |
PKDD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Xingquan Zhu |
Lazy Bagging for Classifying Imbalanced Data.  |
ICDM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Susmit Jha, Bryan A. Brady, Sanjit A. Seshia |
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.  |
FORMATS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Barak A. Pearlmutter, Jeffrey Mark Siskind |
Lazy multivariate higher-order forward-mode AD.  |
POPL  |
2007 |
DBLP DOI BibTeX RDF |
nonstandard interpretation, power series |
Displaying result #1 - #100 of 1718 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|