|
|
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 |
30 | Young Jin Jung, Silvia Nittel |
Geosensor Data Abstraction for Environmental Monitoring Application. |
GIScience |
2008 |
DBLP DOI BibTeX RDF |
Sensor data abstraction, Slope grid, GIS, Surface model, Geosensor network |
30 | Edmund M. Clarke, Himanshu Jain, Daniel Kroening |
Verification of SpecC using predicate abstraction. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Verification, System level design, Predicate abstraction |
30 | Fei Pu, Wenhui Zhang |
Combining search space partition and abstraction for LTL model checking. |
Sci. China Ser. F Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
search space partition, LTL model checking, refinement, abstraction |
30 | Jens Bennedsen, Michael E. Caspersen |
Abstraction ability as an indicator of success for learning object-oriented programming? |
ACM SIGCSE Bull. |
2006 |
DBLP DOI BibTeX RDF |
model-based programming, abstraction, CS1, objects-first, success factors |
30 | Holger Winnemöller, Sven C. Olsen, Bruce Gooch |
Real-time video abstraction. |
ACM Trans. Graph. |
2006 |
DBLP DOI BibTeX RDF |
non-photorealistic rendering, visual perception, visual communication, image abstraction |
30 | Jan Verelst |
The Influence of the Level of Abstraction on the Evolvability of Conceptual Models of Information Systems. |
Empir. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
abstraction, Conceptual modelling, maintainability, evolvability |
30 | Thomas Ball, Todd D. Millstein, Sriram K. Rajamani |
Polymorphic predicate abstraction. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
polymorphism, Software model checking, predicate abstraction |
30 | Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav |
Predicate Abstraction of ANSI-C Programs Using SAT. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
ANSI-C, SAT, predicate abstraction |
30 | Adalberto Farias, Alexandre Mota 0001, Augusto Sampaio |
Efficient CSPZ Data Abstraction. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction |
30 | 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 |
30 | Wai Lam, Chi-Kin Keung, Danyu Liu |
Discovering Useful Concept Prototypes for Classification Based on Filtering and Abstraction. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2002 |
DBLP DOI BibTeX RDF |
Prototype learning, instance abstraction, data mining, machine learning, classification |
30 | Alexander Egyed |
Automated abstraction of class diagrams. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
Class abstraction, class patterns, unified modeling language, reverse engineering, transformation, class diagrams |
30 | Bernhard K. Aichernig |
Test-Case Calculation through Abstraction. |
FME |
2001 |
DBLP DOI BibTeX RDF |
test-case synthesis, abstraction rules, testing, scenarios, contract, refinement calculus |
30 | Steve A. Schneider |
Abstraction and Testing in CSP. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Testing, Abstraction, Process algebra, CSP, Operational semantics, Failures semantics |
30 | Michael W. Mislove, Frank J. Oles |
Full Abstraction and Unnested Recursion. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy |
30 | Jay T. Yantchev |
Communication Abstraction and Refinement. |
PARLE (2) |
1991 |
DBLP DOI BibTeX RDF |
interprocess communication and synchronisation, abstraction and refinement, multiparty interaction |
29 | Hanania T. Salzer |
Abstraction Level Hierarchy: The Model and its Significance for Software Engineering. |
SwSTE |
2010 |
DBLP DOI BibTeX RDF |
abstraction level hierarchy, atomic requirement specification, design, entropy, Abstraction, requirements, requirement specification |
29 | Taieb Znati, Brian Field |
A Network Level Channel Abstraction for Multimedia Communication in Real-Time Networks. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
network level channel abstraction, network level abstraction, phi -channel, end-to-end communication channel, packet maximum end-to-end delay, on-time reliability, simulation, protocols, delays, distributed databases, multimedia systems, communication protocols, multimedia communication, distributed multimedia systems, real-time networks, performance parameters |
29 | Nathan R. Sturtevant, M. Renee Jansen |
An Analysis of Map-Based Abstraction and Refinement. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Rong Zhou 0001 |
Leveraging Graph Locality Via Abstraction. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Jun Zhang 0002, Adrian Silvescu, Vasant G. Honavar |
Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Sridhar Mahadevan |
Spatiotemporal Abstraction of Stochastic Sequential Processes. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire |
A CSP Abstraction Framework. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen |
Interaction refinement in the design of business collaborations. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
collaboration, interaction, refinement, abstraction, conformance |
28 | Radhika M. Pai, V. S. Ananthanarayana |
Prefix-Suffix Trees: A Novel Scheme for Compact Representation of Large Datasets. |
PReMI |
2007 |
DBLP DOI BibTeX RDF |
Pattern- Count(PC) tree, Prefix-Suffix Trees, Data mining, Clustering, Abstraction, Incremental mining |
28 | Dragan Bosnacki |
On Some Galois Connection Based Abstractions for the Mu-Calculus. |
FM |
2005 |
DBLP DOI BibTeX RDF |
model checking, abstraction, mu-calculus, property preservation |
28 | Kangsun Lee, Paul A. Fishwick |
OOPM/RT.: a multimodeling methodology for real-time simulation. |
ACM Trans. Model. Comput. Simul. |
1999 |
DBLP DOI BibTeX RDF |
modeling methodlogy, real-time systems, model selection, real-time simulation, model abstraction |
28 | Attilio Giordana, Davide Roverso, Lorenza Saitta |
Abstracting Background Knowledge for Concept Learning. |
EWSL |
1991 |
DBLP DOI BibTeX RDF |
Abstraction, concept learning, explanation based learning |
28 | Julien Braine |
The Data-abstraction Framework: abstracting unbounded data-structures in Horn clauses, the case of arrays. (La Méthode Data-abstraction: une technique d'abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux). |
|
2022 |
RDF |
|
27 | Elina Megalou, Thanasis Hadzilacos |
Semantic Abstractions in the Multimedia Domain. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
semantic multimedia abstraction, spatio-temporal retrieval, multimedia query language, presentational unit, abstraction, semantic modeling, Multimedia data model |
27 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
Abstraction-guided synthesis of synchronization. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
concurrency, synthesis, abstract interpretation |
27 | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers |
Preemption Abstraction. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri |
Structure-aware computation of predicate abstraction. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Ueli M. Maurer |
Abstraction in Cryptography. |
CRYPTO |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Hong Pan, Yi Lv, Huimin Lin |
Environment Abstraction with State Clustering and Parameter Truncating. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Hendrik Richter 0001, Shengxiang Yang |
Memory Based on Abstraction for Dynamic Fitness Functions. |
EvoWorkshops |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Hao Shen, Frédéric Pétrot |
MPSoC Communication Architecture Exploration Using an Abstraction Refinement Method. |
VLSI Design |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Ball, Orna Kupferman, Mooly Sagiv |
Leaping Loops in the Presence of Abstraction. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
Three-Valued Abstraction for Continuous-Time Markov Chains. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Luca de Alfaro, Pritam Roy |
Solving Games Via Three-Valued Abstraction Refinement. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Yan Chen 0001, Yujing He, Fei Xie, Jin Yang 0006 |
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen |
Automatic Abstraction Refinement for Timed Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001 |
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Ball, Orna Kupferman |
An Abstraction-Refinement Framework for Multi-Agent Systems. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Harald Fecher, Michael Huth 0001 |
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo |
Reduced Certificates for Abstraction-Carrying Code. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Xiaofeng Zhang 0002, William K. Cheung 0001, Chun-hung Li |
Graph-Based Abstraction for Privacy Preserving Manifold Visualization. |
IAT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Ball, Orna Kupferman, Greta Yorsh |
Abstraction for Falsification. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Yingxu Wang |
The cognitive processes of abstraction and formal inferences. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Orna Grumberg |
Abstraction and Refinement in Model Checking. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
Shape Analysis by Predicate Abstraction. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Kairong Qian, Albert Nymeyer |
Abstraction-Based Model Checking Using Heuristical Refinement. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Pei-Hsin Ho |
Abstraction Refinement. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani |
Refining Approximations in Software Predicate Abstraction. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Chao Wang 0001, Gary D. Hachtel, Fabio Somenzi |
Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. |
ICCD |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Nina Amla, Kenneth L. McMillan |
A Hybrid of Counterexample-Based and Proof-Based Abstraction. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang |
SAT Based Predicate Abstraction for Hardware Verification. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
27 | David A. Schmidt |
Structure-Preserving Binary Relations for Program Abstraction. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Peng Ning, Sushil Jajodia, Xiaoyang Sean Wang |
Abstraction-based intrusion detection in distributed environments. |
ACM Trans. Inf. Syst. Secur. |
2001 |
DBLP DOI BibTeX RDF |
intrusion detection, heterogeneous systems, Cooperative information systems, misuse detection |
27 | Mahmut T. Kandemir, J. Ramanujam |
Data Relation Vectors: A New Abstraction for Data Optimizations. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
compiler optimizations for memory hierarchy, reuse vectors, data relation vectors, loop transformations, Data reuse, cache locality, memory layouts |
27 | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
Automatic Predicate Abstraction of C Programs. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
C |
27 | Sela Mador-Haim, Limor Fix |
Input Elimination and Abstraction in Model Checking. |
FMCAD |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Deepak Kapur, Mandayam K. Srivas |
Expressiveness of the Operation Set of a Data Abstraction. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
26 | Hanli Zhao, Xiaoyang Mao, Xiaogang Jin 0001, Jianbing Shen, Feifei Wei, Jieqing Feng |
Real-time saliency-aware video abstraction. |
Vis. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Non-photorealistic rendering, Saliency map, Real-time video processing, Image abstraction |
26 | Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler |
An efficient operating system abstraction layer for portable applications in the domain of wireless sensor networks. |
SenSys |
2009 |
DBLP DOI BibTeX RDF |
WSN, operating system, abstraction, embedded, API |
26 | Shimon Schocken |
Virtual machines: abstraction and implementation. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
abstraction., software engineering, compilation, virtual machines, programming paradigms |
26 | Luciano Ost, Guilherme Montez Guindani, Leandro Soares Indrusiak, Cezar Reinbrecht, Thiago Raupp da Rosa, Fernando Moraes 0001 |
A high abstraction, high accuracy power estimation model for networks-on-chip. |
SBCCI |
2009 |
DBLP DOI BibTeX RDF |
high abstraction modeling, networks-on-chip, power modeling |
26 | Curtis M. Humphrey, Julie A. Adams |
General visualization abstraction algorithm for geographic map-based human-robot interfaces. |
HRI |
2009 |
DBLP DOI BibTeX RDF |
human-robot interfaces (HRI), information abstraction, GIS |
26 | Shinya Umeno |
Event order abstraction for parametric real-time system verification. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
automatic timing synthesis, counter-example guided abstraction refinement (cegar), event-based approach, parametric verification |
26 | Nicla Rossini |
Gestural Abstraction and Restatement: From Iconicity to Metaphor. |
COST 2102 Conference (Prague) |
2008 |
DBLP DOI BibTeX RDF |
Gestural abstraction, Gestural metaphor, Metaphoric thought, Restatement, Iconicity |
26 | Yan Chen 0001, Fei Xie, Jin Yang 0006 |
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
automatic abstraction refinement, generalized symbolic trajectory evaluation, model checking |
26 | Shuvendu K. Lahiri, Randal E. Bryant |
Predicate abstraction with indexed predicates. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction |
26 | Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont |
Probabilistic abstraction for model checking: An approach based on property testing. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Approximate verification, probabilistic abstraction, model checking, property testing, probabilistic verification |
26 | Diomidis Spinellis |
Abstraction and Variation. |
IEEE Softw. |
2007 |
DBLP DOI BibTeX RDF |
abstraction, generics, types, function, class |
26 | Jan Ohlenburg, Wolfgang Broll, Irma Lindt |
DEVAL - A Device Abstraction Layer for VR/AR. |
HCI (5) |
2007 |
DBLP DOI BibTeX RDF |
Device Abstraction, Output Devices, Virtual Reality, Augmented Reality, Input Devices |
26 | Gyuhyun Kwon, Dong-Han Ham, Wan Chul Yoon |
Evaluation of software usability using scenarios organized by abstraction structure. |
ECCE |
2007 |
DBLP DOI BibTeX RDF |
scenario-based approach, usability evaluation, abstraction hierarchy, software usability |
26 | Nicolas Blanc, Alex Groce, Daniel Kroening |
Verifying C++ with STL containers via predicate abstraction. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
model checking, verification, C++, iterator, predicate abstraction, STL |
26 | Tony Gorschek, Claes Wohlin |
Requirements Abstraction Model. |
Requir. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Market-driven product-centered continuous requirements engineering, Requirements abstraction, Product strategy, Product management |
26 | Francois Carcenac, Frédéric Boniol |
A formal framework for verifying distributed embedded systems based on abstraction methods. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Abstraction, Timed automata, Distributed embedded systems, Compositional verification |
26 | Christian Monrad Nielsen, Michael Overgaard, Michael Bach Pedersen, Jan Stage, Sigge Stenild |
Exploring Interaction Space as Abstraction Mechanism for Task-Based User Interface Design. |
TAMODIA |
2006 |
DBLP DOI BibTeX RDF |
object-oriented, abstraction, User interface design, task models, domain models, model-based user interface design |
26 | Guy Dupenloup, Thierry Lemeunier, Roland Mayr |
Transistor abstraction for the functional verification of FPGAs. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
cone model, logic equivalence checking, transistor abstraction, FPGA, register transfer level, multiplexer, functional verification |
26 | Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu |
Incrementalization across object abstraction. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
design, object-oriented, program transformation, abstraction, program analysis, invariants, program optimization, incrementalization |
26 | Cameron Kiddle, Rob Simmonds, Brian W. Unger |
Improving Scalability of Network Emulation through Parallelism and Abstraction. |
Annual Simulation Symposium |
2005 |
DBLP DOI BibTeX RDF |
Scalable Network Emulation, Simulation Abstraction, Parallel Discrete Event Simulation, Fluid Simulation |
26 | William N. L. Browne, Dan Scott 0002 |
An abstraction agorithm for genetics-based reinforcement learning. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
abstraction, learning classifier systems, genetics-based machine learning |
26 | Seung-Hoon Han, In-So Kweon |
Scalable temporal interest points for abstraction and classification of video events. |
ICME |
2005 |
DBLP DOI BibTeX RDF |
static scene feature, temporal interest point, scalable TIP, video event abstraction, video event classification, redundant information, video camera motion, image sequence |
26 | Rachel Or-Bach, Ilana Lavy |
Cognitive activities of abstraction in object orientation: an empirical study. |
ACM SIGCSE Bull. |
2004 |
DBLP DOI BibTeX RDF |
object-oriented programming, abstraction, object-oriented design, inheritance, task analysis |
26 | Tobias Schüle, Klaus Schneider 0001 |
Abstraction of assembler programs for symbolic worst case execution time analysis. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
program slicing assembler programs, real-time systems, abstraction, worst case execution time, symbolic simulation |
26 | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu 0004, Helmut Veith |
Counterexample-guided abstraction refinement for symbolic model checking. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
temporal logic, Abstraction, symbolic model checking, hardware verification |
26 | Bjorn De Sutter, Hans Vandierendonck, Bruno De Bus, Koenraad De Bosschere |
On the side-effects of code abstraction. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
code abstraction, performance, code compaction |
26 | Daniel Gajski, Andreas Gerstlauer |
System-Level Abstraction Semantics. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
design semantics, modeling, methodology, system-level design, abstraction levels |
26 | Dae-Hwan Kim, Hyuk-Jae Lee |
Iterative procedural abstraction for code size reduction. |
CASES |
2002 |
DBLP DOI BibTeX RDF |
post-pass optimization, embedded systems, optimizing compiler, code size reduction, procedural abstraction |
26 | Y. Zheng, Nigel P. Weatherill, Oubay Hassan |
Topology Abstraction of Surface Models for Three-Dimensional Grid Generation. |
Eng. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Geometry modelling, Topology abstraction, User environment, Computational simulation, Surface model, Grid generation |
26 | Simon St. James, Ulrich Ultes-Nitsche |
Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. |
PODC |
2001 |
DBLP DOI BibTeX RDF |
behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction |
26 | Dan Grossman, J. Gregory Morrisett, Steve Zdancewic |
Syntactic type abstraction. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
proof techniques, syntactic proofs, type abstraction, operational semantics, parametricity |
26 | Changick Kim, Jenq-Neng Hwang |
An integrated scheme for object-based video abstraction. |
ACM Multimedia |
2000 |
DBLP DOI BibTeX RDF |
MPEG-4/MPEG-7, object-based key frame extraction, video abstraction, video object segmentation |
26 | Edmund M. Clarke, Somesh Jha, Yuan Lu 0004, Dong Wang |
Abstract BDDs: A Technique for Using Abstraction in Model Checking. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
Abstract BDDs, Model checking and abstraction |
26 | Maciej Koutny, Giuseppe Pappalardo |
A Model of Behaviour Abstraction for Communicating Processes. |
STACS |
1999 |
DBLP DOI BibTeX RDF |
behaviour abstraction, communicating sequential processes, Theory of parallel and distributed computation |
26 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj |
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR |
26 | Enrico Denti, Andrea Omicini |
Designing Multi-agent Systems around an Extensible Communication Abstraction. |
ModelAge Workshop |
1997 |
DBLP DOI BibTeX RDF |
Programmable Communication Abstraction, Multi-Agent Systems, Coordination Model |
26 | Anne Helga Seltveit |
An Abstraction-Based Rule Approach to Large-Scale Information Systems Development |
CAiSE |
1993 |
DBLP DOI BibTeX RDF |
abstraction-based development, abstractions, views, multiple views, structuring mechanisms |
Displaying result #201 - #300 of 13114 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|