|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6405 occurrences of 2962 keywords
|
|
|
Results
Found 12900 publication records. Showing 12900 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Liu Zheng |
A Novel Graph-Based Image Annotation Refinement Algorithm. |
FSKD (5) |
2009 |
DBLP DOI BibTeX RDF |
Image annotation refinement, graph algorithm, semantic similarity, MAX-CUT problem |
18 | Xiaolei Gao, Huaikou Miao |
Proving Total Correctness of Refinement Based on Tableau. |
ISPA |
2009 |
DBLP DOI BibTeX RDF |
Tableau method, Specification, refinement, theorem proving, Program Synthesis, total correctness |
18 | Tahina Ramananandro |
Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Model-finding, Mondex electronic purse, Refinement, Alloy, Security properties |
18 | Muga Nishizawa, Shigeru Chiba |
A small extension to Java for class refinement. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
class refinement, java, programming transformation |
18 | Sharon Shoham, Orna Grumberg |
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
3-valued semantics, Model checking games, Temporal logic, CTL, Counterexamples, Abstraction-Refinement |
18 | Bin Wang, Zhiwei Li 0006, Mingjing Li |
Automatic Refinement of Keyword Annotations for Web Image Search. |
MMM (1) |
2007 |
DBLP DOI BibTeX RDF |
multiple modality, image annotation refinement, hypergraph, Web image search |
18 | Zhenbang Chen, Zhiming Liu 0001, Volker Stolz, Lu Yang, Anders P. Ravn |
A Refinement Driven Component-Based Design. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
object-orientation, refinement, Software development process, component-based modeling |
18 | Hyunmo Kang, Catherine Plaisant, Bongshin Lee, Benjamin B. Bederson |
Exploring content-actor paired network data using iterative query refinement with NetLens. |
JCDL |
2006 |
DBLP DOI BibTeX RDF |
incremental data exploration, iterative query refinement, piccolo, human-computer interaction, user interfaces, digital library, network visualization |
18 | Changhu Wang, Feng Jing, Lei Zhang 0001, HongJiang Zhang |
Image annotation refinement using random walk with restarts. |
ACM Multimedia |
2006 |
DBLP DOI BibTeX RDF |
image annotation refinement, random walk with restarts |
18 | Norazlin Yusop, David B. Lowe, Didar Zowghi |
A survey of issue resolution on the incremental refinement of the system scope in web system development. |
ICWE |
2006 |
DBLP DOI BibTeX RDF |
business domain issues, issues resolution, project issues, scope refinement, system technical issues, web system |
18 | Siu-Wing Cheng, Tamal K. Dey, Tathagata Ray |
Weighted Delaunay Refinement for Polyhedra with Small Angles. |
IMR |
2005 |
DBLP DOI BibTeX RDF |
computational geometry, mesh generation, Delaunay refinement, sliver, weighted Delaunay triangulation |
18 | Marco Antonio Barbosa |
A refinement calculus for software components and architectures. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
software architectures, refinement calculus |
18 | Daniel I. Azuma, Daniel N. Wood, Brian Curless, Tom Duchamp, David Salesin, Werner Stuetzle |
View-dependent refinement of multiresolution meshes with subdivision connectivity. |
Afrigraph |
2003 |
DBLP DOI BibTeX RDF |
wavelets, level-of-detail, multiresolution representations, view-dependent refinement |
18 | Peter G. Anick |
Using terminological feedback for web search refinement: a log-based study. |
SIGIR |
2003 |
DBLP DOI BibTeX RDF |
interactive query refinement, terminological feedback, evaluation, web search, user logs |
18 | Xiang-Yang Li 0001, Shang-Hua Teng, Alper Üngör |
Simultaneous Refinement and Coarsening for Adaptive Meshing. |
Eng. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Coarsening, Moving boundary, Sphere packing, Refinement, Delaunay triangulation, Adaptive meshing |
18 | Fei-Ah Law, Tiow Seng Tan |
Preprocessing occlusion for real-time selective refinement. |
SI3D |
1999 |
DBLP DOI BibTeX RDF |
level of detail modeling, occlusion preserving simplification, cell, occlusion culling, selective refinement |
18 | J. Bey |
Tetrahedral Grid Refinement. |
Computing |
1995 |
DBLP DOI BibTeX RDF |
Tetrahedral grid refinement, stable refinements, consistent triangulations, green closure, grid coarsening |
18 | Gruia-Catalin Roman, C. Donald Wilcox |
Architecture-Directed Refinement. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
architectural constraints, program derivation process, architecture-directed refinement, software engineering, formal specification, parallel programming, formal methods, specification, parallel architectures, correctness, design process, concurrent systems, program refinements |
18 | Amir Pnueli |
System Specification and Refinement in Temporal Logic. |
FSTTCS |
1992 |
DBLP DOI BibTeX RDF |
stuttering robustness, simulation, Temporal logic, validation, refinement, requirement specification, system specification, temporal semantics |
18 | Hans-Dieter Ehrich, Amílcar Sernadas |
Algebraic Implementation of Objects over Objects. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
object morphisms, process morphisms, semantic fundamentals, algebraic implementation, refinement, processes, objects, extension, encapsulation, object-oriented systems, reification |
18 | Bengt Jonsson 0001 |
On Decomposing and Refining Specifications of Distributed Systems. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
Fair Transition System, Distributed Systems, Verification, Specification, Fairness, Refinement, Completeness, Compositionality |
17 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Low-level liquid types. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
liquid types, c, type inference, dependent types |
17 | Mitchell McLaren, Robbie Vogt, Brendan Baker, Sridha Sridharan |
Data-Driven Impostor Selection for T-Norm Score Normalisation and the Background Dataset in SVM-Based Speaker Verification. |
ICB |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
Evolving Specification Engineering. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira |
Tool Support for the CircusRefinement Calculus. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
17 | John Derrick, Heike Wehrheim |
On using data abstractions for model checking refinements. |
Acta Informatica |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Siu-Wing Cheng, Tamal K. Dey, Joshua A. Levine |
A Practical Delaunay Meshing Algorithm for aLarge Class of Domains*. |
IMR |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001 |
Optimization techniques for BDD-based bisimulation computation. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
binary decision diagrams, bisimulation, state space reduction, state space explosion, symbolic methods |
17 | Larissa Meinicke, Ian J. Hayes |
Reasoning Algebraically About Probabilistic Loops. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ian J. Hayes |
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Yiming Ma, Sharad Mehrotra, Dawit Yimam Seid, Qi Zhong |
RAF: An Activation Framework for Refining Similarity Queries Using Learning Techniques. |
DASFAA |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Sriram K. Rajamani |
Automatic Property Checking for Software: Past, Present and Future. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Richard Banach |
Retrenchment Tutorial. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
17 | James Zijun Wang, Farha Ali |
An Efficient Ontology Comparison Tool for Semantic Web Applications. |
Web Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina |
Automated, compositional and iterative deadlock detection. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Marcel Oliveira, Ana Cavalcanti 0001 |
From Circus to JCSP. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
concurrency, object-orientation, program development |
17 | C. A. R. Hoare |
Process Algebra: A Unifying Approach. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Counterexample-Guided Control. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Neil J. Robinson, Colin J. Fidge |
Animation of Data Refinements. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Geoffrey Watson |
Refining Exceptions Using King and Morgan's exit Construct. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Allan W. K. Loh, Mike Robey, Geoff A. W. West |
Refining 3D Models Using a Two-Stage Neural Network-Based Iterative Process. |
ICPR (1) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Peter K. Jimack, Sarfraz Ahmad Nadeem |
A Parallel Domain Decomposition Algorithm for the Adaptive Finite Element Solution of 3-D Convection-Diffusion Problems. |
International Conference on Computational Science (2) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Mark A. Iwen, Amol Dattatraya Mali |
DSatz: A Directional SAT Solver for Planning. |
ICTAI |
2002 |
DBLP DOI BibTeX RDF |
|
17 | R. Bruce Simpson, Nancy Hitschfeld, Maria-Cecilia Rivara |
Approximate Shape Quality Mesh Generation. |
Eng. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Quality triangulation, Pre-conditioning, Mesh generation |
17 | Fred W. Ware, Jerry D. Gibson |
A Three-Layer, Two Description Image Coder. |
Data Compression Conference |
2000 |
DBLP DOI BibTeX RDF |
robustness, layered coding, progressive coding |
17 | Pierre Bontron, Marie-Laure Potet |
Automatic Construction of Validated B Components from Structured Developments. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jitian Xiao, Yanchun Zhang, Xiaohua Jia |
Multilevel Data Clustering for Spatial Join Processing. |
DANTE |
1999 |
DBLP DOI BibTeX RDF |
Spatial join processing, Clustering, Optimization, Partition |
17 | Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni |
Refinements and Modules for Typed Graph Transformation Systems. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere |
An Approach to Object-Orientation in Action Systems. |
MPC |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Broy |
A Logical Basis for Modular Software and Systems Engineering. |
SOFSEM |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Giacobazzi, Francesco Ranzato |
Refining and Compressing Abstract Domains. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Antonio Cau, Willem P. de Roever |
A Dense-Time Temporal Logic with Nice Compositionality Properties. |
EUROCAST |
1997 |
DBLP DOI BibTeX RDF |
|
17 | David Sands 0001 |
A Compositional Semantics of Combining Forms for Gramma Programs. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Huiping Cao, Yan Qi 0002, K. Selçuk Candan, Maria Luisa Sapino |
Feedback-driven result ranking and query refinement for exploring semi-structured data collections. |
EDBT |
2010 |
DBLP DOI BibTeX RDF |
data-centric XML, feature cover, inter-dependent structural feature, relevance feedback |
17 | Songbo Tan, Gaowei Wu, Xueqi Cheng |
Enhancing the Performance of Centroid Classifier by ECOC and Model Refinement. |
ECML/PKDD (2) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Santiago Ontañón, Enric Plaza |
On Similarity Measures Based on a Refinement Lattice. |
ICCBR |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Refinement of Trace Abstraction. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Abstraction Refinement for Probabilistic Software. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Chaitanya Mishra, Nick Koudas |
Interactive query refinement. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Julia Padberg |
Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68Q85, 18A99, 68Q42 |
17 | Zhijun Ding, Changjun Jiang, MengChu Zhou, Yaying Zhang |
Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke |
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Li Li 0006, Yun Yang 0001 |
Agent negotiation based ontology refinement process and mechanisms for service applications. |
Serv. Oriented Comput. Appl. |
2008 |
DBLP DOI BibTeX RDF |
Service applications, Multi-agent systems, Ontology evolution, Agent negotiation |
17 | Alina Maor, Neri Merhav |
On Successive Refinement With Causal Side Information at the Decoders. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Kwangsu Cho, Tingting (Rachel) Chung, William R. King, Christian D. Schunn |
Peer-based computer-supported knowledge refinement: an empirical investigation. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Srenivas Varadarajan, Lina J. Karam |
An improved perception-based no-reference objective image sharpness metric using iterative edge refinement. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Temesghen Kahsai, Markus Roggenbach |
Property Preserving Refinement for Csp-Casl. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou |
Automated Assume-Guarantee Reasoning by Abstraction Refinement. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Josefina Sierra, Josefina Santibáñez |
Horn Query Learning with Multiple Refinement. |
SEAL |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Francien Dechesne, Simona Orzan, Yanjing Wang 0001 |
Refinement of Kripke Models for Dynamics. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian |
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jifeng He 0001 |
Service Refinement. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Tim McComb, Graeme Smith 0001 |
Introducing Objects through Refinement. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
17 | David Novo, Min Li 0001, Bruno Bougard, Frederik Naessens, Liesbet Van der Perre, Francky Catthoor |
Application-driven adaptive fixed-point refinement for SDRs. |
SiPS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Gaurav Singh 0006, Sandeep K. Shukla |
Verifying Compiler Based Refinement of BluespecTM. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker |
17 | Abderrahman Matoussi, Frédéric Gervais, Régine Laleau |
A First Attempt to Express KAOS Refinement Patterns with Event B. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Ou Wei, Aarti Gupta |
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Tim Paek, Bo Thiesson, Yun-Cheng Ju, Bongshin Lee |
Search Vox: leveraging multimodal refinement and partial knowledge for mobile voice search. |
UIST |
2008 |
DBLP DOI BibTeX RDF |
speech recognition, multimodal, mobile search |
17 | Gong Cheng 0001, Yuzhong Qu |
Integrating Lightweight Reasoning into Class-Based Query Refinement for Object Search. |
ASWC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sebastian Ewert, Meinard Müller |
Refinement Strategies for Music Synchronization. |
CMMR |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko |
Finer Is Better: Abstraction Refinement for Rewriting Approximations. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Bertrand Fontaine, Herbert Peremans |
Modeling the Bat LSO Tonotopical Map Refinement during Development. |
SAB |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Tobe Toben |
Counterexample Guided Spotlight Abstraction Refinement. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jifeng He 0001 |
Refinement and test case generation in Unifying Theory of Programming. |
ICSM |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Bin Sun, Pei Liu, Ying Zheng |
Short Query Refinement with Query Derivation. |
AIRS |
2008 |
DBLP DOI BibTeX RDF |
Short query problem, derived query, word sense |
17 | Stefan Ratschan, Zhikun She |
Safety verification of hybrid systems by constraint propagation-based abstraction refinement. |
ACM Trans. Embed. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Hybrid systems, constraint propagation, intervals |
17 | Andreas Podelski, Andrey Rybalchenko |
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Lingyu Sun, Ming Leng |
An Effective Refinement Algorithm Based on Swarm Intelligence for Graph Bipartitioning. |
ESCAPE |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Geoffrey M. Brown, Lee Pike |
Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ana Cavalcanti 0001, Marie-Claude Gaudel |
Testing for Refinement in CSP. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Siu-Wing Cheng, Tamal K. Dey, Edgar A. Ramos |
Delaunay refinement for piecewise smooth complexes. |
SODA |
2007 |
DBLP BibTeX RDF |
|
17 | Pierre Ganty, Jean-François Raskin, Laurent Van Begin |
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sean Safarpour, Andreas G. Veneris |
Abstraction and refinement techniques in automated design debugging. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sylvain Boulmé |
Intuitionistic Refinement Calculus. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Bernd Schattenberg, Julien Bidot, Susanne Biundo |
On the Construction and Evaluation of Flexible Plan-Refinement Strategies. |
KI |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ali Mili 0001 |
A Refinement Based Framework for Computing Loop Behavior. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Zhuo Xue, Kok-Keong Loo, John Cosmas |
Embedded Side Information Refinement for Pixel Domain Wyner-Ziv Video Coding Towards UMTS 3G Application. |
ICME |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Liu Yang 0001, Rong Jin 0001, Caroline Pantofaru, Rahul Sukthankar |
Discriminative Cluster Refinement: Improving Object Category Recognition Given Limited Training Data. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani |
Abstraction Refinement of Linear Programs with Arrays. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Nina Amla, Kenneth L. McMillan |
Combining Abstraction Refinement and SAT-Based Model Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
|
|