Search results for "Exploration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	G. S. Mahalakshmi 0001, T. V. Geetha	Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming.	ICLA	2009	DBLP DOI BibTeX RDF	Indian logic, Nyaya Sastra, Reason fallacies, Argumentation, Defect
18	Sihem Amer-Yahia, Jian Huang, Cong Yu 0001	Jelly: A Language for Building Community-Centric Information Exploration Applications.	ICDE	2009	DBLP DOI BibTeX RDF
18	Luigi Freda, Giuseppe Oriolo, Francesco Vecchioli	An exploration method for general robotic systems equipped with multiple sensors.	IROS	2009	DBLP DOI BibTeX RDF
18	Fredy Tungadi, Lindsay Kleeman	Loop exploration for SLAM with fusion of advanced sonar features and laser polar scan matching.	IROS	2009	DBLP DOI BibTeX RDF
18	Gianluca Palermo, Cristina Silvano, Vittorio Zaccaria	Variability-aware robust design space exploration of chip multiprocessor architectures.	ASP-DAC	2009	DBLP DOI BibTeX RDF
18	Sébastien Bubeck, Rémi Munos, Gilles Stoltz	Pure Exploration in Multi-armed Bandits Problems.	ALT	2009	DBLP DOI BibTeX RDF
18	Stefano Savazzi, Umberto Spagnolini	Synchronous ultra-wide band wireless sensors networks for oil and gas exploration.	ISCC	2009	DBLP DOI BibTeX RDF
18	Jean-Baptiste Mouret, Stéphane Doncieux	Using behavioral exploration objectives to solve deceptive problems in neuro-evolution.	GECCO	2009	DBLP DOI BibTeX RDF	deceptive problems, neural networks, diversity, multiobjective evolutionary algorithm
18	David Simoncini, Sébastien Vérel, Philippe Collard, Manuel Clergue	Centric selection: a way to tune the exploration/exploitation trade-off.	GECCO	2009	DBLP DOI BibTeX RDF	cellular evolutionnary algorithms, selection operators, selective pressure, theoretical model
18	Kunal Taneja, Tao Xie 0001, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte	Guided path exploration for regression test generation.	ICSE Companion	2009	DBLP DOI BibTeX RDF
18	J. Zico Kolter, Andrew Y. Ng	Near-Bayesian exploration in polynomial time.	ICML	2009	DBLP DOI BibTeX RDF
18	P. B. Sujit, Randy W. Beard	Multiple UAV exploration of an unknown region.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 90B99
18	Régis Vincent, Dieter Fox, Jonathan Ko, Kurt Konolige, Benson Limketkai, Benoit Morisset, Charles Ortiz, Dirk Schulz 0001, Benjamin Stewart	Distributed multirobot exploration, mapping, and task allocation.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 90C35, 15A90, 90C30
18	Fernando Vieira Paulovich, Rosane Minghim	HiPP: A Novel Hierarchical Point Placement Strategy and its Application to the Exploration of Document Collections.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
18	Liran Goshen, Ilan Shimshoni	Balanced Exploration and Exploitation Model Search for Efficient Epipolar Geometry Estimation.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Computer vision, Motion, 3D/stereo scene analysis, Vision and Scene Understanding
18	Thomas Rückstieß, Martin Felder, Jürgen Schmidhuber	State-Dependent Exploration for Policy Gradient Methods.	ECML/PKDD (2)	2008	DBLP DOI BibTeX RDF
18	Hisayoshi Sugiyama, Tetsuo Tsujioka, Masashi Murata	Coordination of Rescue Robots for Real-Time Exploration Over Disaster Areas.	ISORC	2008	DBLP DOI BibTeX RDF	USAR, Rescue System, Ad Hoc Network, Multi-Agent, Multi-Robot
18	Francesco Amigoni	Experimental evaluation of some exploration strategies for mobile robots.	ICRA	2008	DBLP DOI BibTeX RDF
18	Cynthia Breazeal, Andrea Lockerd Thomaz	Learning from human teachers with Socially Guided Exploration.	ICRA	2008	DBLP DOI BibTeX RDF
18	Rui P. Rocha, João Filipe Ferreira, Jorge Dias 0001	Multi-robot complete exploration using hill climbing and topological recovery.	IROS	2008	DBLP DOI BibTeX RDF
18	Luigi Freda, Giuseppe Oriolo, Francesco Vecchioli	Sensor-based Exploration for general robotic systems.	IROS	2008	DBLP DOI BibTeX RDF
18	Sungchan Kim, Chanik Park, Soonhoi Ha	Architecture Exploration of NAND Flash-based Multimedia Card.	DATE	2008	DBLP DOI BibTeX RDF
18	I-Wei Wu, Zhiyuan Chen, Jean Jyh-Jiun Shann, Chung-Ping Chung	Instruction Set Extension Exploration in Multiple-Issue Architecture.	DATE	2008	DBLP DOI BibTeX RDF
18	Anupam Chattopadhyay, Xiaolin Chen, Harold Ishebabi, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	High-level Modelling and Exploration of Coarse-grained Re-configurable Architectures.	DATE	2008	DBLP DOI BibTeX RDF
18	Gianluca Palermo, Cristina Silvano, Vittorio Zaccaria	Discrete Particle Swarm Optimization for Multi-objective Design Space Exploration.	DSD	2008	DBLP DOI BibTeX RDF
18	Giovanni Maria Sacco	Rosso Tiziano: A System for User-Centered Exploration and Discovery in Large Image Information Bases.	DEXA	2008	DBLP DOI BibTeX RDF
18	Nazha Abed, Stavros Tripakis, Jean-Marc Vincent	Resource-Aware Verification Using Randomized Exploration of Large State Spaces.	SPIN	2008	DBLP DOI BibTeX RDF
18	Emmanuel Müller, Ira Assent, Ralph Krieger, Timm Jansen, Thomas Seidl 0001	Morpheus: interactive exploration of subspace clustering.	KDD	2008	DBLP DOI BibTeX RDF	interactive visualization tool, data mining, high-dimensional data, subspace clustering
18	Henrik Svensson, Thomas Lenart, Viktor Öwall	Modelling and exploration of a reconfigurable array using systemC TLM.	IPDPS	2008	DBLP DOI BibTeX RDF
18	T. J. Jankun-Kelly	Using Visualization Process Graphs to Improve Visualization Exploration.	IPAW	2008	DBLP DOI BibTeX RDF
18	Amin Khajeh, Minyoung Kim, Nikil D. Dutt, Ahmed M. Eltawil, Fadi J. Kurdahi	Cross-layer co-exploration of exploiting error resilience for video over wireless applications.	ESTIMedia	2008	DBLP DOI BibTeX RDF
18	Georg Fuchs, Mathias Holst, René Rosenbaum, Heidrun Schumann	3D Mesh Exploration for Smart Visual Interfaces.	VISUAL	2008	DBLP DOI BibTeX RDF
18	T. S. Rajesh Kumar, C. P. Ravikumar, R. Govindarajan	Memory Architecture Exploration Framework for Cache Based Embedded SOC.	VLSI Design	2008	DBLP DOI BibTeX RDF
18	John Langford 0001, Alexander L. Strehl, Jennifer Wortman	Exploration scavenging.	ICML	2008	DBLP DOI BibTeX RDF
18	Tatiana Evreinova, Leena K. Vesterinen, Grigori E. Evreinov, Roope Raisamo	Exploration of directional-predictive sounds for nonvisual interaction with graphs.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Haptic-auditory interaction, Nonvisual interaction, Directional-predictive sounds, Exploratory behavioral patterns, Graph access, coordination, Sonification, Cross-modal
18	Maxim A. Batalin, Gaurav S. Sukhatme	The Design and Analysis of an Efficient Local Algorithm for Coverage and Exploration Based on Sensor Network Deployment.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
18	Lazaros Papadopoulos, Christos Baloukas, Dimitrios Soudris, Konstantinos Potamianos, Nikolaos S. Voros	Data Structure Exploration of Dynamic Applications.	PACT	2007	DBLP DOI BibTeX RDF
18	Lazaros Papadopoulos, Christos Baloukas, Nikolaos Zompakis, Dimitrios Soudris	Systematic Data Structure Exploration of Multimedia and Network Applications realized Embedded Systems.	ICSAMOS	2007	DBLP DOI BibTeX RDF
18	Marco Morales 0001, Roger A. Pearce, Nancy M. Amato	Analysis of the Evolution of C-Space Models built through Incremental Exploration.	ICRA	2007	DBLP DOI BibTeX RDF
18	Vittorio A. Ziparo, Alexander Kleiner, Bernhard Nebel, Daniele Nardi	RFID-Based Exploration for Large Robot Teams.	ICRA	2007	DBLP DOI BibTeX RDF
18	Amnon Ta-Shma, Uri Zwick	Deterministic rendezvous, treasure hunts and strongly universal exploration sequences.	SODA	2007	DBLP BibTeX RDF
18	Charles Thangaraj, Tom Chen 0001	Power andPerformance Analysis for Early Design Space Exploration.	ISVLSI	2007	DBLP DOI BibTeX RDF	Power-performance tradeoff, What-if analysis
18	Ioannis M. Rekleitis, Jean-Luc Bedwani, Erick Dupuis	Over-the-horizon, autonomous navigation for planetary exploration.	IROS	2007	DBLP DOI BibTeX RDF
18	Martin Holzer 0002, Bastian Knerr, Markus Rupp	Design Space Exploration with Evolutionary Multi-Objective Optimisation.	SIES	2007	DBLP DOI BibTeX RDF
18	Ioannis M. Rekleitis, Jean-Luc Bedwani, Sebastien Gemme, Tom Lamarche, Erick Dupuis	Terrain Modelling for Planetary Exploration.	CRV	2007	DBLP DOI BibTeX RDF
18	Takashi Kinoshima, Kazutaka Kobayashi, Nurul Azma Zakaria, Masahiro Kimura, Noriko Matsumoto, Norihiko Yoshida	Communication Model Exploration for Distributed Embedded Systems and System Level Interpretations.	EUC Workshops	2007	DBLP DOI BibTeX RDF	Event-Triggered Communication, Time-Triggered Communication, Stepwise Refinement Design, Model-Driven Architecture, Distributed Embedded Systems
18	Antonino Fiannaca, Giuseppe Di Fatta, Riccardo Rizzo, Alfonso Urso, Salvatore Gaglio	Fast Training of Self Organizing Maps for the Visual Exploration of Molecular Compounds.	IJCNN	2007	DBLP DOI BibTeX RDF
18	Leszek Gasieniec, Ralf Klasing, Russell A. Martin, Alfredo Navarra, Xiaohui Zhang 0004	Fast Periodic Graph Exploration with Constant Memory.	SIROCCO	2007	DBLP DOI BibTeX RDF
18	Karla Parussel, Lola Cañamero	Biasing Neural Networks Towards Exploration or Exploitation Using Neuromodulation.	ICANN (2)	2007	DBLP DOI BibTeX RDF
18	Andreas Krause 0001, Carlos Guestrin	Nonmyopic active learning of Gaussian processes: an exploration-exploitation approach.	ICML	2007	DBLP DOI BibTeX RDF
18	Haitao Zhang, Arie E. Kaufman	Interactive Point-based Isosurface Exploration and High-quality Rendering.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	point-based visualization, hardware acceleration, Isosurface, isosurface extraction, GPU acceleration
18	Christian Genz, Rolf Drechsler	System Exploration of SystemC Designs.	ISVLSI	2006	DBLP DOI BibTeX RDF
18	Zhe Ma, Francky Catthoor	Scalable performance-energy trade-off exploration of embedded real-time systems on multiprocessor platforms.	DATE	2006	DBLP DOI BibTeX RDF
18	Alexandros Bartzas, Stylianos Mamagkakis, Georgios Pouiklis, David Atienza, Francky Catthoor, Dimitrios Soudris, Antonios Thanailakis	Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications.	DATE	2006	DBLP DOI BibTeX RDF
18	Rabie Ben Atitallah, Smaïl Niar, Alain Greiner, Samy Meftali, Jean-Luc Dekeyser	Estimating Energy Consumption for an MPSoC Architectural Exploration.	ARCS	2006	DBLP DOI BibTeX RDF
18	Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc	Tree Exploration with an Oracle.	MFCS	2006	DBLP DOI BibTeX RDF
18	Mohamed Fayez, Dayana Cope, Assem Kaylani, Mike Callinan, Edgar Zapata, Mansooreh Mollaghasemi	Earth to orbit logistics and supply chain modeling and simulation for NASA exploration systems.	WSC	2006	DBLP DOI BibTeX RDF
18	Bita Gorjiara, Mehrdad Reshadi, Pramod Chandraiah, Daniel Gajski	Generic netlist representation for system and PE level design exploration.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	GNR, NISC, modeling, synthesis, system design, architecture description language, application-specific processor
18	Bangyong Liang, Jie Tang 0001, Juan-Zi Li, Kehong Wang	SWARMS: A New Tool for Domain Exploration in Semantic Web.	SKG	2006	DBLP DOI BibTeX RDF
18	Isabelle Devarenne, Hakim Mabed, Alexandre Caminada	Intelligent Neighborhood Exploration in Local Search Heuristics.	ICTAI	2006	DBLP DOI BibTeX RDF
18	Madalina Hodorog, Adrian Craciun	Scheme-Based Systematic Exploration of Natural Numbers.	SYNASC	2006	DBLP DOI BibTeX RDF
18	Liran Goshen, Ilan Shimshoni	Balanced Exploration and Exploitation Model Search for Efficient Epipolar Geometry Estimation.	ECCV (2)	2006	DBLP DOI BibTeX RDF
18	Reuven Cohen, Pierre Fraigniaud, David Ilcinkas, Amos Korman, David Peleg	Label-Guided Graph Exploration by a Finite Automaton.	ICALP	2005	DBLP DOI BibTeX RDF
18	Runhe Huang, Hiroshi Ouchiyama, Jianhua Ma 0002	EEERB: An Experience and Environment Based Evolutionary Rule Base for Simulated Exploration Robots.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
18	Mongkol Ekpanyapong, Chinnakrishnan S. Ballapuram, Sung Kyu Lim, Hsien-Hsin S. Lee	Wire-driven microarchitectural design space exploration.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
18	James Bickford, Sean George, John Manobianco, Mark Adams, Donna Manobianco	Large Scale Deployment and Operation of Distributed Sensor Assets Optimized for Robust Mars Exploration.	Evolvable Hardware	2005	DBLP DOI BibTeX RDF
18	Laurentiu Nicolae, Ed F. Deprettere	Constraints Derivation and Propagation for Large-Scale Embedded Systems Exploration.	SAMOS	2004	DBLP DOI BibTeX RDF
18	Giuseppe Oriolo, Marilena Vendittelli, Luigi Freda, Giulio Troso	The SRT Method: Randomized Strategies for Exploration.	ICRA	2004	DBLP DOI BibTeX RDF
18	Florent Lamiraux, Etienne Ferre, Erwan Vallee	Kinodynamic Motion Planning: Connecting Exploration Trees using Trajectory Optimization Methods.	ICRA	2004	DBLP DOI BibTeX RDF
18	Lars Michael Kristensen, Laure Petrucci	An Approach to Distributed State Space Exploration for Coloured Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
18	Roger Endrigo Carvalho Porto, Luciano Volcan Agostini	Project Space Exploration on the 2-D DCT Architecture of a JPEG Compressor Directed to FPGA Implementation.	DATE	2004	DBLP DOI BibTeX RDF
18	Nikhil Bansal 0003, Sumit Gupta, Nikil D. Dutt, Alexandru Nicolau, Rajesh Gupta 0001	Network Topology Exploration of Mesh-Based Coarse-Grain Reconfigurable Architectures.	DATE	2004	DBLP DOI BibTeX RDF
18	Manuel Montes-y-Gómez, Manuel Alberto Pérez-Coutiño, Luis Villaseñor Pineda, Aurelio López-López	Contextual Exploration of Text Collections.	CICLing	2004	DBLP DOI BibTeX RDF	automatic text processing, metadata and information visualization, information retrieval, text mining, hypertext
18	Qingwei Wu, Michael S. Hsiao	Efficient ATPG for Design Validation Based On Partitioned State Exploration Histories.	VTS	2004	DBLP DOI BibTeX RDF
18	Luís Macedo, Amílcar Cardoso	Exploration of Unknown Environments with Motivational Agents.	AAMAS	2004	DBLP DOI BibTeX RDF
18	Arie Gurfinkel, Marsha Chechik, Benet Devereux	Temporal Logic Query Checking: A Tool for Model Exploration.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic
18	Gianluca Palermo, Cristina Silvano, Vittorio Zaccaria	A Flexible Framework for Fast Multi-objective Design Space Exploration of Embedded Systems.	PATMOS	2003	DBLP DOI BibTeX RDF
18	Armin Wellig, Julien Zory	Framed Complexity Analysis in SystemC for Multi-level Design Space Exploration.	DSD	2003	DBLP DOI BibTeX RDF
18	Marc Lettrari	Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems.	FME	2003	DBLP DOI BibTeX RDF	UML, abstractions, heuristic search, symbolic execution
18	Azeddien M. Sllame	Design Space Exploration Methodology for High-Performance System-on-a-Chip Hardware Cores.	IWSOC	2003	DBLP DOI BibTeX RDF
18	Anders Dessmark, Andrzej Pelc	Optimal Graph Exploration without Good Maps.	ESA	2002	DBLP DOI BibTeX RDF
18	Mariana Ciucu, Patrick Héas, Mihai Datcu, James C. Tilton	Scale Space Exploration for Mining Image Information Content.	Revised Papers from MDM/KDD and PAKDD/KDMCD	2002	DBLP DOI BibTeX RDF
18	Jiawei Han 0001, Jianyong Wang 0001, Guozhu Dong, Jian Pei, Ke Wang 0001	CubeExplorer: online exploration of data cubes.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF
18	Jaewon Seo, Taewhan Kim	Memory exploration utilizing scheduling effects in high-level synthesis.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
18	Wolfram Burgard, Mark Moors, Frank E. Schneider	Collaborative Exploration of Unknown Environments with Teams of Mobile Robots.	Advances in Plan-Based Control of Robotic Agents	2001	DBLP DOI BibTeX RDF
18	Christian A. Duncan, Stephen G. Kobourov, V. S. Anil Kumar 0001	Optimal constrained graph exploration.	SODA	2001	DBLP BibTeX RDF
18	Martin V. Butz	Biasing Exploration in an Anticipatory Learning Classifier System.	IWLCS	2001	DBLP DOI BibTeX RDF
18	Prabhat Mishra 0001, Peter Grun, Nikil D. Dutt, Alexandru Nicolau	Processor-Memory Co-Exploration driven by a Memory-Aware Architecture Description Language.	VLSI Design	2001	DBLP DOI BibTeX RDF
18	Gunnar Jansson, Anna Ivås	Can the Efficiency of a Haptic Display Be Increased by Short-Time Practice in Exploration?	Haptic Human-Computer Interaction	2000	DBLP DOI BibTeX RDF
18	Joachim Gerlach, Wolfgang Rosenstiel	A Methodology and Tool for Automated Transformational High-Level Design Space Exploration.	ICCD	2000	DBLP DOI BibTeX RDF
18	Meenakshi Kaul, Ranga Vemuri	Temporal Partitioning combined with Design Space Exploration for Latency Minimization of Run-Time Reconfigured Designs.	DATE	1999	DBLP DOI BibTeX RDF
18	Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare, Nikil D. Dutt, Alexandru Nicolau	EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability.	DATE	1999	DBLP DOI BibTeX RDF
18	Asheesh Khare, Nicolae Savoiu, Ashok Halambi, Peter Grun, Nikil D. Dutt, Alexandru Nicolau	V-SAT: A Visual Specification and Analysis Tool for System-On-Chip Exploration.	EUROMICRO	1999	DBLP DOI BibTeX RDF
18	Yuval Shahar, Cleve Cheng	Intelligent Visualization and Exploration of Time-Oriented Clinical Data.	HICSS	1999	DBLP DOI BibTeX RDF
18	Ole Bentz, Jan M. Rabaey, David Lidsky	A Dynamic Design Estimation and Exploration Environment.	DAC	1997	DBLP DOI BibTeX RDF
18	Jörg Wilberg, A. Kuth, Raul Camposano, Wolfgang Rosenstiel, Heinrich Theodor Vierhaus	A Design Exploration Environment.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF
17	Robyn R. Lutz	Software Engineering for Space Exploration.	Computer	2011	DBLP DOI BibTeX RDF	Robotic spacecraft, Space exploration, Software engineering, Reliability, Design tools and techniques
17	David Abramson 0001, Blair Bethwaite, Colin Enticott, Slavisa Garic, Tom Peachey	Parameter Exploration in Science and Engineering Using Many-Task Computing.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	parameter exploration, Scientific workflows, many-task computing, Kepler
17	Tripti Saxena, Gabor Karsai	A Meta-Framework for Design Space Exploration.	ECBS	2011	DBLP DOI BibTeX RDF	design space exploration, constraint programming, model based design
17	Hun Jung, Miao Ju, Hao Che	A Theoretical Framework for Design Space Exploration of Manycore Processors.	MASCOTS	2011	DBLP DOI BibTeX RDF	CMP, multicore, design space exploration, queuing network, manycore