Search results for "explicit"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Matthew Hertz, Emery D. Berger	Quantifying the performance of garbage collection vs. explicit memory management.	OOPSLA	2005	DBLP DOI BibTeX RDF	explicit memory management, oracular memory management, performance analysis, throughput, garbage collection, paging, time-space tradeoff
49	Martin Erwig, Ralf Hartmut Güting	Explicit Graphs in a Functional Model for Spatial Databases.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	explicit graphs, order-sorted algebra, data type hierarchies, explicit modeling tool, explicit paths, object type hierarchy, dynamic generalization, spatial data types, spatially embedded networks, rivers, multilevel order-sorted algebra, query processing, graph theory, query languages, query language, data model, data modeling, spatial databases, database theory, visual databases, edges, nodes, functional model, public transport, graph structures, highways, object hierarchies
48	Horatiu Cirstea, Germain Faure, Claude Kirchner	A rho-calculus of explicit constraint application.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Rewriting calculus, Explicit matching, Pattern matching, Explicit substitution
43	Steve Fox, Kuldeep Karnawat, Mark Mydland, Susan T. Dumais, Thomas White	Evaluating implicit measures to improve web search.	ACM Trans. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Implicit measures, explicit ratings, prediction model, user satisfaction, user interest, search sessions, explicit feedback
42	Asha Dinesh, W. Melody Moh	An efficient traffic control scheme for integrated voice, video and data over ATM networks: explicit allowed rate algorithm (EARA).	ICCCN	1997	DBLP DOI BibTeX RDF	explicit allowed rate algorithm, constant bit rate traffic, available bit rate traffic, ABR traffic, rate based congestion control algorithm, proportional rate control algorithm, explicit rate indication congestion avoidance algorithm, fairness configurations, minimal switch overhead, buffer space reduction, quality of service, performance analysis, protocol, asynchronous transfer mode, video, bandwidth, ATM networks, data, voice, traffic control, integrated services, B-ISDN, network throughput, variable bit rate traffic, VBR traffic
38	Pradeep Kumar Mishra, Palash Sarkar 0001	Parallelizing Explicit Formula for Arithmetic in the Jacobian of Hyperelliptic Curves.	ASIACRYPT	2003	DBLP DOI BibTeX RDF	hyperelliptic curve cryptography, encapsulated add-and-double, parallel algorithm, Jacobian, explicit formula
37	Jingke Li, Marina C. Chen	Compiling Communication-Efficient Programs for Massively Parallel Machines.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	communication-efficient programs, parallel target code, explicit communication, massively parallel distributed-memory machines, source programs, explicit control structures, syntactic reference patterns, communication routines, target program text, communication metric, data layout strategies, scheduling, parallel programming, parallel machines, program compilers, storage management, shared address space, shared-memory parallel programs
37	Peter A. Buhr, Ashif S. Harji	Implicit-signal monitors.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Automatic signal, explicit signal, implicit signal, simulation, parallel, concurrency, monitor
35	Kai Kuikkaniemi, Toni Laitinen, Marko Turpeinen, Timo Saari, Ilkka Kosunen, Niklas Ravaja	The influence of implicit and explicit biofeedback in first-person shooter games.	CHI	2010	DBLP DOI BibTeX RDF	explicit biofeedback, implicit biofeedback, games, affective computing, playing, biofeedback, biosignals
35	Wei Dong 0002, Peng Li 0001	Parallelizable stable explicit numerical integration for efficient circuit simulation.	DAC	2009	DBLP DOI BibTeX RDF	explicit numerical integration, parallel computing, transient simulation
35	Anna Börjesson Sandberg, Carl Magnus Olsson	Explicit as Enabler for Understanding the Tacit.	Open IT-Based Innovation	2008	DBLP DOI BibTeX RDF	software process notations, software process descriptions, Software engineering, tacit knowledge, explicit knowledge
35	Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine	Principal Typings for Explicit Substitutions Calculi.	CiE	2008	DBLP DOI BibTeX RDF	lambda-calculus, explicit substitution, principal typings
35	Neil Ghani, Tarmo Uustalu, Makoto Hamana	Explicit substitutions and higher-order syntax.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Algebras, Monads, Abstract syntax, Explicit substitutions, Variable binding
35	Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón	Second-Order Matching via Explicit Substitutions.	LPAR	2004	DBLP DOI BibTeX RDF	Higher-Order Unification, Second-Order Matching, Explicit Substitutions
35	Lusheng Ji, M. Scott Corson	Explicit Multicasting for Mobile Ad Hoc Networks.	Mob. Networks Appl.	2003	DBLP DOI BibTeX RDF	explicit multicasting, differentiated destination routing, wireless networks, MANET
35	Neil Ghani, Tarmo Uustalu	Explicit substitutions and higher-order syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	algebras, monads, abstract syntax, explicit substitutions, variable binding
35	Fabio M. Chiussi, Ambalavanar Arulambalam, Ye Xia 0001, Xiaoqiang Chen	Explicit Rate Abr Schemes Using Traffic Load as Congestion Indicator.	ICCCN	1997	DBLP DOI BibTeX RDF	Explicit Rate, Asynchronous Transfer Mode, Fair Share, Available Bit Rate
33	Oliver Spatscheck, Larry L. Peterson	Escort: Securing Scout Paths.	S&P	1997	DBLP DOI BibTeX RDF	Escort, Scout path security, communication oriented operating system, explicit first class object, path abstraction, information flow, network operating systems, network operating system, security architecture, information appliances, explicit knowledge
33	Y. Chang, Nada Golmie, David H. Su	Study of interoperability between EFCI and ER switch mechanisms for ABR traffic in an ATM network.	ICCCN	1995	DBLP DOI BibTeX RDF	ABR traffic, rate-based flow control, transmission rate control, feedback information, resource management cells, network switching nodes, ATM Forum Traffic Management Specification, network switch mechanism, ATM switch vendor, bandwidth allocation fairness, explicit forward congestion indication, explicit rate mechanism, end system behavior, congestion notification, algorithms, interoperability, asynchronous transfer mode, asynchronous transfer mode, ATM network, simulation results, network performance, simulation study, performance characteristics, available bit rate, destination nodes
33	Xinxin Fan, Thomas J. Wollinger, Yumin Wang	Inversion-Free Arithmetic on Genus 3 Hyperelliptic Curves and Its Implementations.	ITCC (1)	2005	DBLP DOI BibTeX RDF	genus 3 hyperelliptic curve cryptosystem, inversion-free, scalar multiplication, efficient implementation, explicit formulae
32	Tomas Sokoler, Jonas Löwgren, Mette Agger Eriksen, Per Linde, Stefan Olofsson	Explicit interaction for surgical rehabilitation.	TEI	2007	DBLP DOI BibTeX RDF	explicit interaction, use qualities, ubiquitous computing, interaction design
32	Dou Shen, Jian-Tao Sun, Qiang Yang 0001, Zheng Chen 0001	A comparison of implicit and explicit links for web page classification.	WWW	2006	DBLP DOI BibTeX RDF	explicit link, implicit link, query log, web page classification, virtual document
32	Lampros Kalampoukas, Anujan Varma, K. K. Ramakrishnan	Explicit window adaptation: a method to enhance TCP performance.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	explicit window adaptation, Internet, congestion control, TCP, TCP/IP, buffer management
32	Roman Kuznets	On the Complexity of Explicit Modal Logics.	CSL	2000	DBLP DOI BibTeX RDF
30	Bracha Shapira, Meirav Taieb-Maimon, Anny Moskowitz	Study of the usefulness of known and new implicit indicators and their optimal combination for accurate inference of users interests.	SAC	2006	DBLP DOI BibTeX RDF	implicit and explicit relevance feedback, user studies
30	Ken'ichi Kawanishi	On the Counting Process for a Class of Markovian Arrival Processes with an Application to a Queueing System.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	counting process, explicit solution, Baker-Hausdorff lemma, automatic call distribution, Markovian arrival process, Lie algebra
28	Wei-Ta Chu, Ja-Ling Wu	Explicit semantic events detection and development of realistic applications for broadcasting baseball videos.	Multim. Tools Appl.	2008	DBLP DOI BibTeX RDF	Explicit event detection, Game summarization, Semantics, Sports video, Highlight extraction
28	Tatiana Yavorskaya	Interacting Explicit Evidence Systems.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Justification logic, Explicit evidence, Logic of proofs, Epistemic logic, Multi-modal logic
28	Stefan Erickson, Michael J. Jacobson Jr., Ning Shang, Shuo Shen, Andreas Stein	Explicit Formulas for Real Hyperelliptic Curves of Genus 2 in Affine Representation.	WAIFI	2007	DBLP DOI BibTeX RDF	reduced divisor, infrastructure and distance, Cantor’s algorithm, cryptographic key exchange, efficient implementation, hyperelliptic curve, explicit formulas
28	Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer	A Java Implementation of a Component Model with Explicit Symbolic Protocols.	SC@ETAPS	2005	DBLP DOI BibTeX RDF	Behavioural IDL, Explicit Protocols, Symbolic Transition Systems, Java, Controllers, Channels, CBSE
28	Reinhard Kahle, Thomas Studer	A Theory of Explicit Mathematics Equivalent to ID1.	CSL	2000	DBLP DOI BibTeX RDF	explicit mathematics, Proof theory, inductive definitions
28	Maria C. F. Ferreira, Delia Kesner, Laurence Puel	lambda-Calculi with Explicit Substitutions Preserving Strong Normalization.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Preservation of strong normalization, ?-Calculus, Explicit substitutions
28	Anna Mikhajlova	Consistent Extension of Components in the Presence of Explicit Invariants.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	semantic conformance, component extensions, explicit invariants, refinement, consistency, inheritance, forwarding
28	Tuyen V. Nguyen, Anirudh Devgan	State transformation in event driven explicit simulation.	ICCAD	1997	DBLP DOI BibTeX RDF	event driven explicit simulation, state equation, state representation, state transformation, circuit analysis computing, simulation algorithm, similarity transformation
28	Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose	Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.	PLILP	1996	DBLP DOI BibTeX RDF	Implementation of functional programming, weak reduction, space leaks, recursion, sharing, lambda calculus, explicit substitution
27	Fang Chen, Nicholas C. Romano Jr., Jay F. Nunamaker Jr., Robert O. Briggs	A Collaborative Project Management Architecture.	HICSS	2003	DBLP DOI BibTeX RDF	Collaborative Project Management Architecture, Explicit Communication, Explicit Project Knowledge, Collaborative Middleware, Collaborative Presence, Process Management, Tacit Knowledge
25	Yuval Rabani, Amir Shpilka	Explicit construction of a small epsilon-net for linear threshold functions.	STOC	2009	DBLP DOI BibTeX RDF	linear threshold function, explicit construction, epsilon-net
25	Henry DeYoung, Deepak Garg 0001, Frank Pfenning	An Authorization Logic With Explicit Time.	CSF	2008	DBLP DOI BibTeX RDF	Explicit Time, Hybrid Logic, Authorization Logic
25	Sandra Pieraccini, Gabriella Puppo	Implicit-Explicit Schemes for BGK Kinetic Equations.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	BGK model, kinetic equations, implicit-explicit schemes, high-order schemes
25	Xinxin Fan, Guang Gong	Efficient Explicit Formulae for Genus 2 Hyperelliptic Curves over Prime Fields and Their Implementations.	Selected Areas in Cryptography	2007	DBLP DOI BibTeX RDF	Genus 2 hyperelliptic curves, Cantor’s algorithm, Harley’s variant, efficient implementation, explicit formulae
25	Thomas J. Wollinger, Vladyslav Kovtun	Fast explicit formulae for genus 2 hyperelliptic curves using projective coordinates.	ITNG	2007	DBLP DOI BibTeX RDF	hyperelliptic curves, explicit formulae
25	Hridesh Rajan	A case for explicit join point models for aspect-oriented intermediate languages.	VMIL	2007	DBLP DOI BibTeX RDF	Nu AO intermediate language, aspect-oriented intermediate languages, explicit join point models, implicit join point models
25	Takeshi Kamio, Kenji Mori, Kunihiko Mitsubori, Chang-Jun Ahn, Hisato Fujisaka, Kazuhisa Haeiwa	Fuzzy ARTMAP with Explicit and Implicit Weights.	ICONIP (1)	2007	DBLP DOI BibTeX RDF	FAM, Explicit weight, Implicit weight, ARTMAP
25	Guanhua Ye, Tarek N. Saadawi, Myung J. Lee	On Explicit Congestion Notification for Stream Control Transmission Protocol in Lossy Networks.	Clust. Comput.	2005	DBLP DOI BibTeX RDF	lossy networks, Congestion Control, TCP, Stream Control Transmission Protocol (SCTP), Random Early Detection (RED), Explicit Congestion Notification (ECN)
25	Aleksandar Kuzmanovic	The power of explicit congestion notification.	SIGCOMM	2005	DBLP DOI BibTeX RDF	congestion control, active queue management, explicit congestion notification
25	Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka	Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Explicit-state model checking, Protocol verification, Livelock, Sliding-window protocol
25	Muzhou Shao, Martin D. F. Wong, Huijing Cao, Youxin Gao, Li-Pen Yuan, Li-Da Huang, Seokjin Lee	Explicit gate delay model for timing evaluation.	ISPD	2003	DBLP DOI BibTeX RDF	pre-characterize, delay model, explicit
25	Gopalan Nadathur, Xiaochu Qi	Explicit substitutions in the reduction of lambda terms.	PPDP	2003	DBLP DOI BibTeX RDF	beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
25	Li Zhu, Nirwan Ansari, Zafer Sahinoglu, Anthony Vetro, Huifang Sun	Scalable Layered Multicast with Explicit Congestion Notification.	ITCC	2003	DBLP DOI BibTeX RDF	FLID-DL, Explicit Congestion Notification (ECN), Layered Multicast
25	Ralph Keller, Lukas Ruf, Amir Guindehi, Bernhard Plattner	PromethOS: A Dynamically Extensible Router Architecture Supporting Explicit Routing.	IWAN	2002	DBLP DOI BibTeX RDF	extensible router architecture, explicit path routing, Active networking, service deployment
25	Tatsuo Nakajima	Practical Explicit Binding Interface for Supporting Multiple Transport Protocols in a CORBA System.	ICNP	2000	DBLP DOI BibTeX RDF	practical explicit binding interface, multiple transport protocols, CORBA system, standard CORBA interfaces, application portability, extended interface, omniORB2, CORBA 2.0 compliant system, AT? Laboratories, Cambridge, QoS, transport protocols, transport protocol, object model, software portability, network interfaces, distributed object management, connection management
25	Philip W. Sharp, James H. Verner	Generation of High-Order Interpolants for Explicit Runge-Kutta Pairs.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	high order interpolants, generation, pairs, Runge-Kutta, explicit
25	Kersti Ekeland, Brynjulf Owren, Eivor Øines	Stiffness Detection and Estimation of Dominant Spectrum with Explicit Runge-Kutta Methods.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	explicit Runge-Kutta method, stiffness detection
25	Michael E. Saks, Aravind Srinivasan, Shiyu Zhou	Explicit OR-Dispersers with Polylogarithmic Degree.	J. ACM	1998	DBLP DOI BibTeX RDF	hashing lemmas, imperfect sources of randomness, measures of information, hardness of approximation, derandomization, expander graphs, time-space tradeoffs, pseudo-random generators, explicit constructions, randomized computation
25	Michele Cermele, Michele Colajanni, G. Necci	Dynamic load balancing of distributed SPMD computations with explicit message-passing.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	distributed SPMD computations, explicit message-passing, shared heterogeneous components, variable computational power, load status, workload adaption, dynamic platform conditions, linear algebra problems, partial differential equation solvers, activation mechanisms, load monitoring techniques, program consistency, PVM library, parallel computations, resource allocation, data management, dynamic load balancing, data migration, Single Program Multiple Data, task migration, image processing algorithms, decision policies
25	Ewa Deelman, Boleslaw K. Szymanski	Breadth-First Rollback in Spatially Explicit Simulations.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF	antimessage, breadth-first rollback, causal relationship recovery, incremental state saving, rollback overhead, rollback processing, simulation objects, spatially explicit simulations, straggler, discrete event simulation, speedup, parallel discrete event simulations, optimistic protocol
25	Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy	Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.	J. ACM	1996	DBLP DOI BibTeX RDF	confluency, explicit substitutions
25	Matthew Haines, A. P. Wim Böhm	An initial comparison of implicit and explicit programming styles for distributed memory multiprocessors.	HICSS (2)	1995	DBLP DOI BibTeX RDF	implicit programming styles, explicit programming styles, parallel task management, ease of programming, programming effort, performance, parallel programming, parallel programming, efficiency, programming language, distributed memory systems, parallel languages, functional languages, functional languages, distributed memory multiprocessors, distributed data management, run-time support
25	F. Kanehara, S. Satoh, T. Hamada	A flexible image retrieval using explicit visual instruction.	ICDAR	1995	DBLP DOI BibTeX RDF	flexible image retrieval, explicit visual instruction, flexible image content retrieval system, silhouette images, drawing sketch, sketch user interface, local/global shape features, information retrieval, feature extraction, query processing, human factors, image recognition, signatures, visual databases, shape similarity, image decomposition, image data, primitives
25	Alexandra Grancharova, Tor Arne Johansen	Survey of Explicit Approaches to Constrained Optimal Control.	European Summer School on Multi-AgentControl	2003	DBLP DOI BibTeX RDF
25	Seon Wook Kim, Rudolf Eigenmann	The Structure of a Compiler for Explicit and Implicit Parallelism.	LCPC	2001	DBLP DOI BibTeX RDF
23	Ioana Cipcigan, Muruhan Rathinam	Interlaced Euler scheme for stiff systems of stochastic differential equations.	SAC	2009	DBLP DOI BibTeX RDF	explicit Euler method, implicit Euler method, stiffness, stochastic differential equations, uniform convergence
23	Jinmu Choi, Jeong Chang Seong, Bora Kim, E. Lynn Usery	Innovations in Individual Feature History Management - The Significance of Feature-based Temporal Model.	GeoInformatica	2008	DBLP DOI BibTeX RDF	feature history, explicit temporal relationship, temporal primitives, feature-based temporal model
23	David E. Amundsen, Oscar P. Bruno	Time Stepping Via One-Dimensional Padé Approximation.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	explicit methods, evolution partial differential equations, stiff ordinary differential equations, Padé time stepping (PTS), Numerical solution
23	Ran Raz	Extractors with weak random seeds.	STOC	2005	DBLP DOI BibTeX RDF	random sources, extractors, pseudorandomness, condensers, mergers, randomness extraction, explicit constructions, Ramsey graphs
23	Boaz Barak, Guy Kindler, Ronen Shaltiel, Benny Sudakov, Avi Wigderson	Simulating independence: new constructions of condensers, ramsey graphs, dispersers, and extractors.	STOC	2005	DBLP DOI BibTeX RDF	dispersers condenser, constructions, extractors, explicit, ramsey graphs
23	Mark Claypool, Phong Le, Makoto Waseda, David Brown	Implicit interest indicators.	IUI	2001	DBLP DOI BibTeX RDF
22	Stan Krolikoski	Explicit and Implicit Contributions to Standards Groups.	IEEE Des. Test Comput.	2011	DBLP DOI BibTeX RDF	explicit contributions, implicit contributions, standards, design and test
22	Elena Zampieri, Luca F. Pavarino	An explicit second order spectral element method for acoustic waves.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	acoustic waves, explicit time advancing schemes, stability, spectral elements
22	Thomas J. Wollinger, Jan Pelzl, Christof Paar	Cantor versus Harley: Optimization and Analysis of Explicit Formulae for Hyperelliptic Curve Cryptosystems.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Harley's algorithm, Cantor, embedded implementation, efficient implementation, Hyperelliptic curves, explicit formulae
22	Ching-Fong Su, Gustavo de Veciana, Jean C. Walrand	Explicit rate flow control for ABR services in ATM networks.	IEEE/ACM Trans. Netw.	2000	DBLP DOI BibTeX RDF	ABR service, explicit rate flow control, ATM networks, delay differential equations
22	Tatsuo Nakajima	Explicit binding interface for supporting native ATM networks in a CORBA system.	RTCSA	2000	DBLP DOI BibTeX RDF	explicit binding interface, native ATM networks, network bandwidth reservation, GIOP, asynchronous transfer mode, CORBA, transport protocols, transport protocols, client-server systems, client server system, distributed object management, network bandwidth, IIOP
22	Mauricio Ayala-Rincón, Fairouz Kamareddine	Unification via se-style of explicit substitution.	PPDP	2000	DBLP DOI BibTeX RDF	higher order unification, lambda-calculus, explicit substitution
22	Elias A. Lipitakis, George A. Gravvanis	Explicit Preconditioned Iterative Methods for Solving Large Unsymmetric Finite Element Systems.	Computing	1995	DBLP DOI BibTeX RDF	Approximate inverse matrix techniques, explicit preconditioners, unsymmetric finite element systems, initial/boundary-value problems, parallel iterative methods
22	Moshe Morgenstern	Explicit Construction of Natural Bounded Concentrators	FOCS	1991	DBLP DOI BibTeX RDF	linear families, natural bounded concentrators, direct construction, explicit construction
22	V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee 0001	Merlin: specification inference for explicit information flow problems.	PLDI	2009	DBLP DOI BibTeX RDF	security analysis tools, specification inference
22	Dietmar Schreiner, Karl M. Göschka	Modeling component based embedded systems applications with explicit connectors in UML 2.0.	SAC	2007	DBLP DOI BibTeX RDF	UML, embedded systems, component, MDA, connector
22	Mauro Cherubini, Pierre Dillenbourg	The effects of explicit referencing in distance problem solving over shared maps.	GROUP	2007	DBLP DOI BibTeX RDF	deictic, computer supported cooperative work, context, computer-mediated communication
22	Michael A. Chilton, James M. Bloodgood	The Dimensions of Tacit & Explicit Knowledge: A Description and Measure.	HICSS	2007	DBLP DOI BibTeX RDF
22	Dietmar Schreiner, Karl M. Göschka	Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
22	Chun-Guang Li, Jun Guo 0002	Supervised Isomap with Explicit Mapping.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
22	Seongjai Kim, Song-Hwa Kwon	Explicit Nonflat Time Evolution for PDE-Based Image Restoration.	ICVGIP	2006	DBLP DOI BibTeX RDF
22	Mikio Shinya	Stabilizing Explicit Methods in Spring-Mass Simulation.	Computer Graphics International	2004	DBLP DOI BibTeX RDF	physically-based method, spring-mass system, stability, Computer animation
22	Lucian Wischik, Philippa Gardner	Strong Bisimulation for the Explicit Fusion Calculus.	FoSSaCS	2004	DBLP DOI BibTeX RDF
22	Alexander van Zuijlen, Hester Bijl	Implicit and Explicit Higher Order Time Integration Schemes for Fluid-Structure Interaction Computations.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
22	Avi Bryant, Andrew Catton, Kris De Volder, Gail C. Murphy	Explicit programming.	AOSD	2002	DBLP DOI BibTeX RDF	Java
22	Eike Ritter	Characterising Explicit Substitutions which Preserve Termination.	TLCA	1999	DBLP DOI BibTeX RDF
20	Vasanth Bala, Jeanne Ferrante, Larry Carter	Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization.	PPoPP	1993	DBLP DOI BibTeX RDF
20	Stefan Holdermans, Jurriaan Hage	Making "stricterness" more relevant.	PEPM	2010	DBLP DOI BibTeX RDF	explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis
20	Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal 0001	Deaf, Dumb, and Chatting Asynchronous Robots.	OPODIS	2009	DBLP DOI BibTeX RDF	Explicit Communication, Stigmergy, Mobile Robot Networks
20	Malgorzata Biernacka, Olivier Danvy	A concrete framework for environment machines.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	closures, derivation, Abstract machines, explicit substitutions
20	Jan G. Verwer	On Time Staggering for Wave Equations.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Explicit time integration, Staggered time integration, Composite time integration, Wave equations
20	Jiangning Wu, Xiaohuan Wang	A Knowledge Navigation Method for the Domain of Customers' Services of Mobile Communication Corporations in China.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Knowledge Navigation, Social Network Analysis, Topic Map, Tacit Knowledge, Explicit Knowledge
20	Pradeep Kumar Mishra, Pinakpani Pal, Palash Sarkar 0001	Towards Minimizing Memory Requirement for Implementation of Hyperelliptic Curve Cryptosystems.	ISPEC	2007	DBLP DOI BibTeX RDF	Elliptic and hyperelliptic curve cryptosystems, divisor addition, divisor doubling, memory, scalar multiplication, explicit formula
20	Melanie Gnasa, Armin B. Cremers, Douglas W. Oard	ISKODOR: unified user modeling for integrated searching.	SIGIR	2007	DBLP DOI BibTeX RDF	explicit relevance feedback, web search, collaborative search
20	Shuqin Wang, Jinmao Wei, Junping You, Dayou Liu	A VPRSM Based Approach for Inducing Decision Trees.	RSKT	2006	DBLP DOI BibTeX RDF	variable precision explicit region, variable precision implicit region, decision tree, Variable precision rough set model
20	Tom J. van Weert	Higher Education: Learning in Real-Life.	Information and Communication Technologies and Real-Life Learning	2004	DBLP DOI BibTeX RDF	Implicit learning, explicit learning, knowledge development, reflection, problem solving, learning environment
20	Stanislav Sheynin, Alexander Tuzikov	Area and Moment Computation for Objects with a Closed Spline Boundary.	CAIP	2003	DBLP DOI BibTeX RDF	spline, moment, Area, parametric curve, explicit formulae
20	Ahti Pietarinen	Awareness in Logic and Cognitive Neuroscience.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	implicit/explicit distinction, awareness, Logic, neuroscience, possible-worlds semantics
20	Wei-Ta Chu, Herng-Yow Chen	Cross-media correlation: a case study of navigated hypermedia documents.	ACM Multimedia	2002	DBLP DOI BibTeX RDF	computed synchronization process, explicit relation, implicit relation, cross-media correlation