Search results for "REFINE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Robert H. Dolin, Stanley M. Huff, Roberto A. Rocha, Kent A. Spackman, Keith E. Campbell	Research Paper: Evaluation of a "Lexically Assign, Logically Refine" Strategy for Semi-automated Integration of Overlapping Terminologies.	J. Am. Medical Informatics Assoc.	1998	DBLP DOI BibTeX RDF
17	Philipp A. Heuberger	Two Strategies to Data-Refine an Equivalence to a Forest.	B	1998	DBLP DOI BibTeX RDF
17	David W. Opitz, Mark W. Craven, Jude W. Shavlik	Using neural networks to automatically refine expert system knowledge bases: experiments in the NYNEX MAX domain.	ICNN	1997	DBLP DOI BibTeX RDF
17	David Pautler, Steven Woods, Alex Quilici	Exploiting Domain-Specific Knowledge to Refine Simulation Specifications.	ASE	1997	DBLP DOI BibTeX RDF	high-level simulation specification refinement, simulated combat training, tank platoon members, network-based combat simulator, nonlinear planning, branching factor, constraint satisfaction, digital simulation, executable specification, domain-specific knowledge
17	David B. Leake	Experience, introspection and expertise: Learning to refine the case-based reasoning process.	J. Exp. Theor. Artif. Intell.	1996	DBLP DOI BibTeX RDF
17	Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman	Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
17	Suchendra M. Bhandarkar, Hamid R. Arabnia	The REFINE Multiprocessor - Theoretical Properties and Algorithms.	Parallel Comput.	1995	DBLP DOI BibTeX RDF
17	Susan Fox, David B. Leake	Learning to Refine Indexing by Introspective Reasoning.	ICCBR	1995	DBLP DOI BibTeX RDF
17	Susan Fox, David B. Leake	Using Introspective Reasoning to Refine Indexing.	IJCAI	1995	DBLP BibTeX RDF
17	Wai Lam, Fahiem Bacchus	Using New Data to Refine a Bayesian Network.	UAI	1994	DBLP BibTeX RDF
17	Santanu Paul, Atul Prakash 0001	Object data models to support source code queries: implementing SCA within REFINE.	WPC	1994	DBLP DOI BibTeX RDF
17	Catherine Baudin, Barney Pell, Smadar Kedar	Using Induction to Refine Information Retrieval Strategies.	AAAI	1994	DBLP BibTeX RDF
17	C. Safinia, Régis Leveugle, Gabriele Saucier	Taking Advantage of High Level Functional Information to Refine Timing Analysis and Timing Modeling.	EDAC-ETC-EUROASIC	1994	DBLP DOI BibTeX RDF
17	Gordon Kotik, Lawrence Markosian	Application of REFINE Language ToolsTM to Software Quality Assurance.	KBSE	1994	DBLP DOI BibTeX RDF
17	David W. Opitz, Jude W. Shavlik	Using Genetic Search to Refine Knowledge-based Neural Networks.	ICML	1994	DBLP DOI BibTeX RDF
17	Paul A. Bailes, Murray Chapman, Ming Gong, Ian Peake	GRIT-an extended REFINE for more executable specifications.	KBSE	1993	DBLP DOI BibTeX RDF
17	J. Christian Wild, Steven J. Zeil, Gao Feng, Ji Chen	Employing Accumulated Knowledge to Refine Test Descriptions.	Softw. Test. Verification Reliab.	1992	DBLP DOI BibTeX RDF
17	Michael Magee, William A. Hoff, Lance Gatrell, Cheryl Weber-Sklair, William J. Wolfe	Employing sensor repositioning to refine spatial reasoning in an industrial robotic environment.	Appl. Intell.	1991	DBLP DOI BibTeX RDF
17	Michèle Sebag, Marc Schoenauer	Using Examples to Refine a Redundant Knowledge Base.	EUROVAV	1991	DBLP BibTeX RDF
17	Lynne Marie Davis	Usability Tests Refine Requirements (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
17	Peter Politakis, Sholom M. Weiss	Using Empirical Analysis to Refine Expert System Knowledge Bases.	Artif. Intell.	1984	DBLP DOI BibTeX RDF
17	Edward J. Lusk	Isolating periodicities to refine the organization's control system: an analysis of four methods.	Inf. Manag.	1980	DBLP DOI BibTeX RDF
12	Ashish Kapoor, Bongshin Lee, Desney S. Tan, Eric Horvitz	Interactive optimization for steering machine classification.	CHI	2010	DBLP DOI BibTeX RDF	interactive machine learning, visualization, decision theory, interactive optimization
12	Fatih Kursat Ozenc, Miso Kim, John Zimmerman, Stephen Oney, Brad A. Myers	How to support designers in getting hold of the immaterial material of software.	CHI	2010	DBLP DOI BibTeX RDF	communication, tools, design process, interactive controls
12	Johannes Magenheim, Wolfgang Nelles, Thomas Rhode, Niclas Schaper	Towards a Methodical Approach for an Empirically Proofed Competency Model.	ISSEP	2010	DBLP DOI BibTeX RDF	Research in Informatics Education, Qualitative Content Analysis, Empirical Methods, Curriculum Issues, Communication Skills, Educational Standards, Competency Model
12	Daniele Riboni	Towards the Combination of Statistical and Symbolic Techniques for Activity Recognition.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
12	Minyoung Song, Chris Quintana	WIIS: multimodal simulation for exploring the world beyond visual sense.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	multimodal representations, simulations, learning technologies
12	Seshan Srirangarajan, Ahmed H. Tewfik, Zhi-Quan Luo	Distributed sensor network localization using SOCP relaxation.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
12	Muga Nishizawa, Shigeru Chiba	A small extension to Java for class refinement.	SAC	2008	DBLP DOI BibTeX RDF	class refinement, java, programming transformation
12	Shen Yang, Yue Qi, Fei Hou, Xukun Shen, Qinping Zhao	A novel method based on color information for scanned data alignment.	VRST	2008	DBLP DOI BibTeX RDF	coarse registration, multi-view registration, 3D scanning, automatic registration
12	Songhao Zhu, Yuncai Liu	Image annotation refinement using semantic similarity correlation.	ICPR	2008	DBLP DOI BibTeX RDF
12	Jun'ichi Tatemura, Songting Chen, Fenglin Liao, Oliver Po, K. Selçuk Candan, Divyakant Agrawal	UQBE: uncertain query by example for web service mashup.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	uncertain query, web service, data integration, query by example, lineage
12	Ryo Okamoto, Akihiro Kashihara	Facilitating Presentation Rehearsal Review with Realtime-Created Hypervideo Technique.	ICALT	2008	DBLP DOI BibTeX RDF
12	Min Ding 0005, Kristian Lyngbaek, Avideh Zakhor	Automatic registration of aerial imagery with untextured 3D LiDAR models.	CVPR	2008	DBLP DOI BibTeX RDF
12	Chongsheng Zhang, Zhongbo Wu, Bo Qu, Hong Chen 0001, Xing Hao	On Efficient Processing of Multiple KNN Queries in Constrained Spatial Networks.	FSKD (4)	2008	DBLP DOI BibTeX RDF
12	Walter Dosch	Coordinating Almost Synchronous Communication Streams.	ICONS	2008	DBLP DOI BibTeX RDF	almost synchronous stream, input/output behaviour, history abstraction, Coordination, transformation, functional modeling, state transition machine
12	Darina Kyselovà, Didier Dubois, Magda Komorníková, Radko Mesiar	Refining Aggregation Operator-Based Orderings in Multifactorial Evaluation - Part I: Continuous Scales.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
12	Cheng-Yuan Lin, Jyh-Shing Roger Jang	Automatic Phonetic Segmentation by Score Predictive Model for the Corpora of Mandarin Singing Voices.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
12	Reza Sherkat, Davood Rafiei	On MBR Approximation of Histories for Historical Queries: Expectations and Limitations.	ICDE	2007	DBLP DOI BibTeX RDF
12	Daniel Kroening, Natasha Sharygina	Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.	DATE	2007	DBLP DOI BibTeX RDF
12	Hui Song, Yanchun Sun, Li Zhou, Gang Huang 0001	Towards Instant Automatic Model Refinement Based on OCL.	APSEC	2007	DBLP DOI BibTeX RDF
12	Anthony Hunter	Elements of Argumentation.	ECSQARU	2007	DBLP DOI BibTeX RDF
12	Zheng-Jun Zha, Tao Mei 0001, Xian-Sheng Hua 0001, Guo-Jun Qi, Zengfu Wang	Refining video annotation by exploiting pairwise concurrent relation.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	pairwise concurrent relation, video annotation
12	Jiang Hu, Andi Winterboer, Clifford Nass, Johanna D. Moore, Rebecca Illowsky	Context & usability testing: user-modeled information presentation in easy and difficult driving conditions.	CHI	2007	DBLP DOI BibTeX RDF	user modeling, usability testing, context of use, driving simulator, spoken dialogue system, information presentation
12	Andi Winterboer, Johanna D. Moore	Evaluating information presentation strategies for spoken recommendations.	RecSys	2007	DBLP DOI BibTeX RDF	user modeling, spoken dialogue systems, information presentation
12	Krishnendu Chatterjee, Thomas A. Henzinger	Assume-Guarantee Synthesis.	TACAS	2007	DBLP DOI BibTeX RDF
12	Milos Radovanovic, Mirjana Ivanovic	CatS: A Classification-Powered Meta-Search Engine.	Advances in Web Intelligence and Data Mining	2006	DBLP DOI BibTeX RDF
12	Jun Liu, Roger J. Hubbold	Mesh Optimisation Using Edge Information in Feature-Based Surface Reconstruction.	ISVC (1)	2006	DBLP DOI BibTeX RDF
12	Changhu Wang, Feng Jing, Lei Zhang 0001, HongJiang Zhang	Image annotation refinement using random walk with restarts.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	image annotation refinement, random walk with restarts
12	Catriona M. Kennedy, Georgios Theodoropoulos 0001	Intelligent Management of Data Driven Simulations to Support Model Building in the Social Sciences.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
12	Margaret A. Wojcicki, Paul A. Strooper	A state-of-practice questionnaire on verification and validation for concurrent programs.	PADTAD	2006	DBLP DOI BibTeX RDF	validation technologies, verification, concurrency, survey
12	Chadd C. Williams, Jeffrey K. Hollingsworth	Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	version control, Testing tools, debugging aids, configuration control
12	Ruixuan Wang, Wee Kheng Leow	Human body posture refinement by nonparametric belief propagation.	ICIP (3)	2005	DBLP DOI BibTeX RDF
12	Xia Sun, Qinghua Zheng	An approach to acquire semantic relationships between terms.	SAC	2005	DBLP DOI BibTeX RDF	ambiguous linguistic patterns, unambiguous linguistic patterns, semantic relationships
12	Halit Ergezer, Kemal Leblebicioglu 0001	Refining the Progressive Multiple Sequence Alignment Score Using Genetic Algorithms.	TAINN	2005	DBLP DOI BibTeX RDF
12	Mohamad Ivan Fanany, Itsuo Kumazawa, Kiichi Kobayashi	A neural network scheme for transparent surface modelling.	GRAPHITE	2005	DBLP DOI BibTeX RDF	neural network, 3D modeling, transparent surface
12	Ganeshkumar Ganapathy, Barbara Goodson, Robert K. Jansen, Vijaya Ramachandran, Tandy J. Warnow	Pattern Identification in Biogeography.	WABI	2005	DBLP DOI BibTeX RDF
12	Zhuan Qing Huang, Zhuhan Jiang	Tracking Camouflaged Objects with Weighted Region Consolidation.	DICTA	2005	DBLP DOI BibTeX RDF
12	Hui-Min Yan, Tao Qin 0001, Tie-Yan Liu, Xu-Dong Zhang 0001, Guang Feng, Wei-Ying Ma	Calculating Webpage Importance with Site Structure Constraints.	AIRS	2005	DBLP DOI BibTeX RDF
12	Shuguang Su, Shengsheng Yu, Jingli Zhou	An improved Basic-Unit Layer Rate-Control Scheme on H.264.	PDCAT	2005	DBLP DOI BibTeX RDF
12	Cagkan Erbas, Simon Polstra, Andy D. Pimentel	IDF Models for Trace Transformations: A Case Study in Computational Refinement.	SAMOS	2004	DBLP DOI BibTeX RDF
12	Raul Silaghi	Refining designs along middleware-specific concern-dimensions at different MDA-levels of abstraction.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	middleware concerns, AOP, MDA, model transformations, aspectJ, UML profiles, eclipse plug-ins, parallax, enterprise fondue
12	Raul Silaghi	Refining designs along middleware-specific concern-dimensions at different MDA-levels of abstraction.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	middleware concerns, AOP, MDA, model transformations, aspectJ, UML profiles, eclipse plug-ins, parallax, enterprise fondue
12	Eric Pacuit, Rohit Parikh	The Logic of Communication Graphs.	DALT	2004	DBLP DOI BibTeX RDF
12	Robert W. Lindeman, Robert C. Page, Yasuyuki Yanagida, John L. Sibert	Towards full-body haptic feedback: the design and deployment of a spatialized vibrotactile feedback system.	VRST	2004	DBLP DOI BibTeX RDF	CQB, full-body, virtual reality, haptic feedback
12	Ling Shao 0001, Michael Brady 0001	Three-Dimensional Mass Reconstruction in Mammography.	ECCV Workshops CVAMIA and MMBIA	2004	DBLP DOI BibTeX RDF
12	Freddy Y. C. Mang, Pei-Hsin Ho	Abstraction refinement by controllability and cooperativeness analysis.	DAC	2004	DBLP DOI BibTeX RDF	formal verification, controllability, cooperativeness, abstraction refinement
12	Angela F. Freitas, Carla Nascimento, Ana Cavalcanti 0001	A Refinement Tool for Z.	ICFEM	2003	DBLP DOI BibTeX RDF	ZRC, program development, calculation
12	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre	Software Verification with BLAST.	SPIN	2003	DBLP DOI BibTeX RDF
12	David G. Stork, Rob J. van Glabbeek	Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow.	ICATPN	2002	DBLP DOI BibTeX RDF
12	Kalyani K. Manchi, Xindong Wu 0001	Dynamic Refinement of Classification Rules.	ICTAI	2002	DBLP DOI BibTeX RDF
12	Ling-Ling Yan, Renée J. Miller, Laura M. Haas, Ronald Fagin	Data-Driven Understanding and Refinement of Schema Mappings.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
12	Benjamin C. Pierce, Jerome Vouillon	Unison: A File Synchronizer and Its Specification.	TACS	2001	DBLP DOI BibTeX RDF
12	Chin-Chih Chang, Jason Cong	An efficient approach to multilayer layer assignment with anapplication to via minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
12	Robert Mandelbaum, Garbis Salgian, Harpreet S. Sawhney	Correlation-based Estimation of Ego-Motion and Structure from Motion and Stereo.	ICCV	1999	DBLP DOI BibTeX RDF	multi-baseline, structure, stereo, multi-resolution, shape recovery, ego-motion
12	Michael Imhoff, Ursula Gather, Katharina Morik	Development of Decision Support Algorithms for Intensive Care Medicine: A New Approach Combining Time Series Analysis and a Knowledge Base System with Learning and Revision Capabilities.	KI	1999	DBLP DOI BibTeX RDF
12	Hamza Zidoum, Pierre Flener, Brahim Hnich	Schema-Guided Synthesis of CLP Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF
12	Ronen Feldman, Willi Klösgen, Amir Zilberstein	Document Explorer: Discovering Knowledge in Document Collections.	ISMIS	1997	DBLP DOI BibTeX RDF
12	Edmond Mesrobian, Richard R. Muntz, Eddie C. Shek, Silvia Nittel, Mark La Rouche, Marc Kriguer, Carlos R. Mechoso, John D. Farrara, Paul E. Stolorz, Hisashi Nakamura	Mining Geophysical Data for Knowledge.	IEEE Expert	1996	DBLP DOI BibTeX RDF
12	Michael Seibert, Allen M. Waxman	Adaptive 3-D Object Recognition from Multiple Views.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	3D object adaptive recognition, 3D appearance modelling, exploratory view sequences, aspect-transition matrices, clustering, pattern recognition, pattern recognition, segmentation, picture processing, adaptive systems
12	Sylvie Damy, Guy-René Perrin	A Refinement of Communicating Processes.	PARLE	1992	DBLP DOI BibTeX RDF
12	John L. Gustafson	Reevaluating Amdahl's Law.	Commun. ACM	1988	DBLP DOI BibTeX RDF
6	Jack Snoeyink, Vishal Verma	Fitting spheres to electron density.	SCG	2011	DBLP DOI BibTeX RDF
6	Stephanie Rosenthal, Anind K. Dey	Towards maximizing the accuracy of human-labeled sensor data.	IUI	2010	DBLP DOI BibTeX RDF	labeling sensor data, active learning
6	Evandro Manara Miletto, Marcelo Soares Pimenta, Jean-Paul Sansonnet, François Bouchet	Social music making on the web with CODES.	SAC	2010	DBLP DOI BibTeX RDF	cooperative musical prototyping, ordinary users, web
6	Alexander Kotov 0001, ChengXiang Zhai	Towards natural question guided search.	WWW	2010	DBLP DOI BibTeX RDF	query processing, interactive search, search interface
6	Takehiro Yamamoto, Satoshi Nakamura 0002, Katsumi Tanaka	RerankEverything: a reranking interface for browsing search results.	WWW	2010	DBLP DOI BibTeX RDF	wrapper generation, reranking, search user interfaces
6	Hamid R. Motahari Nezhad, Guang Yuan Xu, Boualem Benatallah	Protocol-aware matching of web service interfaces for adapter development.	WWW	2010	DBLP DOI BibTeX RDF	web services, adaptation, business process
6	Changhu Wang, Zhiwei Li 0006, Lei Zhang 0001	MindFinder: image search by interactive sketching and tagging.	WWW	2010	DBLP DOI BibTeX RDF	MindFinder, tagging, sketching, interactive search
6	Ananda Gunawardena, Aaron Tan, David Kaufer	Encouraging reading and collaboration using classroom salon.	ITiCSE	2010	DBLP DOI BibTeX RDF	data structures, annotations, reading comprehension
6	Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li 0008, Bin Wu 0001	Mining program workflow from interleaved traces.	KDD	2010	DBLP DOI BibTeX RDF	graphical behavior models, temporal properties, workflow mining
6	Ravi Kumar 0001, Mohammad Mahdian, Mary McGlohon	Dynamics of conversations.	KDD	2010	DBLP DOI BibTeX RDF	human response, groups, threads, conversations, graph models, Twitter, usenet
6	Massimo Zancanaro, Eynat Gal, Sarah Parsons, Patrice L. (Tamar) Weiss, Nirit Bauminger, Sue Cobb	Teaching social competence: in search of design patterns.	IDC	2010	DBLP DOI BibTeX RDF	collaborative virtual reality, shared active surface, social competence training, autism, scenario-based design
6	Luciano Barbosa, Hoa Nguyen, Thanh Hoang Nguyen, Ramesh Pinnamaneni, Juliana Freire	Creating and exploring web form repositories.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	search engines, focused crawling, hidden web, web forms, learning classifiers
6	Feng Zhao 0009, Gautam Das 0001, Kian-Lee Tan, Anthony K. H. Tung	Call to order: a hierarchical browsing approach to eliciting users' preference.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	visualization, sampling, skyline query, preference query
6	Yurong He, Chen Zhao, Pamela J. Hinds	Understanding information sharing from a cross-cultural perspective.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	culture, information sharing, online
6	Miqing Li, Jinhua Zheng, Ruimin Shen, Ke Li 0001, Qizhao Yuan	A grid-based fitness strategy for evolutionary many-objective optimization.	GECCO	2010	DBLP DOI BibTeX RDF	fitness assignment, grid, multiobjective optimization, many-objective optimization
6	Núria Macià, Albert Orriols-Puig, Ester Bernadó-Mansilla	In search of targeted-complexity problems.	GECCO	2010	DBLP DOI BibTeX RDF	artificial data sets, evolutionary multiobjective optimization, data complexity
6	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
6	Wengang Zhou, Qi Tian 0001, Linjun Yang, Houqiang Li	Latent visual context analysis for image re-ranking.	CIVR	2010	DBLP DOI BibTeX RDF	image re-ranking, visual context, visual link graph, latent semantic analysis