Search results for "Exploration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Gregg Podnar, John M. Dolan, Alberto Elfes, Marcel Bergerman, H. Benjamin Brown, Alan D. Guisewite	Human telesupervision of a fleet of autonomous robots for safe and efficient space exploration.	HRI	2006	DBLP DOI BibTeX RDF	field deployment, robot supervision architecture, technology readiness, telepresence, teleoperation, autonomous navigation
14	Christos Dimitrakakis	Nearly Optimal Exploration-Exploitation Decision Thresholds.	ICANN (1)	2006	DBLP DOI BibTeX RDF
14	Yuxin Mao, Zhaohui Wu 0001, Huajun Chen, Xiaoqing Zheng	Concept Map Model for Web Ontology Exploration.	APWeb	2006	DBLP DOI BibTeX RDF
14	Shuang Hao, Ting Wang	Sensor Networks Routing via Bayesian Exploration.	LCN	2006	DBLP DOI BibTeX RDF
14	Hsiu Fen Tsai, Bao Rong Chang	Intelligence-Based Model to Timing Problem of Resources Exploration in the Behavior of Firm.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
14	Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi	A multiobjective genetic approach for system-level exploration in parameterized systems-on-a-chip.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
14	Jan G. Bazan, Marcin S. Szczuka	The Rough Set Exploration System.	Trans. Rough Sets	2005	DBLP DOI BibTeX RDF
14	Thomas Takeo Osugi, Kun Deng, Stephen Scott 0001	Balancing Exploration and Exploitation: A New Algorithm for Active Machine Learning.	ICDM	2005	DBLP DOI BibTeX RDF
14	Nishant K. Mehta, Elke A. Rundensteiner, Matthew O. Ward	A Hierarchy Navigation Framework: Supporting Scalable Interactive Exploration over Large Databases.	IDEAS	2005	DBLP DOI BibTeX RDF
14	Gennady L. Andrienko, Natalia V. Andrienko	Visual Exploration of the Spatial Distribution of Temporal Behaviors.	IV	2005	DBLP DOI BibTeX RDF	spatial time-series analysis, dynamic and coordinated data displays, data visualization, visual data mining
14	Mario Schölzel, Peter Bachmann	DESCOMP: A New Design Space Exploration Approach.	ARCS	2005	DBLP DOI BibTeX RDF
14	Lukai Cai, Andreas Gerstlauer, Daniel Gajski	Multi-metric and multi-entity characterization of applications for early system design exploration.	ASP-DAC	2005	DBLP DOI BibTeX RDF
14	Qiang Wu, Jinian Bian, Hongxi Xue	System-level architectural exploration using allocation-on-demand technique.	ASP-DAC	2005	DBLP DOI BibTeX RDF
14	Charles A. Lakos, Lars Michael Kristensen	State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method.	ATVA	2005	DBLP DOI BibTeX RDF
14	Kerstin Schill, Christoph Zetzsche, Thusitha Parakrama	A Hybrid Architecture for the Sensorimotor Exploration of Spatial Scenes.	WILF	2005	DBLP DOI BibTeX RDF
14	Uta Priss, L. John Old	Conceptual Exploration of Semantic Mirrors.	ICFCA	2005	DBLP DOI BibTeX RDF
14	Andrew J. Hanson, Hui Zhang 0006	Multimodal Exploration of the Fourth Dimension.	IEEE Visualization	2005	DBLP DOI BibTeX RDF
14	Davide Dente, Enzo Pasquale Scilingo, Nicola Sgambelluri, Antonio Bicchi	Does Active Exploration Suppress Tactile Flow Perception?	WHC	2005	DBLP DOI BibTeX RDF
14	Michael Schukat, Declan O'Beirne	Collaborative Exploration for a Group of Self-Interested Robots.	CRV	2005	DBLP DOI BibTeX RDF
14	Clifton Forlines, Chia Shen	DTLens: multi-user tabletop spatial data exploration.	UIST	2005	DBLP DOI BibTeX RDF	Fisheye visualization, GeoSpatial visualization, multi-user input, tabletop computing
14	David A. Maluf, Yuri Gawdiak, David G. Bell	On Space Exploration And Human Error - A Paper on Reliability and Safety.	HICSS	2005	DBLP DOI BibTeX RDF
14	Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes	Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.	QSIC	2005	DBLP DOI BibTeX RDF
14	Michael Huth 0001	Mathematics for the exploration of requirements.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	under-specification, model checking, requirements, pragmatics
14	Florin Balasa, Sarat C. Maruvada, Karthik Krishnamoorthy	On the exploration of the solution space in analog placement with symmetry constraints.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
14	Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey	Asteroid Exploration with Autonomic Systems.	ECBS	2004	DBLP DOI BibTeX RDF	asteroid, spacecraft, Agent, autonomy, autonomic
14	Minas Dasygenis, Erik Brockmeyer, Bart Durinck, Francky Catthoor, Dimitrios Soudris, Antonios Thanailakis	Power, Performance and Area Exploration for Data Memory Assignment of Multimedia Applications.	SAMOS	2004	DBLP DOI BibTeX RDF
14	Shingo Shimoda, Andreas Wingert, Kei Takahashi, Takashi Kubota, Ichiro Nakatani	Hopping Direction Controllability for Small Body Exploration Robot.	ICRA	2004	DBLP DOI BibTeX RDF
14	Liying Su, Yueqing Yu, Min Tan, Guo-Ping Liu 0003	Environment Exploration using a Navigation Algorithm based on Virtual Centrifugal Force.	ICRA	2004	DBLP DOI BibTeX RDF
14	Ashley W. Stroupe, Ramprasad Ravichandran, Tucker R. Balch	Value-based Action Selection for Exploration and Dynamic Target Observation with Robot Teams.	ICRA	2004	DBLP DOI BibTeX RDF
14	Michael Suppa, Pengpeng Wang, Kamal Gupta 0001, Gerd Hirzinger	C-space Exploration using Noisy Sensor Models.	ICRA	2004	DBLP DOI BibTeX RDF
14	Gianluca Palermo, Cristina Silvano	PIRATE: A Framework for Power/Performance Exploration of Network-on-Chip Architectures.	PATMOS	2004	DBLP DOI BibTeX RDF
14	Akshay Sharma, Katherine Compton, Carl Ebeling, Scott Hauck	Exploration of pipelined FPGA interconnect structures.	FPGA	2004	DBLP DOI BibTeX RDF	PipeRoute, pipelined FPGA, pipelined interconnect, registered routing, architecture explorations
14	Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli	A Methodology for System-Level Analog Design Space Exploration.	DATE	2004	DBLP DOI BibTeX RDF
14	Oliver Schliebusch, Anupam Chattopadhyay, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Mario Steinert, Gunnar Braun, Achim Nohl	RTL Processor Synthesis for Architecture Exploration and Implementation.	DATE	2004	DBLP DOI BibTeX RDF
14	Hye-On Jang, Minsoo Kang, Myeong-jin Lee, Kwanyeob Chae, Kookpyo Lee, Kyuhyun Shim	High-Level System Modeling and Architecture Exploration with SystemC on a Network SoC: S3C2510 Case Study.	DATE	2004	DBLP DOI BibTeX RDF
14	Víctor Reyes, Tomás Bautista, Gustavo Marrero Callicó, Pedro P. Carballo, Wido Kruijtzer	CASSE: A System-Level Modeling and Design-Space Exploration Tool for Multiprocessor Systems-on-Chip.	DSD	2004	DBLP DOI BibTeX RDF
14	Abdelwahab Hamou-Lhadj, Timothy Lethbridge, Lianjiang Fu	Challenges and Requirements for an Effective Trace Exploration Tool.	IWPC	2004	DBLP DOI BibTeX RDF
14	Hanno Scharwächter, David Kammler, Andreas Wieferink, Manuel Hohenauer, Kingshuk Karuri, Jianjiang Ceng, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	ASIP Architecture Exploration for Efficient Ipsec Encryption: A Case Study.	SCOPES	2004	DBLP DOI BibTeX RDF
14	William J. Clancey	Opportunities for Model-Based Learning Systems in the Human Exploration of Space.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
14	Claudiu Zissulescu, Bart Kienhuis, Ed F. Deprettere	Increasing Pipelined IP Core Utilization in Process Networks Using Exploration.	FPL	2004	DBLP DOI BibTeX RDF
14	Pierre Fraigniaud, David Ilcinkas, Guy Peer, Andrzej Pelc, David Peleg	Graph Exploration by a Finite Automaton.	MFCS	2004	DBLP DOI BibTeX RDF
14	Paul Mulholland, Zdenek Zdráhal, Trevor D. Collins	Supporting the Exploration and Use of Heritage Stories.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
14	Thomas Gerbaud, Vladimir Polotski, Paul Cohen 0001	Simultaneous exploration and 3D mapping of unstructured environments.	SMC (6)	2004	DBLP DOI BibTeX RDF
14	Hyeong Soo Chang	An ant system based exploration-exploitation for reinforcement learning.	SMC (4)	2004	DBLP DOI BibTeX RDF
14	Guido Stehr, Helmut E. Graeb, Kurt Antreich	Analog performance space exploration by Fourier-Motzkin elimination with application to hierarchical sizing.	ICCAD	2004	DBLP DOI BibTeX RDF
14	Fabrizio Ferrandi, Pier Luca Lanzi, Donatella Sciuto	System Level Hardware-Software Design Exploration with XCS.	GECCO (2)	2004	DBLP DOI BibTeX RDF
14	Arne Hamann, Marek Jersak, Kai Richter 0001, Rolf Ernst	Design Space Exploration and System Optimization with SymTA/S-Symbolic Timing Analysis for Systems.	RTSS	2004	DBLP DOI BibTeX RDF
14	Björn Vormbrock	A First Step towards Protoconcept Exploration.	ICFCA	2004	DBLP DOI BibTeX RDF
14	Chandrajit L. Bajaj, Peter Djeu, Vinay Siddavanahalli, Anthony Thane	TexMol: Interactive Visual Exploration of Large Flexible Multi-Component Molecular Complexes.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	texture-based rendering, imposter rendering, synchronous view, computer graphics, volume rendering, image-based rendering, level-of-detail, hierarchy, multiresolution, programmable graphics hardware, molecular visualization
14	Luís Macedo, Amílcar Cardoso	Using CBR in the Exploration of Unknown Environments with an Autonomous Agent.	ECCBR	2004	DBLP DOI BibTeX RDF
14	Azeddien M. Sllame	A Model for a Reusable System-on-a-Chip Hardware Component Integrated with Design Exploration Methodology.	IWSOC	2004	DBLP DOI BibTeX RDF
14	Alessio Bechini, Pierfrancesco Foglia, Cosimo Antonio Prete	Fine-grain design space exploration for a cartographic SoC multiprocessor.	SIGARCH Comput. Archit. News	2003	DBLP DOI BibTeX RDF	SoC Multiprocessors, performance evaluation, embedded systems, trace-driven simulation, multiprocessor architecture
14	George Hadjiyiannis, Srinivas Devadas	Techniques for accurate performance evaluation in architecture exploration.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
14	Nathan Clark, Hongtao Zhong, Wilkin Tang, Scott A. Mahlke	Automatic Design of Application Specific Instruction Set Extensions Through Dataflow Graph Exploration.	Int. J. Parallel Program.	2003	DBLP DOI BibTeX RDF	hardware customization, embedded system, instruction set, application-specific processor, dataflow graph
14	Daniel S. Katz, Raphael R. Some	NASA Advances Robotic Space Exploration.	Computer	2003	DBLP DOI BibTeX RDF
14	Tanja Van Achteren, Francky Catthoor, Rudy Lauwereins, Geert Deconinck	Search space definition and exploration for nonuniform data reuse opportunities in data-dominant applications.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	Memory hierarchy, power consumption, data reuse
14	Daxin Jiang, Jian Pei, Aidong Zhang	Towards interactive exploration of gene expression patterns.	SIGKDD Explor.	2003	DBLP DOI BibTeX RDF
14	Maxim A. Batalin, Gaurav S. Sukhatme	Coverage, Exploration, and Deployment by a Mobile Robot and Communication Network.	IPSN	2003	DBLP DOI BibTeX RDF
14	Hua Tang, Hui Zhang 0057, Alex Doboli	Layout-Aware Analog System Synthesis Based on Symbolic Layout Description and Combined Block Parameter Exploration, Placement and Global Routing.	ISVLSI	2003	DBLP DOI BibTeX RDF
14	Sébastien Bilavarn, Guy Gogniat, Jean Luc Philippe	An estimation and exploration methodology from system-level specifications: application to FPGAs.	FPGA	2003	DBLP DOI BibTeX RDF
14	Silvia Brini, Doha Benjelloun, Fabien Castanier	A Flexible Virtual Platform for Computational and Communication Architecture Exploration of DMT VDSL Modems.	DATE	2003	DBLP DOI BibTeX RDF
14	Vladimir D. Zivkovic, Erwin A. de Kock, Pieter van der Wolf, Ed F. Deprettere	Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs.	DATE	2003	DBLP DOI BibTeX RDF
14	Gunnar Braun, Andreas Wieferink, Oliver Schliebusch, Rainer Leupers, Heinrich Meyr, Achim Nohl	Processor/Memory Co-Exploration on Multiple Abstraction Levels.	DATE	2003	DBLP DOI BibTeX RDF
14	Lilian Bossuet, Guy Gogniat, Jean Luc Philippe	Communication Costs Driven Design Space Exploration for Reconfigurable Architectures.	FPL	2003	DBLP DOI BibTeX RDF
14	Daxin Jiang, Jian Pei, Aidong Zhang	Interactive exploration of coherent patterns in time-series gene expression data.	KDD	2003	DBLP DOI BibTeX RDF	coherent patterns, bioinformatics, gene expression data
14	Lilian Bossuet, Wayne P. Burleson, Guy Gogniat, Vikas Anand, Andrew Laffely, Jean Luc Philippe	Targeting Tiled Architectures in Design Exploration.	IPDPS	2003	DBLP DOI BibTeX RDF
14	Paul Mulholland, Zdenek Zdráhal	Knowledge Support for Story Construction, Exploration and Personalisation in Cultural Heritage Forums.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
14	Pierre Gérard, Olivier Sigaud	Designing Efficient Exploration with MACS: Modules and Function Approximation.	GECCO	2003	DBLP DOI BibTeX RDF
14	Achim Nohl, Volker Greive, Gunnar Braun, Andreas Hoffmann 0002, Rainer Leupers, Oliver Schliebusch, Heinrich Meyr	Instruction encoding synthesis for architecture exploration using hierarchical processor models.	DAC	2003	DBLP DOI BibTeX RDF	instruction set architectures, instruction encoding
14	Sumit Mohanty, Viktor K. Prasanna, Sandeep Neema, James R. Davis	Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	multi-granular simulation, symbolic search, modeling, binary decision diagram, performance estimation, design space, model integrated computing
14	Peter Grun, Nikil D. Dutt, Alexandru Nicolau	Memory System Connectivity Exploration.	DATE	2002	DBLP DOI BibTeX RDF
14	Tanja Van Achteren, Geert Deconinck, Francky Catthoor, Rudy Lauwereins	Data Reuse Exploration Techniques for Loop-Dominated Application.	DATE	2002	DBLP DOI BibTeX RDF
14	Hiromi T. Tanaka, Kiyotaka Kushihama	Haptic Vision - Vision-Based Haptic Exploration.	ICPR (2)	2002	DBLP DOI BibTeX RDF
14	Lars Michael Kristensen, Thomas Mailund	A Compositional Sweep-Line State Space Exploration Method.	FORTE	2002	DBLP DOI BibTeX RDF
14	Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger	Symbolic Methods for the State Space Exploration of GSPN Models.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
14	Peeter Ellervee, Miguel Miranda, Francky Catthoor, Ahmed Hemani	System-level data-format exploration for dynamically allocated datastructures.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
14	Sudhir Kaushik, Elke A. Rundensteiner	SEE: A Spatial Exploration Environment Based on a Direct-Manipulation Paradigm.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	spatial visual query language, spatial trend discovery, multidimensional range queries, Direct-manipulation
14	Stephan Diehl 0001, Andreas Kerren	Levels of exploration.	SIGCSE	2001	DBLP DOI BibTeX RDF
14	Robert M. Edsall, Alan M. MacEachren, Linda Pickle	Case Study: Design and Assessment of an Enhanced Geographic Information System for Exploration of Multivariate Health Statistics.	INFOVIS	2001	DBLP DOI BibTeX RDF	multivariate statistical visualization, health statistics, geographic visualization
14	Søren Christensen, Lars Michael Kristensen, Thomas Mailund	A Sweep-Line Method for State Space Exploration.	TACAS	2001	DBLP DOI BibTeX RDF
14	William Fornaciari, Donatella Sciuto, Cristina Silvano, Vittorio Zaccaria	Fast system-level exploration of memory architectures driven by energy-delay metrics.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
14	Karl Czajkowski, Alper K. Demir, Carl Kesselman, Marcus Thiébaux	Practical Resource Management for Grid-Based Visual Exploration.	HPDC	2001	DBLP DOI BibTeX RDF
14	Meenakshi Kaul, Ranga Vemuri	Design-Space Exploration for Block-Processing Based Temporal Partitioning of Run-Time Reconfigurable Systems.	J. VLSI Signal Process.	2000	DBLP DOI BibTeX RDF
14	Reiner W. Hartenstein, Thomas Hoffmann 0001, Ulrich Nageldinger	Design-Space Exploration of Low Power Coarse Grained Reconfigurable Datapath Array Architectures.	PATMOS	2000	DBLP DOI BibTeX RDF
14	Jun'ichi Tatemura	Graphical Relevance Feedback: Visual Exploration in the Document Space.	VL	2000	DBLP DOI BibTeX RDF
14	Gerben J. Hekstra, G. D. La Hei, Peter Bingley, Frans Sijstermans	TriMedia CPU64 Design Space Exploration.	ICCD	1999	DBLP DOI BibTeX RDF
14	Nagu R. Dhanwada, Adrián Núñez-Aldana, Ranga Vemuri	A genetic approach to simultaneous parameter space exploration and constraint transformation in analog synthesis.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
14	Francky Catthoor, Martin Janssen, Lode Nachtergaele, Hugo De Man	System-Level Data-Flow Transformation Exploration and Power-Area Trade-offs Demonstrated on Video Codecs.	J. VLSI Signal Process.	1998	DBLP DOI BibTeX RDF
14	Joachim Gerlach, Wolfgang Rosenstiel	A Scalable Methodology for Cost Estimation in a Transformational High-Level Design Space Exploration Environment.	DATE	1998	DBLP DOI BibTeX RDF
14	Sudhir Kaushik, Elke A. Rundensteiner	SVIQUEL: A Spatial Visual Query and Exploration Language.	DEXA	1998	DBLP DOI BibTeX RDF
14	Krzysztof Bilinski, Erik L. Dagless	Efficient Approach to Symbolic State Exploration of Complex Parallel Controllers.	ACSD	1998	DBLP DOI BibTeX RDF
14	Julio Leao da Silva Jr., Francky Catthoor, Diederik Verkest, Hugo De Man	Power exploration for dynamic data types through virtual memory management refinement.	ISLPED	1998	DBLP DOI BibTeX RDF
14	Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani	Symbolic Exploration of transition Hierarchies.	TACAS	1998	DBLP DOI BibTeX RDF
14	Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Miguel Miranda, Kris Croes, Sven Wuytack, Gjalt G. de Jong, Francky Catthoor, Diederik Verkest, Paul Six, Hugo De Man	Efficient System Exploration and Synthesis of Applications with Dynamic Data Storage and Intensive Data Transfer.	DAC	1998	DBLP DOI BibTeX RDF	technology mapping, programmable logic devices, PLA-style logic blocks
14	Sunita Sarawagi, Rakesh Agrawal 0001, Nimrod Megiddo	Discovery-Driven Exploration of OLAP Data Cubes.	EDBT	1998	DBLP DOI BibTeX RDF
14	Samit Chaudhuri, S. A. Blthye, Robert A. Walker 0001	A solution methodology for exact design space exploration in a three-dimensional design space.	IEEE Trans. Very Large Scale Integr. Syst.	1997	DBLP DOI BibTeX RDF
14	Thucydides Xanthopoulos, Yoshifumi Yaoi, Anantha P. Chandrakasan	Architectural Exploration Using Verilog-Based Power Estimation: A Case Study of the IDCT.	DAC	1997	DBLP DOI BibTeX RDF
14	Alessandro Balboni, William Fornaciari, Donatella Sciuto	Partitioning and Exploration Strategies in the TOSCA Co-Design Flow.	CODES	1996	DBLP DOI BibTeX RDF
14	Éric Marchand, François Chaumette	Controlled camera motions for scene reconstruction and exploration.	CVPR	1996	DBLP DOI BibTeX RDF
14	Bernard Cousin, Jean-Michel Hélary	Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions.	CAV	1994	DBLP DOI BibTeX RDF