|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10432 occurrences of 4161 keywords
|
|
|
Results
Found 13114 publication records. Showing 13114 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady |
Deciding Bit-Vector Arithmetic with Abstraction. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Li-Chuan Chang, Yen-Sung Chen, Rung-Wen Liou, Chih-Hung Kuo, Chia-Hung Yeh, Bin-Da Liu |
A Real Time and Low Cost Hardware Architecture for Video Abstraction System. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Yoonsik Cheon |
Abstraction in Assertion-Based Test Oracles. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Flavio M. de Paula, Alan J. Hu |
An Effective Guidance Strategy for Abstraction-Guided Simulation. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Gerwin de Haan, Michal Koutek, Frits H. Post |
Flexible Abstraction Layers for VR Application Development. |
VR |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock |
Reformulating Constraint Satisfaction Problems to Improve Scalability. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Marc Pickett |
Using Analogy Discovery to Create Abstractions. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Kenneth Anderson 0003, Robert Holte, Jonathan Schaeffer |
Partial Pattern Databases. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Ugur Kuter, Jiaqiao Hu |
Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | J. Christopher Beck, Michael Grüninger |
What's Your Problem? The Problem of Problem Definition. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Ariel Felner, Nir Ofek |
Combining Perimeter Search and Pattern Database Abstractions. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Andy D. Pimentel, Cagkan Erbas, Simon Polstra |
A Systematic Approach to Exploring Embedded System Architectures at Multiple Abstraction Levels. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
simulation, real-time and embedded systems, modeling techniques, performance analysis and design aids, Modeling of computer architecture |
13 | Ernest A. Edmonds |
Abstraction and Interaction: an Art System for White Noise. |
CGIV |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jan-Willem Roorda, Koen Claessen |
SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
13 | XiBin Jia, Baocai Yin, Yanfeng Sun, Xianping Lin |
GA-Based Speaking Mouth Correlative Speech Feature Abstraction. |
IEEE ICCI |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar |
Verifying analog oscillator circuits using forward/backward abstraction refinement. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Sharon Shoham, Orna Grumberg |
3-Valued Abstraction: More Precision at Less Cost. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Rodolfo Villarroel, Emilio Soler, Eduardo Fernández-Medina, Mario Piattini, Juan Trujillo 0001 |
Representing levels of abstraction to facilitate the Secure Multidimensional Modeling. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro |
Observability of Hybrid Automata by Abstraction. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun 0001 |
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
13 | William L. Harrison |
Proof Abstraction for Imperative Languages. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
Program Specification and Verification, Monads, Language Semantics, Monad Transformers |
13 | Sumit Gulwani, Ashish Tiwari 0001 |
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Stein L. Tomassen, Darijus Strasunskas |
Query Terms Abstraction Layers. |
OTM Workshops (2) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jochen Koberstein, Norbert Luttenberger |
System-Level WSN Application Software Test Using Multi-platform Hardware Abstraction Layers. |
MSN |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko |
Time abstraction in timed μCRL a la regions. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Lukasz Ziarek, Philip Schatz, Suresh Jagannathan |
Stabilizers: a modular checkpointing abstraction for concurrent functional programs. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
transactions, checkpointing, concurrent programming, exception handling, error recovery, concurrent ML |
13 | Krisztián Flautner |
Cutting across layers of abstraction: : removing obstacles from the advancement of embedded systems. |
CODES+ISSS |
2006 |
DBLP DOI BibTeX RDF |
typical-case operation, embedded systems, low power, signal processing |
13 | Moshe Looks |
Levels of abstraction in modeling and sampling: the feature-based Bayesian optimization algorithm. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
optimization, heuristics, empirical study, representations |
13 | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Bilge Mutlu, Jodi Forlizzi, Illah R. Nourbakhsh, Jessica K. Hodgins |
The use of abstraction and motion in the design of social interfaces. |
Conference on Designing Interactive Systems |
2006 |
DBLP DOI BibTeX RDF |
public installations, socially aware systems, interaction design, design methods, social interfaces, social cues |
13 | Arie Gurfinkel, Marsha Chechik |
Why Waste a Perfectly Good Abstraction?. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Javier Esparza, Stefan Kiefer, Stefan Schwoon |
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Christian Plagemann, Cyrill Stachniss, Wolfram Burgard |
Efficient Failure Detection for Mobile Robots Using Mixed-Abstraction Particle Filters. |
EUROS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Erika Ábrahám, Andreas Grüner, Martin Steffen |
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Ahmed Amine Jerraya, Aimen Bouchhima, Frédéric Pétrot |
Programming models and HW-SW interfaces abstraction for multi-processor SoC. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
HW/SW interfaces, programming models, heterogeneous MPSoC |
13 | Andrew Gilpin, Tuomas Sandholm |
A Texas Hold'em poker player based on automated abstraction and real-time equilibrium computation. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
equilibrium computation, game theory, game playing |
13 | Andrei Radulescu, John Dielissen, Santiago González Pestana, Om Prakash Gangwal, Edwin Rijpkema, Paul Wielage, Kees Goossens |
An efficient on-chip NI offering guaranteed services, shared-memory abstraction, and flexible network configuration. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Yakov Keselman, Sven J. Dickinson |
Generic Model Abstraction from Examples. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Yohji Shidara, Mineichi Kudo, Atsuyoshi Nakamura |
Extraction of Generalized Rules with Automated Attribute Abstraction. |
Foundations of Data Mining and knowledge Discovery |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Wei Feng 0005, Zhi-Qiang Liu |
Bayesian Structural Content Abstraction for Region-Level Image Authentication. |
ICCV |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Eckhardt, Sven Kosub, Moritz G. Maaß, Hanjo Täubig, Sebastian Wernicke 0001 |
Combinatorial Network Abstraction by Trees and Distances. |
ISAAC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Nassima Sadou, Dalila Tamzalit, Mourad Oussalah 0001 |
A unified Approach for Software Architecture Evolution at different abstraction levels. |
IWPSE |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Stefan Sauer 0001 |
Teaching UML Is Teaching Software Engineering Is Teaching Abstraction. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Paul Valckenaers, Tom Holvoet |
The Environment: An Essential Abstraction for Managing Complexity in MAS-Based Manufacturing Control. |
E4MAS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
Data Abstraction and Constraint Solving for Conformance Testing. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Abraham Otero, Paulo Félix, Santiago Fraga, Senén Barro, Francisco Palacios |
A Hierarchical Pattern Matching Procedure for Signal Abstraction. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic and abstraction. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
modularity, abstract data types, classes, resources, separation logic |
13 | Martin P. Ward, Hussein Zedan, T. Hardcastle |
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. |
CSMR |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Michael Ramati, Yuval Shahar |
Probabilistic Abstraction of Multiple Longitudinal Electronic Medical Records. |
AIME |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Philip H. Carns, Robert B. Ross, Walter B. Ligon III, Pete Wyckoff |
BMI: A Network Abstraction Layer for Parallel I/O. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | S. H. Srinivasan |
DocWeb: A Storage Abstraction for Wireless Devices. |
PerCom Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
Identification and Counter Abstraction for Full Virtual Symmetry. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger |
Power consumption profile analysis for security attack simulation in smart cards at high abstraction level. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
simulation, analysis, smart card, fault injection, attack, SystemC, embedded security, power profile |
13 | Bertrand Jeannet, Denis Gopan, Thomas W. Reps |
A Relational Abstraction for Functions. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Ji Hye Kim, Kun-Pyo Lee |
Cultural difference and mobile phone interface design: icon recognition according to level of abstraction. |
Mobile HCI |
2005 |
DBLP DOI BibTeX RDF |
icon recognition, cultural difference, mobile phone interface |
13 | Hongli Xu, De Sun Zhijie Xu |
An Approach of Multi-level Semantics Abstraction. |
KES (2) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | David Crowther, Djuradj Babich, Peter J. Clarke |
A Class Abstraction Technique to Support the Analysis of Java Programs During Testing. |
SERA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Lorena Anghel, Régis Leveugle, Pierre Vanhauwaert |
Evaluation of SET and SEU Effects at Multiple Abstraction Levels. |
IOLTS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Floriana Esposito |
Automatic Induction of Abduction and Abstraction Theories from Observations. |
ILP |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Alexei Lisitsa 0001, Igor Potapov |
Temporal Logic with Predicate lambda-Abstraction. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
LUNAR, model checking, Mobile ad hoc networks, formal verification, routing protocols, DSR, UPPAAL |
13 | Marie desJardins, Priyang Rathod, Lise Getoor |
Bayesian Network Learning with Abstraction Hierarchies and Context-Specific Independence. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Patricia Della Méa Plentz, Rômulo Silva de Oliveira, Carlos Montez |
Scheduling of the distributed thread abstraction with timing constraints using RTSJ. |
ETFA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Patrick Cousot |
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Eun-Sun Cho, Kang-Woo Lee, Manpyo Hong |
Abstraction for Privacy in Context-Aware Environments. |
MATA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois |
A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction. |
IWSOC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Robert Fitch, Bernhard Hengst, Dorian Suc, Greg Calbert, Jason B. Scholz |
Structural Abstraction Experiments in Reinforcement Learning. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Feihong Wu, Jun Zhang 0002, Vasant G. Honavar |
Learning Classifiers Using Hierarchically Structured Class Taxonomies. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Tom Carchrae, J. Christopher Beck |
Learning Abstract Scheduling Models. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Alexander A. Sherstov, Peter Stone |
Function Approximation via Tile Coding: Automating Parameter Choice. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Noboru Babaguchi, Yoshihiko Kawai, Takehiro Ogura, Tadahiro Kitahashi |
Personalized abstraction of broadcasted American football video by highlight selection. |
IEEE Trans. Multim. |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman |
Abstraction-Based Satisfiability Solving of Presburger Arithmetic. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Julien Diard, Pierre Bessière, Emmanuel Mazer |
Hierarchies of Probabilistic Models of Navigation: the Bayesian Map and the Abstraction Operator. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Andrei Radulescu, John Dielissen, Kees Goossens, Edwin Rijpkema, Paul Wielage |
An Efficient On-Chip Network Interface Offering Guaranteed Services, Shared-Memory Abstraction, and Flexible Network Configuration. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Magali Contensin, Laurence Pierre |
Model-Checking Systems with Unbounded Variables without Abstraction. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
Abstraction and Refinement in Protocol Derivation. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Stan Bühne, Günter Halmans, Klaus Pohl, Matthias Weber 0001, Henning Kleinwechter, Thomas Wierczoch |
Defining Requirements at Different Levels of Abstraction. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino |
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Bjarne Stroustrup |
Abstraction and the C++ Machine Model. |
ICESS |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Yoshiharu Maeno, Masahiro Kawato, Shoji Nishimura, Fumio Machida, Tsunehiko Kamachi |
Polimatica: Abstraction for Customizable Private Virtual Organizations in Global Grids. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
13 | François Coldefy, Patrick Bouthemy |
Unsupervised soccer video abstraction based on pitch, dominant color and camera motion analysis. |
ACM Multimedia |
2004 |
DBLP DOI BibTeX RDF |
non verbal speech classification, video summarization |
13 | Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar 0001 |
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Cabeza, Manuel V. Hermenegildo, James Lipton |
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. |
ASIAN |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Bing Li, Fabio Somenzi |
Efficient computation of small abstraction refinements. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
13 | David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla |
Modular design through component abstraction. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
behavioral interfaces, synchronous languages, component based design |
13 | Francisco Hernández Quiroz |
Full Abstraction for Gamma. |
ENC |
2004 |
DBLP DOI BibTeX RDF |
|
13 | H. M. AbdElSalam, Shinsuke Kobayashi, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai |
Towards a Higher Level of Abstraction in Hardware/Software Co-Simulation. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
13 | David Déharbe, Abdessamad Imine, Silvio Ranise |
Abstraction-Driven Verification of Array Programs. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
13 | DongWoo Lee, SeongHoon Lee, Chong-Sun Hwang |
Application of Active Database Abstraction in B2B E-Commerce. |
PDCAT |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Miguel Castro 0001, Rodrigo Rodrigues 0001, Barbara Liskov |
BASE: Using abstraction to improve fault tolerance. |
ACM Trans. Comput. Syst. |
2003 |
DBLP DOI BibTeX RDF |
asynchronous systems, Byzantine fault tolerance, N-version programming, state machine replication, proactive recovery |
13 | Hao Zheng 0001, Eric Mercer, Chris J. Myers |
Modular verification of timed circuits using automatic abstraction. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
Boolean and Cartesian abstraction for model checking C programs. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Software engineering, Model checking, Verification, Program analysis, Abstract interpretation |
13 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer |
Thread-Modular Abstraction Refinement. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Sharon Shoham, Orna Grumberg |
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
13 | John Towell, Elizabeth Towell |
Reality abstraction and OO pedagogy: results from 5 weeks in virtual reality. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
Java, virtual reality, pedagogy, presence, networked virtual environments, MUD, MOO |
13 | Khaled Benkrid, Samir Belkacemi, Danny Crookes |
A logic based approach to hardware abstraction. |
FPGA |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Sungjoo Yoo, Ahmed Amine Jerraya |
Introduction to Hardware Abstraction Layers for SoC. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Saddek Bensalem, Susanne Graf, Yassine Lakhnech |
Abstraction as the Key for Invariant Verification. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
13 | John Power, Konstantinos Tourlas |
Abstraction in Reasoning about Higraph-Based Systems. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Boleslaw Mikolajczak, Zuyan Wang |
Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms. |
ER |
2003 |
DBLP DOI BibTeX RDF |
|
|
|