Search results for "exploration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Emily Hill 0001	Developing natural language-based program analyses and tools to expedite software maintenance.	ICSE Companion	2008	DBLP DOI BibTeX RDF	natural language program analysis, program exploration, software maintenance, software tools
14	Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman	Verifying really complex systems: on earth and beyond.	DAC	2008	DBLP DOI BibTeX RDF	Mars Exploration Rover, bald lemurs, rendering software, space vehicles, verification, computer animation, power grids, avionics
14	Hristo Nikolov, Mark Thompson 0001, Todor P. Stefanov, Andy D. Pimentel, Simon Polstra, Raj Bose, Claudiu Zissulescu, Ed F. Deprettere	Daedalus: toward composable multimedia MP-SoC design.	DAC	2008	DBLP DOI BibTeX RDF	system-level design and synthesis, design space exploration
14	Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner	Exploiting interleaving semantics in symbolic state-space generation.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Symbolic state-space exploration, Decision diagrams, Kronecker algebra, Interleaving semantics
14	Rajani Pai, R. Govindarajan	FEADS: A Framework for Exploring the Application Design Space on Network Processors.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	performance Evaluation, petri Nets, design space exploration, network processor, programming model, Cyclic scheduling
14	Endre M. Lidal, Tor Langeland, Christopher Giertsen, Jens Grimsgaard, Rolf Helland	A Decade of Increased Oil Recovery in Virtual Reality.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	petroleum industry, oil exploration and production, virtual reality
14	Soonhoi Ha, Sungchan Kim, Choonseung Lee, Youngmin Yi, Seongnam Kwon, Young-Pyo Joo	PeaCE: A hardware-software codesign environment for multimedia embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	hardware-software cosimulation, embedded systems, design-space exploration, model-based design, Hardware-software codesign
14	Xinping Zhu, Sharad Malik	A hierarchical modeling framework for on-chip communication architectures of multiprocessing SoCs.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	on-chip communication architecture, network-on-chip, multiprocessor system, object-oriented modeling, packet-switching network, design exploration, bus, Retargetable simulation
14	Kristen Stubbs, Pamela J. Hinds, David Wettergreen	Autonomy and Common Ground in Human-Robot Interaction: A Field Study.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	robot autonomy, exploration robotics, human-robot interaction, common ground, grounding
14	Andrew E. Johnson 0002, Reg G. Willson, Yang Cheng, Jay Goguen, Chris Leger, Miguel Sanmartin, Larry H. Matthies	Design Through Operation of an Image-Based Velocity Estimation System for Mars Landing.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	Mars lander, Mars Exploration Rover, DIMES, computer vision, robotics, feature tracking, velocity estimation
14	Martin Kilian, Niloy J. Mitra, Helmut Pottmann	Geometric modeling in shape space.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	isometric deformation, parallel transport, shape exploration, geodesic, shape space, Riemannian geometry
14	Shih-Hsi Liu, Marjan Mernik, Barrett R. Bryant	A clustering entropy-driven approach for exploring and exploiting noisy functions.	SAC	2007	DBLP DOI BibTeX RDF	cluster, entropy, exploration, exploitation
14	Márcio Oyamada, Flávio Rech Wagner, Marius Bonaciu, Wander O. Cesário, Ahmed Amine Jerraya	Software Performance Estimation in MPSoC Design.	ASP-DAC	2007	DBLP DOI BibTeX RDF	cycle-accurate simulation model, software performance estimation, MPSoC design, software-dominated embedded systems, integrated methodology, bus-functional model, multiprocessor platform, MPEG4 encoder, neural networks, performance analysis, design space exploration, design validation
14	Erez Perelman, Jeremy Lau, Harish Patil, Aamer Jaleel, Greg Hamerly, Brad Calder	Cross Binary Simulation Points.	ISPASS	2007	DBLP DOI BibTeX RDF	cross binary simulation point, SimPoint, architectural design space exploration, compiler optimization evaluation, program execution, program evaluation
14	Joshua L. Kihm, Samuel D. Strom, Daniel A. Connors	Phase-Guided Small-Sample Simulation.	ISPASS	2007	DBLP DOI BibTeX RDF	SpedOOO benchmark suite, phase-guided small-sample simulation, sampled simulation, phase-based simulation, benchmark evaluation suite, execution-aware sampling-based simulation, design space exploration, sampling method, processor design, cycle-accurate simulation
14	Hartwig H. Hochmair	Optimal route selection with route planners: results of a desktop usability study.	GIS	2007	DBLP DOI BibTeX RDF	dynamic route exploration, context information, spatial decision support
14	Nicola Santoro	Close Encounters with a Black Hole or Explorations and Gatherings in Dangerous Graphs.	FUN	2007	DBLP DOI BibTeX RDF	Harmful Host, Anonymous Agents, Robots, Mobile Agents, Asynchronous, Exploration, Tokens, Rendezvous, Anonymous Networks, Whiteboards, Gathering
14	Tero Kangas, Timo D. Hämäläinen, Kimmo Kuusilinna	Scalable Architecture for SoC Video Encoders.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	System-on-Chip, video encoding, architecture exploration
14	Yannick Le Moullec, Jean-Philippe Diguet, Nader Ben Amor, Thierry Gourdeaux, Jean Luc Philippe	Algorithmic-level Specification and Characterization of Embedded Multimedia Applications with Design Trotter.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	algorithm/architecture matching, specification, SoCs, design-space exploration, characterization
14	Liu Hui	Study on Distribution Model of Internet Information Resources in China.	WISE Workshops	2006	DBLP DOI BibTeX RDF	IRM, Information resource exploration, Internet, Statistical analysis
14	Stephan Roch, Karsten Schmidt 0004	On the Step Explosion Problem.	ICATPN	2006	DBLP DOI BibTeX RDF	step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset
14	Takao Terano	Exploring the Vast Parameter Space of Multi-Agent Based Simulation.	MABS	2006	DBLP DOI BibTeX RDF	Multi-Agent Based Modeling, Parameter Exploration, Genetic Algorithms, Verification and Validation, Social Systems
14	Klaus D. Müller-Glaser, Clemens Reichmann, Markus Kühl	Supporting System Level Design of Distributed Real Time Systems for Automotive Applications.	Monterey Workshop	2006	DBLP DOI BibTeX RDF	automotive control systems, CASE tool integration platform GeneralStore, EE-Concept-Tool for design space exploration, model transformation, heterogeneous models
14	Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Flávio Rech Wagner	MDA-based approach for embedded software generation from a UML/MOF repository.	SBCCI	2006	DBLP DOI BibTeX RDF	UML, MDA, design space exploration, embedded systems design
14	David von Oheimb, Jorge Cuéllar	Designing and Verifying Core Protocols for Location Privacy.	ISC	2006	DBLP DOI BibTeX RDF	Geopriv, privacy, model checking, exploration, location information
14	Sid Ahmed Ali Touati, Denis Barthou	On the decidability of phase ordering problem in optimizing compilation.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	input data I, library generation, parameters space exploration, optimizing compilation, phase ordering, iterative compilation
14	Liam Noonan, Colin Flanagan	An effective network processor design framework: using multi-objective evolutionary algorithms and object oriented techniques to optimise the intel IXP1200 network processor.	ANCS	2006	DBLP DOI BibTeX RDF	object oriented, design space exploration, evolutionary approaches
14	Atsuyoshi Nakamura, Naoki Abe	Improvements to the Linear Programming Based Scheduling of Web Advertisements.	Electron. Commer. Res.	2005	DBLP DOI BibTeX RDF	banner advertisement scheduling, exploration-exploitation trade-off, linear programming, inventory management
14	Ingrid Verbauwhede, Patrick Schaumont	Skiing the embedded systems mountain.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Education, design space exploration, cosimulation
14	Nageswara S. V. Rao, David B. Reister, Jacob Barhen	Information Fusion Methods Based on Physical Laws.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	distribution free bounds, Vapnik-Chervonenkis theory, physical laws, methane hydrates exploration, sensor fusion, Information fusion, covering numbers
14	Marc Leeman, David Atienza, Geert Deconinck, Vincenzo De Florio, José M. Mendías, Chantal Ykman-Couvreur, Francky Catthoor, Rudy Lauwereins	Methodology for Refinement and Optimisation of Dynamic Memory Management for Embedded Systems in Multimedia Applications.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	dynamic data types, multimedia, low power, memory management, memory hierarchy, memory bandwidth, dynamic memory management, system-level exploration, memory footprint
14	Luca Benini, Davide Bertozzi, Alessandro Bogliolo, Francesco Menichelli, Mauro Olivieri	MPARM: Exploring the Multi-Processor SoC Design Space with SystemC.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	system-on-chip simulation, design space exploration, multiprocessor embedded systems
14	Yalin Xiong, Clark F. Olson, Larry H. Matthies	Computing depth maps from descent images.	Mach. Vis. Appl.	2005	DBLP DOI BibTeX RDF	Descent images, Motion estimation, Structure from motion, Terrain mapping, Planetary exploration
14	Júlio C. B. de Mattos, Emilena Specht, Bruno Neves, Luigi Carro	Making object oriented efficient for embedded system applications.	SBCCI	2005	DBLP DOI BibTeX RDF	java, object-oriented, design space exploration, embedded software
14	Jeffrey Heer, danah boyd	Vizster: Visualizing Online Social Networks.	INFOVIS	2005	DBLP DOI BibTeX RDF	data mining, visualization, community, social networks, graphs, exploration, play
14	Ralf Klasing, Euripides Markou, Tomasz Radzik, Fabiano Sarracco	Hardness and Approximation Results for Black Hole Search in Arbitrary Graphs.	SIROCCO	2005	DBLP DOI BibTeX RDF	black hole search, approximation algorithm, mobile agent, NP-hardness, graph exploration
14	Tim Good, Mohammed Benaissa	AES on FPGA from the Fastest to the Smallest.	CHES	2005	DBLP DOI BibTeX RDF	low area, Application Specific Instruction Processor (ASIP), Field Programmable Gate Array (FPGA), pipelined, Advanced Encryption Standard (AES), finite field, high throughput, design exploration
14	Kesaraporn Techapichetvanich, Amitava Datta	VisAR : A New Technique for Visualizing Mined Association Rules.	ADMA	2005	DBLP DOI BibTeX RDF	Market Basket, Visualization, Association Rules, Visual Exploration
14	Edson Prestes e Silva Jr., Marco Aurélio Pires Idiart, Marcelo Trevisan, Paulo Martins Engel	Autonomous Learning Architecture for Environmental Mapping.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	mapping of unknown environment, navigation, exploration, harmonic functions
14	Kurt Driessens, Saso Dzeroski	Integrating Guidance into Relational Reinforcement Learning.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	guided exploration, reinforcement learning, relational learning
14	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli	Exploiting transition locality in automatic verification of finite-state concurrent systems.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Explicit state space exploration, Model checking, Automatic verification
14	Érika F. Cota, Luigi Carro, Marcelo Lubaszewski, Alex Orailoglu	Searching for Global Test Costs Optimization in Core-Based Systems.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	design space exploration, design for test, SOC testing, embedded cores testing
14	Arijit Ghosh, Tony Givargis	Cache optimization for embedded processor cores: An analytical approach.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	design space exploration, system-on-a-chip, Cache optimization, core-based design
14	Filippo Menczer, Gautam Pant, Padmini Srinivasan	Topical web crawlers: Evaluating adaptive algorithms.	ACM Trans. Internet Techn.	2004	DBLP DOI BibTeX RDF	evaluation, reinforcement learning, Efficiency, evolution, exploration, exploitation, topical crawlers
14	Mara Abel, Laura S. Mastella, Luís A. Lima Silva, John A. Campbell, Luis Fernando De Ros	How to Model Visual Knowledge: A Study of Expertise in Oil-Reservoir Evaluation.	DEXA	2004	DBLP DOI BibTeX RDF	petroleum exploration, knowledge representation, Knowledge acquisition, expertise, visual knowledge
14	Cesar Perez, Angélica de Antonio Jiménez	3D Visualization of Text Collections: An Experimental Study to Assess the Usefulness of 3D.	IV	2004	DBLP DOI BibTeX RDF	usability, Information visualization, 3D, exploration, experimental study
14	Xinping Zhu, Wei Qin, Sharad Malik	Modeling operation and microarchitecture concurrency for communication architectures with application to retargetable simulation.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	on-chip communication architecture, simulator synthesis, multiprocessor system, packet-switching network, design exploration, bus, retargetable simulation
14	Kamel Chelghoum, Maurice Margenstern, Benoît Martin, Isabelle Pecci	Palette hyperbolique: un outil pour interagir avec des ensembles de données.	IHM	2004	DBLP DOI BibTeX RDF	large data spaces, fisheye view, visual exploration, hyperbolic geometry
14	Henry Sonnet, Sheelagh Carpendale, Thomas Strothotte	Integrating expanding annotations with a 3D explosion probe.	AVI	2004	DBLP DOI BibTeX RDF	3D model exploration, expanding annotations, explosion diagram, interaction design
14	Parthasarathy Krishnaswamy, Stephen G. Eick, Robert L. Grossman	Visual Browsing of Remote and Distributed Data.	INFOVIS	2004	DBLP DOI BibTeX RDF	information visualization, visual data mining, visual data exploration, distributed data
14	Luca Durante, Riccardo Sisto, Adriano Valenzano	Automatic testing equivalence verification of spi calculus specifications.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	equivalence verification, Cryptographic protocols, state space exploration
14	Jerzy Stefanowski, Dawid Weiss	Carrot and Language Properties in Web Search Results Clustering.	AWIC	2003	DBLP DOI BibTeX RDF	web browsing and exploration, web search clustering, suffix tree clustering, information retrieval
14	Vicente Luque Centeno, Carlos Delgado Kloos, Peter T. Breuer, Luis Sánchez Fernández 0001, Ma. Eugenia Gonzalo Cabellos, Juan Antonio Herráiz Pérez	Automation of the Deep Web with User Defined Behaviours.	AWIC	2003	DBLP DOI BibTeX RDF	web exploration, automation of tasks on the web, agents, deep web
14	Lukai Cai, Daniel Gajski	Transaction level modeling: an overview.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	modeling, validation, refinement, synthesis, exploration, transaction level model
14	Cagkan Erbas, Selin C. Erbas, Andy D. Pimentel	A multiobjective optimization model for exploring multiprocessor mappings of process networks.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	performance estimation with simulation, design space exploration, evolutionary multiobjective optimization
14	Anand Ramachandran, Margarida F. Jacome	Xtream-Fit: an energy-delay efficient data memory subsystem for embedded media processing.	DAC	2003	DBLP DOI BibTeX RDF	streaming memory, low power, configurability, design space exploration, media processing, scratch-pad, energy delay product
14	Jeffry T. Russell, Margarida F. Jacome	Architecture-level performance evaluation of component-based embedded systems.	DAC	2003	DBLP DOI BibTeX RDF	performance evaluation, embedded system, scenario, design space exploration, component-based, architecture-level
14	Krishna V. Palem, Rodric M. Rabbah, Vincent John Mooney, Pinar Korkmaz, Kiran Puttaswamy	Design space optimization of embedded memory systems via data remapping.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	data remapping, design space exploration, power aware
14	Chantal Ykman-Couvreur, Jurgen Lambrecht, A. Van Der Togt, Francky Catthoor	Multi-ovjective abstract data type refinement for mapping tables in telecom network applications.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	memory management, memory performance, system-level exploration
14	M. Balakrishnan, Anshul Kumar, Paolo Ienne, Anup Gangwar, Bhuvan Middha	A Trimaran Based Framework for Exploring the Design Space of VLIW ASIPs with Coarse Grain Functional Units.	ISSS	2002	DBLP DOI BibTeX RDF	Trimaran, performance, design space exploration, VLIW, ASIP
14	Hiroto Yasuura, Yun Cao, Mohammad Mesbah Uddin	An Accelerated Datapath Width Optimization Scheme for Area Reduction of Embedded Systems.	ISSS	2002	DBLP DOI BibTeX RDF	design of custom embedded systems, pruning of design exploration space
14	Pierre-Olivier Ribet, François Vernadat 0001, Bernard Berthomieu	On Combining the Persistent Sets Method with the Covering Steps Graph Method.	FORTE	2002	DBLP DOI BibTeX RDF	persistent sets, covering steps graph, partial-order, Concurrent systems, state space exploration, verification methods
14	Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi	Parameterised system design based on genetic algorithms.	CODES	2001	DBLP DOI BibTeX RDF	exploration of system configurations, parameterised systems, genetic algorithms
14	Konrad Klein, Vítor Sequeira	View Planning for Unknown Indoor Scenes Based on a Cost Benefit Analysis.	DAGM-Symposium	2001	DBLP DOI BibTeX RDF	range image fusion, modelling from reality, autonomous exploration, 3d reconstruction, active vision, view planning
14	Daniel A. Keim	Designing Pixel-Oriented Visualization Techniques: Theory and Applications.	IEEE Trans. Vis. Comput. Graph.	2000	DBLP DOI BibTeX RDF	visualizing large data sets, visualizing multidimensional and multivariate data, Information visualization, visual data mining, visual data exploration
14	Stephen A. Blythe, Robert A. Walker 0001	Efficient optimal design space characterization methodologies.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	clock-length determination, efficient searching, scheduling, high-level synthesis, design space exploration, bounding, module selection
14	Michael D. Beynon, Tahsin M. Kurç, Alan Sussman, Joel H. Saltz	Design of a Framework for Data-Intensive Wide-Area Applications.	Heterogeneous Computing Workshop	2000	DBLP DOI BibTeX RDF	application decomposition, data analysis and exploration, Data-intensive applications
14	Ian S. J. Packham, Ian C. Parmee	Data Analysis and Visualization of Cluster-Oriented Genetic Algorithm Output.	IV	2000	DBLP DOI BibTeX RDF	Cluster Oriented Genetic Algorithms, Visualization, Exploration, Conceptual Design
14	Franck Gechter, François Charpillet	Vision based localisation for a mobile robot.	ICTAI	2000	DBLP DOI BibTeX RDF	vision-based localisation system, representative image set, environment exploration, partially Markov decision process, robot decisions, principal components analysis, probability, probabilities, mobile robots, mobile robot, Markov processes, image recognition, image recognition, data fusion, image matching, image matching, sensor fusion, robot vision, position estimation
14	Salvador Mir, Benoît Charlot, Gabriela Nicolescu, Philippe Coste, Fabien Parrain, Nacer-Eddine Zergainoh, Bernard Courtois, Ahmed Amine Jerraya, Márta Rencz	Towards design and validation of mixed-technology SOCs.	ACM Great Lakes Symposium on VLSI	2000	DBLP DOI BibTeX RDF	design, verification, MEMS, SOCs, architecture exploration, HDLs, cosimulation
14	Lech Józwiak	Quality-Driven System-on-a-Chip Design.	ISQED	2000	DBLP DOI BibTeX RDF	quality-driven design, design methodologies, design methods, system-on-a-chip, design reuse, design modeling, design exploration, design validation, EDA tools
14	Francoise Balmas	QBO: A Query Tool Specially Developed to Explore Programs.	WCRE	1999	DBLP DOI BibTeX RDF	program indexing and querying, query tool, loop outlining, program exploration
14	Tim Kovacs	Strength or Accuracy? Fitness Calculation in Learning Classifier Systems.	Learning Classifier Systems	1999	DBLP DOI BibTeX RDF	strong overgeneral classifiers, biased reward functions, accuracy-based fitness, complete covering maps, exploration, XCS
14	A. K. Riemens, Kees A. Vissers, R. J. Schutten, Gerben J. Hekstra, G. D. La Hei, Frans Sijstermans	TriMedia CPU64 Application Domain and Benchmark Suite.	ICCD	1999	DBLP DOI BibTeX RDF	TriMedia, multi-media benchmark, design space exploration, embedded processors, VLIW processors, media processing
14	Judith Crow, Ben L. Di Vito	Formalizing Space Shuttle Software Requirements: Four Case Studies.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	flight software, space shuttle, state exploration, formal methods, theorem proving, requirements analysis
14	Silvia Chiusano, Fulvio Corno, Matteo Sonza Reorda, Roberto Vietti	A System for Evaluating On-Line Testability at the RT-level.	DFT	1998	DBLP DOI BibTeX RDF	Testability estimation, On-line testing, Design exploration
14	Susanne Graf, Hassen Saïdi	Construction of Abstract State Graphs with PVS.	CAV	1997	DBLP DOI BibTeX RDF	state graph exploration, theorem proving, abstract interpretation
14	Jürgen Teich, Tobias Blickle, Lothar Thiele	An evolutionary approach to system-level synthesis.	CODES	1997	DBLP DOI BibTeX RDF	architecture selection, cost constraints, graph-based mapping model, heterogeneous hardware/software architecture, optimal mapping, performance constraints, task-level specification mapping, video-codec implementations, genetic algorithms, scheduling, memories, ASICs, design space exploration, allocation, optimization problem, binding, buses, system-level synthesis, evolutionary approach, algorithm mapping, general-purpose processors, dedicated processors
14	Herbert Dawid, Klaus-Jürgen Koch, Johannes Stahl 0004	ADPCM codec: from system level description to versatile HDL model.	ASAP	1997	DBLP DOI BibTeX RDF	differential pulse code modulation, ADPCM codec, system level description, versatile HDL model, architectural design exploration, fast system simulation, adaptive differential pulse code modulation codec module, power analysis, design verification, behavioral synthesis, design reuse, system complexity, design constraints
14	Johnny Öberg, Anshul Kumar, Ahmed Hemani	Grammar-Based Hardware Synthesis of Data Communication Protocols.	ISSS	1996	DBLP DOI BibTeX RDF	Grammar-based Specification, Data Communication Protocols, Design Space Exploration, Hardware Synthesis
14	Lech Józwiak, Sien-An Ong	Quality-Driven Decision Making Methodology for System-Level Design.	EUROMICRO	1996	DBLP DOI BibTeX RDF	decision making methodology, application oriented embedded systems, quality-driven decision making, real-time systems, design space exploration, system-level design, decision models
14	Seong Yong Ohm, Fadi J. Kurdahi, Nikil D. Dutt, Min Xu	A comprehensive estimation technique for high-level synthesis.	ISSS	1995	DBLP DOI BibTeX RDF	HLS benchmarks, RT level components, RTL datapaths, estimation technique, delays, high level synthesis, high-level synthesis, timing, design space exploration, granularity, hardware description languages, data flow graphs, registers, system buses, timing model, buses, behavioral description, layout area
14	Pai H. Chou, Ross B. Ortega, Gaetano Borriello	Interface co-synthesis techniques for embedded systems.	ICCAD	1995	DBLP DOI BibTeX RDF	design space exploration tools, glue logic, real-time systems, embedded systems, CAD, synthesis, computer interfaces, hardware/software interfaces, design cycle
14	Marc Pierrot-Deseilligny, Hervé Le Men, Georges Stamon	Characters string recognition on maps, a method for high level reconstruction.	ICDAR	1995	DBLP DOI BibTeX RDF	character string extraction, string recognition, cartographic context, high level reconstruction process, string coherence, simplifying hypotheses, graph optimization problem, combinatorial exploration, feature extraction, dynamic programming, dynamic programming, graph theory, graph theory, heuristics, knowledge based systems, maps, image reconstruction, character recognition, string matching, industrial application, pattern analysis, cartography
14	Inderpal S. Bhandari, Michael J. Halliday, Eric Tarver, David Brown, Jarir K. Chaar, Ram Chillarege	A Case Study of Software Process Improvement During Development.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	defect data analysis, process activities, process correction, machine-assisted approach, defect-based process improvement, in-process metrics, software engineering, software engineering, semantics, case study, project management, software metrics, knowledge discovery, software process improvement, attributes, software defects, data exploration, data handling, project team
14	John L. Schneiter, Thomas B. Sheridan	An Automated Tactile Sensing Strategy for Planar Object Recognition and Localization.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	automated tactile sensing, planar object recognition, tactile exploration, point contact sensor, diagnostic measurements, sensor paths, pattern recognition, localization, tactile sensors
14	Di Yang, Zhenyu Guo, Zaixian Xie, Elke A. Rundensteiner, Matthew O. Ward	Interactive visual exploration of neighbor-based patterns in data streams.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	visual interaction, streaming data, pattern mining
14	Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl	WCET driven design space exploration of an object cache.	JTRES	2010	DBLP DOI BibTeX RDF
14	Georgios Karakonstantis, Georgios Panagopoulos, Kaushik Roy 0001	HERQULES: system level cross-layer design exploration for efficient energy-quality trade-offs.	ISLPED	2010	DBLP DOI BibTeX RDF	energy efficient systems, optimal design criteria, voltage-scaling
14	Katerina Vrotsou, Jimmy Johansson 0001, Matthew Cooper 0001	ActiviTree: Interactive Visual Exploration of Sequences in Event-Based Data Using Graph Similarity.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
14	Stefan Zachow, Philipp Muigg, Thomas Hildebrandt, Helmut Doleisch, Hans-Christian Hege	Visual Exploration of Nasal Airflow.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
14	Lin Lin 0008, Mitsuo Gen	Auto-tuning strategy for evolutionary algorithms: balancing between exploration and exploitation.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Auto-tuning strategy, Evolutionary Algorithms, Fuzzy logic control
14	Jean-Marc Vézien, Bob Ménélas, Julien Nelson, Lorenzo Picinali, Patrick Bourdot, Mehdi Ammi, Brian F. G. Katz, Jean-Marie Burkhardt, Luc Pastur, François Lusseyran	Multisensory VR exploration for computer fluid dynamics in the CoRSAIRe project.	Virtual Real.	2009	DBLP DOI BibTeX RDF	Multimodal virtual environment, Virtual reality, Haptics, Computer fluid dynamics, Sonification
14	David B. Grimes, Rajesh P. N. Rao	Learning Actions through Imitation and Exploration: Towards Humanoid Robots That Learn from Humans.	Creating Brain-Like Intelligence	2009	DBLP DOI BibTeX RDF
14	Takashi Kubota, Kei Takahashi, Shingo Shimoda, Tetsuo Yoshimitsu, Ichiro Nakatani	Locomotion Mechanism of Intelligent Unmanned Explorer for Deep Space Exploration.	Intelligent Unmanned Systems	2009	DBLP DOI BibTeX RDF
14	Thanh Tran 0001, Haofen Wang, Sebastian Rudolph, Philipp Cimiano	Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data.	ICDE	2009	DBLP DOI BibTeX RDF
14	Marco Trincavelli, Silvia Coradeschi, Amy Loutfi	Online classification of gases for environmental exploration.	IROS	2009	DBLP DOI BibTeX RDF
14	Tim Braun, Bernd-Helge Schäfer, Karsten Berns	Topological large-scale off-road navigation and exploration RAVON at the European Land Robot Trial 2008.	IROS	2009	DBLP DOI BibTeX RDF
14	Yoshiaki Kuwata, Lars Blackmore, Michael T. Wolf, Nanaz Fathpour, Claire Newman, Alberto Elfes	Decomposition algorithm for global reachability analysis on a time-varying graph with an application to planetary exploration.	IROS	2009	DBLP DOI BibTeX RDF
14	David Preston Barnes, Stephen Medwyn Pugh, Laurence Gethyn Tyler	Autonomous Science Target Identification and Acquisition (ASTIA) for planetary exploration.	IROS	2009	DBLP DOI BibTeX RDF