Search results for "well-defined"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Wuu Yang	A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	noncircular attribute grammars, ordered attribute grammars, pure multivisit attribute grammars, simple multivisit attribute grammars, well-defined attribute grammars, grammar classification, attribute grammars
33	Timo Niemi, Kalervo Järvelin	Prolog-Based Meta-Rules For Relational Database Representation and Manipulation.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	Prolog-based meta-rules, relational database representation, Prolog-based experimental system, well-defined environment, relational databases, knowledge based systems, PROLOG, query optimization, database theory, deductive databases, deductive databases, database design, theoretical foundations, data restructuring
33	Andy Schürr, Andreas J. Winter 0001, Albert Zündorf	Visual Programming with Graph Rewriting Systems.	VL	1995	DBLP DOI BibTeX RDF	multiparadigm language, PROGRES, rule-oriented visual language, well-defined type, visual database programming language, replacing facilities, language-specific tools, user interfaces, specification, logic programming, debugging, software tools, C, programming environments, pattern matching, specification languages, rapid prototyping, browsing, visual programming, visual programming, visual languages, abstract data types, graph grammars, backtracking, Modula-2, rewriting systems, editing, software engineering environments, logic programming languages, graph rewriting systems, Tcl/Tk
31	Antonio Elias Fabris, Marcos Machado Ottani Assis, A. Robin Forrest	Parallelization of Filling Algorithms on Distributed Memory Machines using the Point Containment Paradigm.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	filling algorithm parallelization, point containment paradigm, point containment predicate, mathematically well-defined object, point-driven algorithms, parallel configurations, point-driven algorithm, standard uniprocessor software implementation, interactive editing, parallel algorithms, computer graphics, distributed memory machines
31	Harry M. Sneed	Program Interface Reengineering for Wrapping.	WCRE	1997	DBLP DOI BibTeX RDF	program interface reengineering, program wrapping, old software component encapsulation, new object-oriented architecture, well defined interfaces, global data, ATM booking system, reusable objects, maintainable programs, systems re-engineering
31	Kees A. Vissers	Trade-offs in the design of mixed hardware-software systems-a perspective from industry.	CODES	1997	DBLP DOI BibTeX RDF	consumer electronics devices, dedicated components, end-user applications, hardware interface, hardware-software systems design, on-screen display, programmable components, well defined interfaces, embedded systems, software architecture, operating system, high level synthesis, application programming interfaces, device drivers, television, software interfaces, industry perspective, hardware platform
31	Peter S. Magnusson, Bengt Werner	Efficient memory simulation in SimICS.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	efficient memory simulation, SimICS, instruction level simulator, complex memory hierarchies, user level code, system level code, software caching mechanism, Simulator Translation Cache, STC, interpreted memory operations, complex memory simulation code, lazy storage allocation, well defined internal interface, generic memory simulation, user extensions, threaded code, runtime selection, statistics gathering, memory profiling, data structures, data structures, virtual machines, multiprocessors, storage management, storage allocation
31	Louis M. Taff, James W. Borchering, W. Richard Hudgins Jr.	Estimeetings: Development Estimates and a Front-End Process For a Large Project.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	estimeeting methodology, large software-intensive project, front-end process, domestic US 5ESS Switch project, feature team, feature definition, high-level functionality requirements, high-level design proposal, formal working meeting, development estimate, well-defined milestones, working relationships, interorganizational synergy, software engineering, human factors, telecommunications computing, DP management, personnel, high-level designs, project engineering, software development effort
29	Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel, Reinhard German	Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	well-specified, well-defined, Markov processes, Stochastic Petri nets, stochastic activity networks
24	Nguyen-Thinh Le, Frank Loll, Niels Pinkwart	Operationalizing the Continuum between Well-Defined and Ill-Defined Problems for Educational Technology.	IEEE Trans. Learn. Technol.	2013	DBLP DOI BibTeX RDF
24	Benjamin S. Goldberg, Robert A. Sottilare, Keith W. Brawner, Heather K. Holden	Predicting Learner Engagement during Well-Defined and Ill-Defined Computer-Based Intercultural Interactions.	ACII (1)	2011	DBLP DOI BibTeX RDF
24	Rinat Khoussainov	Towards Well-Defined Multi-agent Reinforcement Learning.	AIMSA	2004	DBLP DOI BibTeX RDF
23	Rodney Farrow	Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
19	Rosario Mita, Gaetano Palumbo, Salvatore Pennisi	Well-defined design procedure for a three-stage CMOS OTA.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
17	Xiaxia Guan, Xian'an Jin, Tianlong Ma	The interior and exterior polynomials are well-defined.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
17	Jeffrey A. Mudrock	A short proof that the list packing number of any graph is well defined.	Discret. Math.	2023	DBLP DOI BibTeX RDF
17	Jannik Dunkelau, Michael Leuschel	Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method.	iFM	2023	DBLP DOI BibTeX RDF
17	Sanghwan Jang	Tag Embedding and Well-defined Intermediate Representation improve Auto-Formulation of Problem Description.	CoRR	2022	DBLP DOI BibTeX RDF
17	Anna Kusior	Voltammetric Detection of Glucose - The Electrochemical Behavior of the Copper Oxide Materials with Well-Defined Facets.	Sensors	2022	DBLP DOI BibTeX RDF
17	Brad Spendlove, Dan Ventura	Competitive Language Games as Creative Tasks with Well-Defined Goals.	ICCC	2022	DBLP BibTeX RDF
17	Guanting Su, Tianyu Pan, Mengzong Zheng, Qiushi Li	A well-defined grid line-based immersed boundary method for efficient and accurate simulations of incompressible flow.	Comput. Math. Appl.	2021	DBLP DOI BibTeX RDF
17	Niko Brümmer	How to use KL-divergence to construct conjugate priors, with well-defined non-informative limits, for the multivariate Gaussian.	CoRR	2021	DBLP BibTeX RDF
17	Damiano Azzolini, Fabrizio Riguzzi	Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs.	ICLP Technical Communications	2021	DBLP DOI BibTeX RDF
17	Lukas Vierus, Thomas Schuster	Well-defined forward operators in dynamic diffractive tensor tomography using viscosity solutions of transport equations.	CoRR	2021	DBLP BibTeX RDF
17	Juan Aparicio, Magdalena Kapelko, Juan F. Monge	A Well-Defined Composite Indicator: An Application to Corporate Social Responsibility.	J. Optim. Theory Appl.	2020	DBLP DOI BibTeX RDF
17	Carlos Hurtado, Guillermo Licea, Mario García Valdez, Angeles Quezada, Manuel Castañón-Puga	Teaching Computer Programming as Well-Defined Domain for Beginners with Protoboard.	WorldCIST (2)	2020	DBLP DOI BibTeX RDF
17	Dag Schmidtke	Scaling up automatic translation for software: reduction of post-editing volume with well-defined customer impact.	AMTA (2)	2020	DBLP BibTeX RDF
17	Ye Zhu 0002, Kai Ming Ting	Improving Stochastic Neighbour Embedding fundamentally with a well-defined data-dependent kernel.	CoRR	2019	DBLP BibTeX RDF
17	Justyna Szerement, Aleksandra Woszczyk, Agnieszka Szyplowska, Marcin Kafarski, Arkadiusz Lewandowski, Andrzej Wilczek, Wojciech Skierucha	A Seven-Rod Dielectric Sensor for Determination of Soil Moisture in Well-Defined Sample Volumes.	Sensors	2019	DBLP DOI BibTeX RDF
17	Yann Thanwerdas, Xavier Pennec	Is Affine-Invariance Well Defined on SPD Matrices? A Principled Continuum of Metrics.	GSI	2019	DBLP DOI BibTeX RDF
17	Billy E. Geerhart, Venkat R. Dasari	Well defined quantum key distribution using calibration, synchronization, and a programmable quantum channel.	CoRR	2018	DBLP BibTeX RDF
17	Sakshi Takkar, Aman Singh, Babita Pandey	Application of Machine Learning Algorithms to a Well Defined Clinical Problem: Liver Disease.	Int. J. E Health Medical Commun.	2017	DBLP DOI BibTeX RDF
17	Barbara Robbertse, Pooja K. Strope, Priscila Chaverri, Romina Gazis, Stacy Ciufo, Michael Domrachev, Conrad L. Schoch	Improving taxonomic accuracy for fungi in public sequence databases: applying 'one name one species' in well-defined genera with Trichoderma/Hypocrea as a test case.	Database J. Biol. Databases Curation	2017	DBLP DOI BibTeX RDF
17	Fouad B. Chedid	A Variation of Levin Search for All Well-Defined Problems.	CoRR	2017	DBLP BibTeX RDF
17	Andrea Calanca, Paolo Fiorini	Impedance control of series elastic actuators based on well-defined force dynamics.	Robotics Auton. Syst.	2017	DBLP DOI BibTeX RDF
17	Moshe Goldstein, David Dayan, Max Rabin, Devora Berlowitz, Or Berlowitz, Raphael B. Yehezkael	Design principles of an embedded language (EFL) enabling well defined order-independent execution.	ECBS	2017	DBLP DOI BibTeX RDF
17	Katsuko S. Furukawa, Chang Ho Seo, Heonuk Jeong, Kevin Montagne, Takashi Ushida	The topographical switching of focal adhesion maturation sites and actin filament activation on the well-defined grid micropatterns.	MHS	2017	DBLP DOI BibTeX RDF
17	Kashif Mahfooz, Mahendra Singh, Robert Renden, John F. Wesseling	A Well-Defined Readily Releasable Pool with Fixed Capacity for Storing Vesicles at Calyx of Held.	PLoS Comput. Biol.	2016	DBLP DOI BibTeX RDF
17	Anne Lejeune, Viviane Guéraud, Nadine Mandran	Improving Usage of Learning Designs by Teachers: A Set of Concepts for Well-Defined Problem Resolution.	EC-TEL	2016	DBLP DOI BibTeX RDF
17	Holly Miller, Catherine Hoang, Nathan Stocks, Timothy Williams, Mary Ferramosca, Paloma L. Hawry	The Importance of Well-Defined Mapping Heuristics for Mapping Quality.	AMIA	2016	DBLP BibTeX RDF
17	Raphael B. Yehezkael, Moshe Goldstein, David Dayan, Shimon Mizrahi	Flexible Algorithms: Enabling Well-Defined Order-Independent Execution with an Imperative Programming Style.	ECBS-EERC	2015	DBLP DOI BibTeX RDF
17	Shigeru Kusakabe, Yoichi Omori, Keijiro Araki	Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods.	FMSEE&T@FM	2015	DBLP BibTeX RDF
17	Fabrizio Riguzzi	The Distribution Semantics is Well-Defined for All Normal Programs.	PLP@ICLP	2015	DBLP BibTeX RDF
17	Elodie Fourquet	Algorithmic Thinking: Program that Solve Well-defined Visual Problems (Abstract Only).	SIGCSE	2015	DBLP DOI BibTeX RDF
17	Rainer Schmidberger	Well-Defined Coverage Metrics for the Glass Box Test.	ICTSS	2014	DBLP DOI BibTeX RDF
17	Juan Aparicio, Jesús T. Pastor	A well-defined efficiency measure for dealing with closest targets in DEA.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
17	Jan Van den Bussche, Stijn Vansummeren	Well-Defined NRC Queries Can Be Typed - (Extended Abstract).	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
17	Manuel Holtgrewe, Anne-Katrin Emde, David Weese, Knut Reinert	A Novel And Well-Defined Benchmarking Method For Second Generation Read Mapping.	BMC Bioinform.	2011	DBLP DOI BibTeX RDF
17	Jason B. Nikas, Walter C. Low	Application of clustering analyses to the diagnosis of Huntington disease in mice and other diseases with well-defined group boundaries.	Comput. Methods Programs Biomed.	2011	DBLP DOI BibTeX RDF
17	Marc Schaaf, Arne Koschel, Stella Gatziu Grivas	Event Processing in the Cloud Environment with Well Defined Semantics.	CLOSER	2011	DBLP BibTeX RDF
17	Muhammad Javed, Bashir Ahmad 0001, Shahid Hussain 0001, Shakeel Ahmad	Mapping The Best Practices of XP and Project Management: Well defined approach for Project Manager	CoRR	2010	DBLP BibTeX RDF
17	Jing-Shin Chang, Shu-Fan Shih	An Automatic Query Augmentation Model for Answering Well-Defined Questions in Top-1 Search Result.	ROCLING	2010	DBLP BibTeX RDF
17	Jure Leskovec, Kevin J. Lang, Anirban Dasgupta 0001, Michael W. Mahoney	Community Structure in Large Networks: Natural Cluster Sizes and the Absence of Large Well-Defined Clusters.	Internet Math.	2009	DBLP DOI BibTeX RDF
17	Chih Chin Yang, Yan Kuin Su	Well-defined electrical properties of high-strain resonant interband tunneling structure.	Microelectron. J.	2008	DBLP DOI BibTeX RDF
17	Jure Leskovec, Kevin J. Lang, Anirban Dasgupta 0001, Michael W. Mahoney	Community Structure in Large Networks: Natural Cluster Sizes and the Absence of Large Well-Defined Clusters	CoRR	2008	DBLP BibTeX RDF
17	Nadia Yacoubi Ayadi, Zoé Lacroix, Maria-Esther Vidal	A Deductive Approach for Resource Interoperability and Well-Defined Workflows.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Scientific protocol, Ontology, Web services, Semantic Web, Workflow, Integration, Bioinformatics, Service composition, Mediation
17	Eugene P. Ryan, Eduardo D. Sontag	Well-defined steady-state response does not imply CICS.	Syst. Control. Lett.	2006	DBLP DOI BibTeX RDF
17	Rawshan H. Basha	Using well defined tokens in similarity function for record matching in data cleaning techniques.	IADIS AC	2005	DBLP BibTeX RDF
17	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001, David Sanán	Model checking software with well-defined APIs: the socket case.	FMICS	2005	DBLP DOI BibTeX RDF
17	Kenneth P. Smith, Sushil Jajodia, Vipin Swarup, Jeffrey Hoyt, Gail Hamilton, Donald B. Faatz, Todd Cornett	Enabling the sharing of neuroimaging data through well-defined intermediate levels of visibility.	NeuroImage	2004	DBLP DOI BibTeX RDF
17	Zhan Xu, Ezz I. El-Masry	Synthesis of log-domain filter with well-defined operating point.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
17	Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro	Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	priorities, conflict, Stochastic Petri nets, modeling methodology, confusion
17	Akhilesh Bajaj, Sudha Ram	SEAM: A State-Entity-Activity-Model for a Well-Defined Workflow Development Methodology.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	relational databases, requirements engineering, process modeling, data modeling, workflow systems, temporal models
17	Marcus Hutter	The Fastest and Shortest Algorithm for All Well-Defined Problems	CoRR	2002	DBLP BibTeX RDF
17	Marcus Hutter	The Fastest and Shortest Algorithm for all Well-Defined Problems.	Int. J. Found. Comput. Sci.	2002	DBLP DOI BibTeX RDF
17	S. G. Fountoukis, M. P. Bekakos	Well defined generative lexicon with grammatical order versus text tagging.	HERCMA	2001	DBLP BibTeX RDF
17	Qiao Lin, Joel W. Burdick	On Well-Defined Kinematic Metric Functions.	ICRA	2000	DBLP DOI BibTeX RDF
17	Andrew E. Smith	Machine Learning of Well-defined Thesaurus Concepts.	PRICAI Workshop on Text and Web Mining	2000	DBLP BibTeX RDF
17	Osman Balci, William F. Ormsby	Well-defined intended uses: an explicit requirement for accreditation of modeling and simulation applications.	WSC	2000	DBLP DOI BibTeX RDF
17	Argiris J. Dentsoras	A selective, multiple-criteria method for handling constraint violations in well-defined design problems.	Artif. Intell. Eng. Des. Anal. Manuf.	1999	DBLP BibTeX RDF
17	M. Fry, Hadar Ziv	A Well-Defined Process for Requirements-Based Software Development.	IIA/SOCO	1999	DBLP BibTeX RDF
17	Patrick Behm, Lilian Burdy, Jean-Marc Meynadier	Well Defined B.	B	1998	DBLP DOI BibTeX RDF
17	Gianfranco Ciardo, Robert Zijal	Well-Defined Stochastic Petri Nets.	MASCOTS	1996	DBLP DOI BibTeX RDF
17	Esko Turunen	Well-Defined Fuzzy Sentential Logic.	Math. Log. Q.	1995	DBLP DOI BibTeX RDF
17	S. Röll, Axel Haase, Markus von Kienlin	Fast Generation of Leakproof Surfaces from Well-Defined Objects by a Modified Marching Cubes Algorithm.	Comput. Graph. Forum	1995	DBLP DOI BibTeX RDF
17	Hassane Allouche, Annie A. M. Cuyt	Well-defined determinant representations for non-normal multivariate rational interpolants.	Numer. Algorithms	1994	DBLP DOI BibTeX RDF
17	Warren Harrison	Towards Well-Defined, Shareable Product Data.	Experimental Software Engineering Issues	1992	DBLP DOI BibTeX RDF
17	Do Y. Lee, Jai-Yong Lee	A Well-Defined Estelle Specification for the Automatic Test Generation.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF
17	Radovan Martinovic, Dejan E. Lazic, Peter Nitezki	Control of an Autonomous Mobile Robot based on Well Defined Position in Space.	IAS	1989	DBLP BibTeX RDF
17	David A. Bonyun	The Role of a Well Defined Auditing Process in the Enforcement of Privacy Policy and Data Security.	S&P	1981	DBLP DOI BibTeX RDF
15	Jessie Chin, Wai-Tat Fu, Thomas George Kannampallil	Adaptive information search: age-dependent interactions between cognitive profiles and strategies.	CHI	2009	DBLP DOI BibTeX RDF	ill-defined task, web search, cost-benefit analysis, search strategies, cognitive abilities, age differences, health literacy
14	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
12	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
10	W. Edward Hammond	Patient management systems: the early years.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
10	Vincent Lin	A Proposal for Calling Conventions for APL Defined Functions.	APL	1996	DBLP DOI BibTeX RDF	APL
10	Roman Gumzej, Wolfgang A. Halang	A safety shell for UML-RT projects structure and methods of the corresponding UML pattern.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Safety shell, Real time, Pattern, Safety, UML-RT
10	Lester O. Lobo, James D. Arthur	An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities.	SEW	2005	DBLP DOI BibTeX RDF
9	Christophe Dony	An Object-Oriented Exception Handling System for an Object-Oriented Language.	ECOOP	1988	DBLP DOI BibTeX RDF	Fault-tolerant encapsulations, Resumption model, Object-oriented programming, Exception handling, Debugging environments
9	Robert P. Biuk-Aghai, Igor T. Hawryszkiewycz	Analysis of Virtual Workspaces.	DANTE	1999	DBLP DOI BibTeX RDF	emergent process support, virtual workspace, cooperation pattern, workspace analysis, Computer-supported cooperative work
9	Chris Tomlinson, Won Kim 0001, Mark Scheevel, Vineet Singh, Becky Will, Gul Agha	Rosette: An object-oriented concurrent systems architecture.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
8	André Vital Saúde	New Higher-Resolution Discrete Euclidean Medial Axis in nD with Linear Time Parallel Algorithm.	SIBGRAPI	2008	DBLP DOI BibTeX RDF
8	Shyam Antony, Divyakant Agrawal, Amr El Abbadi	P2P systems with transactional semantics.	EDBT	2008	DBLP DOI BibTeX RDF
8	Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson	MDA-Based Re-engineering with Object-Z.	MoDELS	2006	DBLP DOI BibTeX RDF
7	Andreas Werner	A Semantic Approach to Order-Sorted Rewriting.	RTA	1993	DBLP DOI BibTeX RDF
7	Jiong Yu, Guozhong Tian, Yuanda Cao, Xianhe Sun	Towards Resource Reliability Support for Grid Workflows.	NPC	2008	DBLP DOI BibTeX RDF	Resource Reliability, Scheduling Algorithm, Grid Workflow
7	David H. White 0001, Richard C. Wilson 0001	Spectral Generative Models for Graphs.	ICIAP	2007	DBLP DOI BibTeX RDF
7	Fen Lin, Lirong Qiu, He Huang, Qing Yu, Zhongzhi Shi	Description Logic Based Composition of Web Services.	PRIMA	2006	DBLP DOI BibTeX RDF	Semantic Web Services(SWS), Web Services Composition (WSC), Description Logic(DL)
7	Kyung-Lang Park, Chang-Soon Kim, Chang-Duk Kang, Shin-Dug Kim	A Programmable Context Interface to Build a Context Infrastructure for Worldwide Smart Applications.	EUC	2005	DBLP DOI BibTeX RDF
7	Ryutarou Ohbuchi, Masatoshi Nakazawa, Tsuyoshi Takei	Retrieving 3D shapes based on their appearance.	Multimedia Information Retrieval	2003	DBLP DOI BibTeX RDF	polygon soup, shape similarity search, geometric modeling, polygonal mesh, depth map, three-dimensional models
7	Marian Bubak, Wlodzimierz Funika, Roland Wismüller, Tomasz Arodz, Marcin Kurdziel	The G-PM Tool for Grid-Oriented Performance Analysis.	European Across Grids Conference	2003	DBLP DOI BibTeX RDF	performance, Grid, monitoring, tools, interactive applications