Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Adrien Bousseau, Matt Kaplan 0001, Joëlle Thollot, François X. Sillion	Interactive watercolor rendering with temporal coherence and abstraction.	NPAR	2006	DBLP DOI BibTeX RDF	abstraction, non-photorealistic rendering, temporal coherence, watercolor
23	Bing Li, Chao Wang 0001, Fabio Somenzi	Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Unsatisfiability proof, Bounded model checking, Satisfiability problem, Abstraction refinement
23	Tie-Yan Liu, Hao Wan 0003, Tao Qin 0001, Zheng Chen 0001, Yong Ren, Wei-Ying Ma	Site abstraction for rare category classification in large-scale web directory.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	site abstraction, support vector machines (SVM), text classification, hierarchical classification, web directory
23	Qingshan Li	Dynamic Model Design Recovery and Architecture Abstraction of Object Oriented Software.	CSMR	2005	DBLP DOI BibTeX RDF	Reverse Engineering, Object Orientation, Program Comprehension, Design Recovery, Architecture Abstraction
23	Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood	Exploring students' understanding of the concept of algorithm: levels of abstraction.	ITiCSE	2005	DBLP DOI BibTeX RDF	abstraction, computer science education
23	Willem Visser, Corina S. Pasareanu, Radek Pelánek	Test input generation for red-black trees using abstraction.	ASE	2005	DBLP DOI BibTeX RDF	testing object oriented programs, model checking, abstraction, coverage, red-black trees
23	Serge Haddad, Jean-Michel Ilié, Kais Klai	Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.	ATVA	2004	DBLP DOI BibTeX RDF	Model Checking, Abstraction, OBDD
23	Yossi Cohen, Yishai A. Feldman	Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	Database program reengineering, the plan calculus, temporal abstraction, query graphs
23	Ravi Pratap, Ron Cytron, David C. Sharp, Edward Pla	Transport layer abstraction in event channels for embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	transport abstraction, embedded systems, middleware, AOP, CORBA, software composition, event service, subsetting
23	Tu Bao Ho, Trong Dung Nguyen, Saori Kawasaki, Si Quang Le, DucDung Nguyen, Hideto Yokoi, Katsuhiko Takabayashi	Mining hepatitis data with temporal abstraction.	KDD	2003	DBLP DOI BibTeX RDF	hepatitis data, medicaldata mining, temporal abstraction
23	Mustapha Bourahla, Mohamed Benmohamed	Verification of Real-Time Systems by Abstraction of Time Constraints.	IPDPS	2003	DBLP DOI BibTeX RDF	Real-time systems, Model Checking, Formal Verification, Predicate Abstraction, Timed Automaton
23	Thomas Firley, Ursula Goltz	Property Dependent Abstraction of Control Structure for Software Verification.	FME	2002	DBLP DOI BibTeX RDF	property oriented abstraction, algorithmic construction of abstract semantics, software verification
23	Orit Hazzan	Reducing abstraction level when learning computability theory concepts.	ITiCSE	2002	DBLP DOI BibTeX RDF	mental processes, abstraction, computer science education, computability
23	Henrik Tramberend	A display device abstraction for virtual reality applications.	Afrigraph	2001	DBLP DOI BibTeX RDF	virtual reality, object orientation, computer graphics, abstraction, display device
23	Graham E. Deacon	An Attempt to Raise the Level of Software Abstraction in Assembly Robotics through an Apposite Choice of Underlying Mechatronics.	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	accommodating control, contact configurations, object sliding, task-invariant assembly strategies, programming abstraction, direct-drive robot
23	Heike Wehrheim	Data Abstraction Techniques in the Validation of CSP-OZ Specifications.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Integrated formal methods, CSP-OZ, Verification, Data abstraction
23	Daniel P. Mapes	The human device abstraction.	Designing Augmented Reality Environments	2000	DBLP DOI BibTeX RDF	device abstraction, enhanced reality, human device, vodget, human computer interaction, virtual reality, sensors, widget, CAVE
23	Tosiyasu L. Kunii, Masayuki Hisada	Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications.	ICECCS	2000	DBLP DOI BibTeX RDF	sustainable social infrastructure, incrementally modular hierarchies, rapid prototyping tool, validation tool, abstracted Java program structures, Java, test case, software complexity, Java language, abstraction hierarchies, program construct, cellular modeling
23	Shiow-Yang Wu, Daniel P. Miranker, James C. Browne	Decomposition Abstraction in Parallel Rule Languages.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Decomposition abstraction, parallel production systems, multiple rule firing systems, parallel decomposition, explicit parallel languages, decomposition mechanisms, set-oriented constructs, semantic-based dependency analysis, functional dependency
23	John C. Grundy, John G. Hosking	ViTABaL: A Visual Language Supporting Design by Tool Abstraction.	VL	1995	DBLP DOI BibTeX RDF	ViTABaL, tool abstraction paradigm, abstract data structure components, toolie components, event response mechanism, inter-component interaction handling, functional specification changes, data structures, software tools, programming environments, systems analysis, visual programming, visual languages, visual language, abstract data types, systems implementation, design support
23	Steven Klusener	Abstraction in Real Time Process Algebra.	REX Workshop	1991	DBLP DOI BibTeX RDF	& Phrases Real Time, Abstraction, Process Algebra, Protocol Verification, ACP
22	Fan Yang, Joseph C. Culberson, Robert Holte	Using Infeasibility to Improve Abstraction-Based Heuristics.	SARA	2007	DBLP DOI BibTeX RDF
22	Peep Küngas	Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies.	SARA	2005	DBLP DOI BibTeX RDF
22	Michael Ramati, Yuval Shahar	Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects.	SARA	2005	DBLP DOI BibTeX RDF
22	Nathan R. Sturtevant, Vadim Bulitko, Michael Buro	Automatic State Abstraction for Pathfinding in Real-Time Video Games.	SARA	2005	DBLP DOI BibTeX RDF
22	Arriel Benis	Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based Approach.	SARA	2005	DBLP DOI BibTeX RDF
22	Natalia N. Beliaeva, Shlomo Zilberstein	Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains.	SARA	2005	DBLP DOI BibTeX RDF
22	Sungjoo Yoo, Iuliana Bacivarov, Aimen Bouchhima, Yanick Paviot, Ahmed Amine Jerraya	Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer.	DATE	2003	DBLP DOI BibTeX RDF
22	Adi Botea	Using Abstraction for Heuristic Search and Planning.	SARA	2002	DBLP DOI BibTeX RDF
22	Michael Heymann, Asaf Degani	On the Construction of Human-Automation Interfaces by Formal Abstraction.	SARA	2002	DBLP DOI BibTeX RDF
22	Daniel Buettner	Abstraction and Reformulation in GraphPlan.	SARA	2002	DBLP DOI BibTeX RDF
22	Yoshiaki Okubo, Makoto Haraguchi, Yan Fang Zheng	A Method for Finding Consistent Hypotheses Using Abstraction.	SARA	2000	DBLP DOI BibTeX RDF
22	Terrence P. Fries, James H. Graham	An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault Diagnosis.	SARA	2000	DBLP DOI BibTeX RDF
22	Stefano Bistarelli, Philippe Codognet, Francesca Rossi 0001	An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation.	SARA	2000	DBLP DOI BibTeX RDF
21	Nan Wang, Dantong Ouyang, Shanwu Sun, Chengli Zhao	Formalizing the Modeling Process of Physical Systems in MBD.	AICI	2009	DBLP DOI BibTeX RDF	G-KRA Model, Knowledge Modeling, Model-Based Diagnosis
21	Maria Grazia Buscemi, Hernán C. Melgratti	Abstract Processes in Orchestration Languages.	ESOP	2009	DBLP DOI BibTeX RDF
21	Christof Lutteroth, Robert Strandh, Gerald Weber	Domain Specific High-Level Constraints for User Interface Layout.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Auckland Layout Model, Constraint, GUI
21	Stephen Robertson	The study of information retrieval: a long view.	IIiX	2008	DBLP DOI BibTeX RDF
21	Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim	Slicing Abstractions.	FSEN	2007	DBLP DOI BibTeX RDF
21	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina	Automated, compositional and iterative deadlock detection.	MEMOCODE	2004	DBLP DOI BibTeX RDF
21	Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen	Static Guard Analysis in Timed Automata Verification.	TACAS	2003	DBLP DOI BibTeX RDF
21	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer	Temporal-Safety Proofs for Systems Code.	CAV	2002	DBLP DOI BibTeX RDF
21	Kenji Ohmori, Wona Lee	Shape Modeling Using Cellular Structured Spaces.	CW	2002	DBLP DOI BibTeX RDF	homotopy model, filtration, cellular spatial structures
21	Antoine Girard	Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications.	HSCC	2010	DBLP DOI BibTeX RDF	approximate bisimulation, abstraction, synthesis, safety, hybrid systems, switched systems
21	Fang Yu 0001, Tevfik Bultan, Erik Peterson	Automated size analysis for OCL.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	size abstraction, size analysis, OCL
21	Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher	Model checking concurrent linux device drivers.	ASE	2007	DBLP DOI BibTeX RDF	model checking, linux, device driver, predicate abstraction
21	Ferucio Laurentiu Tiplea, Constantin Enea	Abstractions of data types.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Data type, Universal algebra
21	John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger	Verifying Time Partitioning in the DEOS Scheduling Kernel.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	program model checking, time partitioning, verification, spin, predicate abstraction
21	Songtao Xia, Ben Di Vito, César A. Muñoz	Automated test generation for engineering applications.	ASE	2005	DBLP DOI BibTeX RDF	model-checking, test case generation, predicate abstraction
21	Sagar Chaki, Alex Groce, Ofer Strichman	Explaining abstract counterexamples.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	model checking, fault localization, predicate abstraction
21	David H. Pitt, Michael W. Shields	Local Invariance.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Local invariance, Abstraction, Protocol verification
21	Gordon D. Plotkin	Three Inadequate Models.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Full abstraction, Counterexample, PCF, Adequacy
21	Joe Heike Steinhauer, Tom Wiese, Christian Freksa, Thomas Barkowsky	Recognition of Abstract Regions in Cartographic Maps.	COSIT	2001	DBLP DOI BibTeX RDF	map interpretation, region abstraction, spatial concepts, formal methods, cognitive modeling, map generalization
21	Colin Potts	Requirements Models in Context.	RE	1997	DBLP DOI BibTeX RDF	formal specification, requirements engineering, abstraction, synthesis, requirements models
21	Giuseppe Visaggio	Structural information as a quality metric in software systems organization.	ICSM	1997	DBLP DOI BibTeX RDF	software quality metric, software systems organization, software system entropy, model dependency descriptor, quality level change monitoring, system degradation, poorly-performed software maintenance, perfective maintenance objectives, software quality, documentation, architectural styles, impact analysis, abstraction levels, structural information, software life-cycle
21	Rob J. van Glabbeek	Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.	STACS	1987	DBLP DOI BibTeX RDF	& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP
21	John Miles Smith, Diane C. P. Smith	Database Abstractions: Aggregation and Generalization.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	knowledge representation, relational database, generalization, aggregation, data model, database design, integrity constraints, data type, data abstraction
20	Andreas Podelski, Thomas Wies	Counterexample-guided focus.	POPL	2010	DBLP DOI BibTeX RDF	quantified invariants, data structures, shape analysis, predicate abstraction, abstraction refinement
20	Mana Taghdiri, Daniel Jackson 0001	Inferring specifications to detect errors in code.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Modular abstraction, Counterexample-guided abstraction refinement, Bounded program verification, SAT, Alloy, Specification inference
20	Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim 0001, Insup Lee 0001, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan 0001	Verisim: Formal Analysis of Network Simulations.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Verisim, packet radio, population abstraction, packet-type abstraction, simulation, routing, ad hoc networks, testing, network, temporal logic, AODV, formal analysis, tuning, MaC, NS
20	Wesley W. Chu, Qiming Chen	A Structured Approach for Cooperative Query Answering.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	cooperative query answering, type abstraction hierarchy, cooperative query answers, type hierarchy, multilevel object representation, CSQL, type abstraction, knowledge representation, knowledge representation, query processing, relational databases, SQL, SQL, composition, generalization, query languages, query language, database theory, deductive databases, deductive database, association, granularity, query rewrite, specialization, subsumption, semantic information, query relaxation
20	Kostas N. Oikonomou	Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	undetectable output faults, optimal abstraction, Abstraction, finite-state machine, observer, branch-and-bound algorithm
20	Peter Sewell	Memory, an elusive abstraction.	ISMM	2010	DBLP DOI BibTeX RDF	semantics, relaxed memory models
20	Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening	Symbolic Counter Abstraction for Concurrent Software.	CAV	2009	DBLP DOI BibTeX RDF
20	Thomas A. Henzinger, Maria Mateescu, Verena Wolf	Sliding Window Abstraction for Infinite Markov Chains.	CAV	2009	DBLP DOI BibTeX RDF
20	Stefano Tonetta	Abstract Model Checking without Computing the Abstraction.	FM	2009	DBLP DOI BibTeX RDF
20	Alexander Heußner, Tristan Le Gall, Grégoire Sutre	Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.	SPIN	2009	DBLP DOI BibTeX RDF
20	Neha Rungta, Eric G. Mercer, Willem Visser	Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.	SPIN	2009	DBLP DOI BibTeX RDF
20	Friedrich Eisenbrand, Nicolai Hähnle, Thomas Rothvoß	Diameter of polyhedra: limits of abstraction.	SCG	2009	DBLP DOI BibTeX RDF	disjoint coverings, hirsch conjecture, polyhedra, convex geometry
20	Artem Polyvyanyy, Sergey Smirnov 0002, Mathias Weske	The Triconnected Abstraction of Process Models.	BPM	2009	DBLP DOI BibTeX RDF
20	Adam Bakewell, Dan R. Ghica	Compositional Predicate Abstraction from Game Semantics.	TACAS	2009	DBLP DOI BibTeX RDF
20	Saraju P. Mohanty	Unified Challenges in Nano-CMOS High-Level Synthesis.	VLSI Design	2009	DBLP DOI BibTeX RDF
20	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code: a Model for Mobile Code Safety.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification
20	Arie Gurfinkel, Ou Wei, Marsha Chechik	Model Checking Recursive Programs with Exact Predicate Abstraction.	ATVA	2008	DBLP DOI BibTeX RDF
20	Kathy Kotiadis, Stewart Robinson 0001	Conceptual modelling: Knowledge acquisition and model abstraction.	WSC	2008	DBLP DOI BibTeX RDF
20	Pablo Nogueira, Juan José Moreno-Navarro	Bialgebra views: a way for polytypic programming to cohabit with data abstraction.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	bialgebras, program generation, abstract types, polytypic programming
20	Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki	New Abstraction for Optimal Real-Time Scheduling on Multiprocessors.	RTCSA	2008	DBLP DOI BibTeX RDF
20	Gianpiero Cabodi, Paolo Camurati, Marco Murciano	Automated abstraction by incremental refinement in interpolant-based model checking.	ICCAD	2008	DBLP DOI BibTeX RDF
20	Jingbo Zhang, Rongcai Zhao, Jianmin Pang, Wen Fu	Formal Abstraction of Semantics for Detecting Malicious Code.	CSSE (2)	2008	DBLP DOI BibTeX RDF
20	Jim Spohrer, Stephen L. Vargo, Nathan Caswell, Paul P. Maglio	The Service System Is the Basic Abstraction of Service Science.	HICSS	2008	DBLP DOI BibTeX RDF
20	Niall Redmond, John Dingliana	Evaluation of non-photorealistic abstraction techniques in influencing user behaviour.	APGV	2008	DBLP DOI BibTeX RDF
20	Per Bjesse	Word-Level Sequential Memory Abstraction for Model Checking.	FMCAD	2008	DBLP DOI BibTeX RDF
20	Manuel Campos, José M. Juárez, Jose Salort, José T. Palma, Roque Marín	Temporal Abstraction of States Through Fuzzy Temporal Constraint Networks.	IWINAC (1)	2007	DBLP DOI BibTeX RDF
20	Andreas Podelski, Andrey Rybalchenko	ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement.	PADL	2007	DBLP DOI BibTeX RDF
20	Luca de Alfaro, Pritam Roy	Magnifying-Lens Abstraction for Markov Decision Processes.	CAV	2007	DBLP DOI BibTeX RDF
20	Wolfgang Ecker, Volkan Esen, Lars Schönberg, Thomas Steininger, Michael Velten, Michael Hull	Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance.	DATE	2007	DBLP DOI BibTeX RDF
20	Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar	Deeper Bound in BMC by Combining Constant Propagation and Abstraction.	ASP-DAC	2007	DBLP DOI BibTeX RDF
20	Letícia Maria Friske, Carlos H. C. Ribeiro	HPGP: An Abstraction-Based Framework for Decision-Theoretic Planning.	IDEAL	2007	DBLP DOI BibTeX RDF	Probabilistic Planning, PGraphplan and Dynamic Programming
20	Isabelle Gnaedig, Hélène Kirchner	Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
20	Arjan J. H. Peddemors, Ignas G. Niemegeers, Henk Eertink	An Extensible Network Resource Abstraction for Applications on Mobile Devices.	COMSWARE	2007	DBLP DOI BibTeX RDF
20	Felix Klaedtke, Stefan Ratschan, Zhikun She	Language-Based Abstraction Refinement for Hybrid System Verification.	VMCAI	2007	DBLP DOI BibTeX RDF
20	Elvira Albert, Puri Arenas, Germán Puebla	An Incremental Approach to Abstraction-Carrying Code.	LPAR	2006	DBLP DOI BibTeX RDF
20	Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras	SMT Techniques for Fast Predicate Abstraction.	CAV	2006	DBLP DOI BibTeX RDF
20	Thomas Ball	Automated Abstraction of Software.	ATVA	2006	DBLP DOI BibTeX RDF
20	Pierre-Malo Deniélou, James J. Leifer	Abstraction preservation and subtyping in distributed languages.	ICFP	2006	DBLP DOI BibTeX RDF	serialisation and distributed computation, subtyping, type theory, programming language semantics, module systems
20	Gogul Balakrishnan, Thomas W. Reps	Recency-Abstraction for Heap-Allocated Storage.	SAS	2006	DBLP DOI BibTeX RDF
20	Luigi Portinale, Stefania Montani, Alessio Bottrighi, Giorgio Leonardi, José M. Juárez	A Case-Based Architecture for Temporal Abstraction Configuration and Processing.	ICTAI	2006	DBLP DOI BibTeX RDF
20	Miroslav N. Velev	Using Abstraction for Efficient Formal Verification of Pipelined Processors with Value Prediction.	ISQED	2006	DBLP DOI BibTeX RDF
20	Ittai Balaban, Ariel Cohen 0002, Amir Pnueli	Ranking Abstraction of Recursive Programs.	VMCAI	2006	DBLP DOI BibTeX RDF
20	Jesse D. Bingham, Zvonimir Rakamaric	A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.	VMCAI	2006	DBLP DOI BibTeX RDF