Search results for "Imprecision"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Eduardo Fernández 0002, Jorge Navarro 0001	A Genetic Search for Exploiting a Fuzzy Preference Model of Portfolio Problems with Public Projects.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	public projects, portfolio problem, multicriteria decision, evolutionary algorithm, fuzzy sets
10	Vesper Owei	An intelligent approach to handling imperfect information in concept-based natural language queries.	ACM Trans. Inf. Syst.	2002	DBLP DOI BibTeX RDF	ambiguous query, anaphoric query, concept-based query, conceptual query language, elliptical query, imperfect queries, inexplicit query, missing information, natural language query, semantically mismatched query, incomplete information, inconsistency, natural language interface
10	Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel	Test Case Prioritization: A Family of Empirical Studies.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	empirical studies, regression testing, Test case prioritization
10	Dennis K. Peters, David Lorge Parnas	Requirements-Based Monitors for Real-Time Systems.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	real-time system, Automated testing, test oracle, supervisor
10	Nicolae Varachiu, Cynthia Karanicolas, Mihaela Ulieru	Computational Intelligence for Medical Knowledge Acquisition with Application to Glaucoma.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	fuzzy logic, prediction, knowledge discovery, Computational intelligence, risk evaluation, glaucoma
10	Simon N. Foley	Supporting Imprecise Delegation in KeyNote.	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
10	Isabela Drummond, Lluís Godo, Sandra A. Sandri	Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations.	SBIA	2002	DBLP DOI BibTeX RDF	similarity, inconsistency, fuzzy rule-based systems, gradual rules
10	Poika Isokoski, Mika Käki	Comparison of two touchpad-based methods for numeric entry.	CHI	2002	DBLP DOI BibTeX RDF	clock metaphor, stylus overhead, mobile devices, writing
10	Sally I. McClean, Bryan W. Scotney, Fiona Palmer	Temporal Probabilistic Concepts from Heterogeneous Data Sequences.	Soft-Ware	2002	DBLP DOI BibTeX RDF
10	Katrin Franke, Javier Ruiz-del-Solar	Soft-Biometrics: Soft-Computing Technologies for Biometric-Applications.	AFSS	2002	DBLP DOI BibTeX RDF
10	Z. Zenn Bien, Jung-Bae Kim, Dae-Jin Kim, Jeong-Su Han, Jun-Hyeong Do	Soft Computing Based Emotion/Intention Reading for Service Robot.	AFSS	2002	DBLP DOI BibTeX RDF
10	C. V. Jawahar, P. J. Narayanan	Towards Fuzzy Calibration.	AFSS	2002	DBLP DOI BibTeX RDF
10	Dorin Bogdan Petriu, C. Murray Woodside	Analysing software requirements specifications for performance.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	performance, specifications, completion, nonfunctional requirements, use case maps
10	Ana L. Milanova, Atanas Rountev, Barbara G. Ryder	Constructing Precise Object Relation Diagrams.	ICSM	2002	DBLP DOI BibTeX RDF
10	Ugur Çetintemel, Peter J. Keleher	Efficient Distributed Precision Control in Symmetric Replication Environments.	SRDS	2002	DBLP DOI BibTeX RDF
10	Joaquim Armengol, Josep Vehí, Louise Travé-Massuyès, Miguel Ángel Sainz	Application of Modal Intervals to the Generation of Error-Bounded Envelopes.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
10	Linet Özdamar, Ebru Alanya	Uncertainty Modelling in Software Development Projects (With Case Study).	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	fuzzy logic, resource allocation, scheduling heuristics, software development projects
10	Patrick Bosc, Amihai Motro, Gabriella Pasi	Report on The fourth International Conference on Flexible Query Answering systems.	SIGMOD Rec.	2001	DBLP DOI BibTeX RDF
10	Saurabh Sinha, Mary Jean Harrold, Gregg Rothermel	Interprocedural control dependence.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	interprocedural control dependence, semantic dependence, software maintenance, program slicing, interprocedural analysis
10	Samia Saad-Bouzefrane, Bruno Sadeg, Laurent Amanton	Soft Real-Time Transactions Scheduling in a Wireless Environment.	ISORC	2001	DBLP DOI BibTeX RDF
10	Chris Olston, Boon Thau Loo, Jennifer Widom	Adaptive Precision Setting for Cached Approximate Values.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
10	Z. M. Ma, Wen-Jun Zhang 0001, Weiyin Ma	Imprecise and Uncertain Engineering Information Modeling in Databases.	AI	2001	DBLP DOI BibTeX RDF
10	Feng-Tse Lin	A Job-Shop Scheduling Problem with Fuzzy Processing Times.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
10	Christer Carlsson, Pirkko Walden	Intelligent Systems and Soft Computing - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
10	Ricardo García Rosa, Teresa de Pedro	A Qualitative System as a Frame to Control Unmanned Vehicles.	EUROCAST	2001	DBLP DOI BibTeX RDF
10	Pierre-Yves Oudeyer	Coupled Neural Maps for the Origins of Vowel Systems.	ICANN	2001	DBLP DOI BibTeX RDF
10	Amie L. Souter, Lori L. Pollock	Type Infeasible Call Chains.	SCAM	2001	DBLP DOI BibTeX RDF	Call chains, Type Infeasibility
10	Theresa Beaubouef	Automatic and user-assisted test generation: a rough set approach.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
10	Alessandro Saffiotti, Magnus Boman, Pär Buschka, Paul Davidsson, Stefan J. Johansson, Zbigniew Wasik	Team Sweden.	RoboCup	2000	DBLP DOI BibTeX RDF
10	Chris Matthews, Paul A. Swatman	Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z.	ZB	2000	DBLP DOI BibTeX RDF	requirements determination, formal specification, Z, fuzzy set theory
10	Gio Wiederhold	Precision in Processing Data from Heterogeneous Resources (Invited Paper).	BNCOD	2000	DBLP DOI BibTeX RDF
10	Dennis K. Peters, David Lorge Parnas	Requirements-based monitors for real-time systems.	ISSTA	2000	DBLP DOI BibTeX RDF	real-time system, automated testing, test oracle, supervisor
10	Gonzalo Escalada-Imaz	A Temporal Many-Valued Logic for Real Time Control Systems.	AIMSA	2000	DBLP DOI BibTeX RDF	Computational Complexity, Real Time, Temporal Reasoning, Automated Reasoning, Control Systems, Many-valued Logic
10	Nicolino J. Pizzi	Classification of Storm Events Using a Fuzzy Encoded Multilayer Perceptron.	IJCNN (6)	2000	DBLP DOI BibTeX RDF
10	Nicolino J. Pizzi, Witold Pedrycz	Fuzzy Set Theoretic Adjustment to Training Set Class Labels Using Robust Location Measures.	IJCNN (3)	2000	DBLP DOI BibTeX RDF
10	Lukasz Opyrchal, Mark Astley, Joshua S. Auerbach, Guruduth Banavar, Robert E. Strom, Daniel C. Sturman	Exploiting IP Multicast in Content-Based Publish-Subscribe Systems.	Middleware	2000	DBLP DOI BibTeX RDF
10	Giuliana Regoli	Inference under imprecise probability assessments.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Grades of probability and prevision, comparative probability and prevision, coherent probability, robust Bayesian inference, computational techniques
10	Isabelle Bloch	Fuzzy Relative Position Between Objects in Image Processing: A Morphological Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	spatial relative position, fuzzy mathematical morphology, structural shape recognition, Fuzzy sets, directional relations
10	Patrick Bosc, Olivier Pivert	On the Specification of Representation-Based Conditions in a Context of Incomplete Databases.	DEXA	1999	DBLP DOI BibTeX RDF
10	Donglin Liang, Mary Jean Harrold	Efficient Points-to Analysis for Whole-Program Analysis.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF	Aliasing analysis, points-to graph, pointer analysis
10	Simon L. Peyton Jones, Alastair Reid 0001, Fergus Henderson, C. A. R. Hoare, Simon Marlow	A Semantics for Imprecise Exceptions.	PLDI	1999	DBLP DOI BibTeX RDF	Haskell
10	H. Sidaoui, Marcos Tadeu Tavares Pacheco	Fuzzy algorithms in medical decision making processes.	KES	1999	DBLP DOI BibTeX RDF
10	Arcot Rajasekar	String-Oriented Databases.	SPIRE/CRIWG	1999	DBLP DOI BibTeX RDF	query processing, pattern-matching, datalog, relational algebra, approximate reasoning
10	Ernest Valveny, Enric Martí	Deformable Template Matching within a Bayesian Framework for Hand-Written Graphic Symbol Recognition.	GREC	1999	DBLP DOI BibTeX RDF
10	Gill Barequet, Christian A. Duncan, Subodh Kumar 0001	RSVP: A Geometric Toolkit for Controlled Repair of Solid Models.	IEEE Trans. Vis. Comput. Graph.	1998	DBLP DOI BibTeX RDF	Model repair, edge matching
10	Vilém Novák	Towards formal theory of soft computing.	Soft Comput.	1998	DBLP DOI BibTeX RDF
10	Anthony Lauder, Stuart Kent 0001	Precise Visual Specification of Design Patterns.	ECOOP	1998	DBLP DOI BibTeX RDF
10	Tru H. Cao, Peter N. Creasy	Fuzzy Order-Sorted Logic Programming in Conceptual Graphs with a Sound and Complete Proof Procedure.	ICCS	1998	DBLP DOI BibTeX RDF
10	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Complete Removal of Redundant Computations.	PLDI	1998	DBLP DOI BibTeX RDF	control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization
10	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Complete removal of redundant expressions (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF	control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization
10	Adnan Yazici, Ali Cinar	Conceptual design of fuzzy object-oriented databases.	KES (2)	1998	DBLP DOI BibTeX RDF
10	Somnath Ghosh, Margaret Martonosi, Sharad Malik	Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity.	ASPLOS	1998	DBLP DOI BibTeX RDF
10	Rajiv Gupta 0001, Mary Lou Soffa, John Howard	Hybrid Slicing: Integrating Dynamic Information with Static Analysis.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	dynamic call graph, hybrid slice, dynamic slice, breakpoint, static slice
10	José Luis Bernier, Julio Ortega 0001, Alberto Prieto	A Modified Backpropagation Algorithm to Tolerate Weight Errors.	IWANN	1997	DBLP DOI BibTeX RDF
10	Olaf Wolkenhauer	Qualitative Uncertainty Models from Random Set Theory.	IDA	1997	DBLP DOI BibTeX RDF
10	Clarence W. de Silva	Application of fuzzy logic and approximate reasoning in process automation.	KES (1)	1997	DBLP DOI BibTeX RDF
10	Ashok Balivada, Hong Zheng, Naveena Nagi, Abhijit Chatterjee, Jacob A. Abraham	A unified approach for fault simulation of linear mixed-signal circuits.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	arithmetic distance, testing, fault simulation, mixed-signal
10	Firas Mohamed, Meryem Marzouki	Test and diagnosis of analog circuits: When fuzziness can lead to accuracy.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	analog test and diagnosis, AI approaches, fuzzy logic
10	George J. Klir	Soft Computer-Aided System Theory and Technology (SCAST).	CAST	1994	DBLP DOI BibTeX RDF
10	Werasak Kurutach, James Franklin	On Temporal-fuzziness in Temporal Fuzzy Databases.	DEXA	1993	DBLP DOI BibTeX RDF	temporal-fuzziness, qualitative data, measures, time, objectivity, temporal data, subjectivity, fuzzy data, quantitative data
10	Gregory D. Abowd, Robert Allen, David Garlan	Using Style to Understand Descriptions of Software Architecture.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF
10	Soumitra Dutta	Topological Constraints: A Representational Framework For Approximate Spatial And Temporal Reasoning.	SSD	1991	DBLP DOI BibTeX RDF
10	Michael G. Burke, Barbara G. Ryder	A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	intraprocedural domains, critical analysis, incremental iterative data flow analysis algorithms, fixed point iteration solution, interprocedural domains, model, parallel algorithms, parallel programming
10	Philippe Dague, Olivier Jehl, Patrick Taillibert	An Interval Propagation and Conflict Recognition Engine for Diagnosing Continuous Dynamic Systems.	Expert Systems in Engineering	1990	DBLP DOI BibTeX RDF
10	Thomas J. Marlowe, Barbara G. Ryder	An Efficient Hybrid Algorithm for Incremental Data Flow Analysis.	POPL	1990	DBLP DOI BibTeX RDF
10	Janette Cardoso, Robert Valette, Didier Dubois	Petri nets with uncertain markings.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	possibility logic, fuzzy dates, F.M.S., Petri Nets, imprecise, uncertain
10	Lefteri H. Tsoukalas, G. W. Lee, M. Ragheb	Anticipatory monitoring and control in a process environment.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF
10	Zhiyuan Li 0001, Pen-Chung Yew	Efficient Interprocedural Analysis for Program Parallelization and Restructuring.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF