Search results for "searching"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Dan R. Olsen, Walter Holladay	Automatic generation of interactively consistent search dialogs.	CHI	1994	DBLP DOI BibTeX RDF	searching, user interface toolkits, automatic transformation
11	Howard J. Karloff, Prabhakar Raghavan	Randomized Algorithms and Pseudorandom Numbers.	J. ACM	1993	DBLP DOI BibTeX RDF	routing, searching, sorting
11	Yasuaki Nakamura, Shigeru Abe, Yutaka Ohsawa, Masao Sakauchi	A Balanced Hierarchical Data Structure for Multidimensional Data with Highly Efficient Dynamic Characteristics.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	balanced hierarchical data structure, highly efficient dynamic characteristics, multidimensional tree, worst-case storage utilization, dynamic characteristics, simulation, B-tree, tree data structures, insertion, deletion, multidimensional data, spatial searching, retrieval performance
11	Kuo-Liang Chung, Wen-Chin Chen, Ferng-Ching Lin	On the Complexity of Search Algorithms.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	record searching, tape storage, average complexity, sorted file, sequential search, Fibonacci search, modified Fibonacci search, computational complexity, search problems, search algorithms, binary search
11	Wilfred J. Hansen	Subsequence References: First-Class Values for Substrings.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	ATK, AUIS, Andrew Toolkit, Ness, sequences, strings, document processing, programming language design, subsequences, string searching, substrings
11	Pankaj K. Agarwal, David Eppstein, Jirí Matousek 0001	Dynamic Half-Space Reporting, Geometric Optimization, and Minimum Spanning Trees	FOCS	1992	DBLP DOI BibTeX RDF	Euclidean minimum spanning tree, half-space range reporting, minima, decomposable function, closest/farthest neighbor searching, fixed dimension linear programming, bi-chromatic closest pair, minimum spanning trees, diameter, dynamic data structures, geometric optimization, geometric problems
11	Sharon Garber, Mitch B. Grunes	The Art of Search: A Study of Art Directors.	CHI	1992	DBLP DOI BibTeX RDF	visual problem solving, searching, navigation, user models, cognitive models, task analysis, user interface models
11	Vincent G. Winters	Parallelism For High Performance Query Processing.	EDBT	1992	DBLP DOI BibTeX RDF	Parallel Algorithms, Complexity, Searching, Retrieval, Signatures
11	Jirí Matousek 0001	Reporting Points in Halfspaces	FOCS	1991	DBLP DOI BibTeX RDF	query time, halfspace range reporting, query halfspace, linear storage, simplex range searching problem, deterministic preprocessing time, data structure
11	Jia-Shung Wang, Richard C. T. Lee	An Efficient Channel Routing Algorithm to Yield an Optimal Solution.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	channel routing algorithm, dominance rules, VAX 11/750 computer, VLSI, heuristics, Pascal, trees (mathematics), VLSI design, circuit layout CAD, searching tree, optimal solution
11	Branislav Durian	Quicksort Without a Stack.	MFCS	1986	DBLP DOI BibTeX RDF	O(1)-space, Algorithm, Searching, Sorting, Stack, Quicksort
11	Shlomo Moran	On the Complexity of Designing Optimal Partial-Match Retrieval Systems.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	approximation algorithms, searching, hashing, NP-hard problems, file organization, partial match retrieval
11	Roger L. Haskin, Lee A. Hollaar	Operational Characteristics of a Hardware-Based Pattern Matcher.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	backend processors, computer system architecture, full text retrieval systems, finite state automata, text searching
11	Jon Louis Bentley, Derick Wood	An Optimal Worst Case Algorithm for Reporting Intersections of Rectangles.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	VLSI design rule checking, geometric intersection problems, Computational geometry, optimal algorithms, range searching
11	Ronald Fagin, Jürg Nievergelt, Nicholas Pippenger, H. Raymond Strong	Extendible Hashing - A Fast Access Method for Dynamic Files.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	external hashing, radix search, searching, hashing, access method, B-tree, index, file organization, directory, trie, extendible hashing
11	Walter A. Burkhard	Partial-Match Hash Coding: Benefits of Redundancy.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	algorithms, data structures, searching, replication, analysis, database systems, access methods
11	David B. Lomet	Multi-Table Search for B-Tree Files.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF	variable length, searching, B-trees, key compression
11	Gerard Salton, Anita Wong	Generation and Search of Clustered Files.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	clustered files, fast classification, probabilistic models, file organization, automatic classification, cluster searching
11	Richard C. T. Lee, James R. Slagle, H. Blum	A Triangulation Method for the Sequential Mapping of Points from N-Space to Two-Space.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	distance preserving, reference point approach, second nearest neighbor approach, principal component analysis, Clustering analysis, tree searching, minimal spanning tree, nonlinear mapping
11	Walter A. Burkhard	Hashing and Trie Algorithms for Partial Match Retrieval.	ACM Trans. Database Syst.	1976	DBLP DOI BibTeX RDF	trie search, algorithms, searching, analysis, retrieval, partial match, hash coding, associative retrieval
11	Jerome H. Friedman, Forest Baskett, Leonard J. Shustek	An Algorithm for Finding Nearest Neighbors.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	nonparametric discrimination, searching, sorting, nearest neighbors, Best match
11	Alan W. Biermann, Richard I. Baum, Frederick E. Petry	Speeding up the Synthesis of Programs from Traces.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Computation trace, finite-state machine synthesis, incompletely specified machines, learning, inference, program synthesis, tree searching, program trace
11	James C. Tiernan	An efficient search algorithm to find the elementary circuits of a graph.	Commun. ACM	1970	DBLP DOI BibTeX RDF	circuit search algorithm, path search algorithm, algorithm, searching, graph theory
11	Larry E. Stanfel	A comment on optimal tree structures.	Commun. ACM	1969	DBLP DOI BibTeX RDF	double chaining, information retrieval, tree structures, file searching
11	Morris Rubinoff, Samuel Bergman, Winifred Franks, Elayne R. Rubinoff	Experimental evaluation of information retrieval through a teletypewriter.	Commun. ACM	1968	DBLP DOI BibTeX RDF	document perusal, experimental document retrieval, information retrieval testing, information system evaluation, man-machine communication, on-line searching, remote console communication, remoter terminal communication, retrieval command language, symbolic command language, teletypewriter communication, user learning factors, interactive systems, document retrieval
11	J. D. Beyer, Ward Douglas Maurer, Frank K. Bamberger	Letters to the editor: Comments on "An Improved Hash Code for Scatter Storage".	Commun. ACM	1968	DBLP DOI BibTeX RDF	searching, hash table, hash code, scatter storage
11	W. D. Maurer	An Improved Hash Code for Scatter Storage.	Commun. ACM	1968	DBLP DOI BibTeX RDF	searching, hash table, hash code, scatter storage
11	Morris Rubinoff, Samuel Bergman, F. Rapp, H. Cautin	Information Retrieval: Easy English, a language for information retrieval through a remote typewriter console.	Commun. ACM	1968	DBLP DOI BibTeX RDF	conversational mode, information retrieval language, man-machine communication, natural language communication, on-line searching, remote console communication, remote terminal communication, symbolic command language, information retrieval, translator, document retrieval
11	Manfred Kochen	An experimental computer program for hypothesis selection.	Commun. ACM	1961	DBLP DOI BibTeX RDF	cognitive mechanisms, computer programs for concept formation, minimization of switching circuits, non-exhaustive searching, pattern identification, automatic classification
11	Nicolas Hanusse, David Ilcinkas, Adrian Kosowski, Nicolas Nisse	Locating a target with an agent guided by unreliable local advice: how to beat the random walk when you have a clock?	PODC	2010	DBLP DOI BibTeX RDF	faulty networks, distributed computing, mobile agents, random walks, expanders
11	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	Accurate Rank Ordering of Error Candidates for Efficient HDL Design Debugging.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
11	Xuetao Tao, Bin Wang 0008, Liming Zhang 0001	A new approach based on orthogonal bases of data space to decomposition of mixed pixels for hyperspectral imagery.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	decomposition of mixed pixels, simplex-based method, endmember extraction, N-FINDR, SGA, orthogonal bases, hyperspectral data
11	Christoph Kofler, Mathias Lux	Dynamic presentation adaptation based on user intent classification.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	multimedia, retrieval, user intention
11	Oreste Villa, Daniel G. Chavarría-Miranda, Kristyn J. Maschhoff	Input-independent, scalable and fast string matching on the Cray XMT.	IPDPS	2009	DBLP DOI BibTeX RDF
11	Ye Xu, Ling Wang 0001, Lingpo Li	An Effective Hybrid Algorithm Based on Simplex Search and Differential Evolution for Global Optimization.	ICIC (2)	2009	DBLP DOI BibTeX RDF	Nelder-Mead simplex search, global optimization, differential evolution, hybrid algorithm
11	George H. L. Fletcher, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	Towards a theory of search queries.	ICDT	2009	DBLP DOI BibTeX RDF
11	Yi Chen 0017	Exploiting memory cues in personal lifelog retrieval.	SIGIR	2009	DBLP DOI BibTeX RDF	personal lifelogs, associative memory, interactive IR
11	Robert Villa, Iván Cantador, Hideo Joho, Joemon M. Jose	An aspectual interface for supporting complex search tasks.	SIGIR	2009	DBLP DOI BibTeX RDF	aspectual search, complex search tasks, exploratory search
11	Joon-Ho Lim, Soo-Jun Park, Hyunchul Jang, Sunhee Park	BioProber2.0: a unified biomedical workbench with mining and probing literatures.	ICIS	2009	DBLP DOI BibTeX RDF	bio text mining, biomedical workbench, relation probing, statistics analysis
11	Bin-Bin Li, Ling Wang 0001, Bo Liu 0008	An Effective PSO-Based Hybrid Algorithm for Multiobjective Permutation Flow Shop Scheduling.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
11	Fabiano Atalla, Daniel Miranda, Jussara M. Almeida, Marcos André Gonçalves, Virgílio A. F. Almeida	Analyzing the impact of churn and malicious behavior on the quality of peer-to-peer web search.	SAC	2008	DBLP DOI BibTeX RDF	malicious behavior, peer-to-peer systems, web search engines, churn
11	Junqiu Wang, Yasushi Yagi	Switching local and covariance matching for efficient object tracking.	ICPR	2008	DBLP DOI BibTeX RDF
11	Beng Chin Ooi	Storage and Index Design for Community Systems.	DASFAA	2008	DBLP DOI BibTeX RDF
11	Wenzeng Zhang, Zhewei Zheng, Xiande Ma, Qiang Chen 0009, Dong Du 0001	Circular Sub-window Multi-Step GPI Method in Seam Tracking of Welding Robot Based on 3D Vision.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	seam tracking, gray projecting integral method, visual servoing, Welding robot
11	Daniele Paolo Scarpazza, Oreste Villa, Fabrizio Petrini	Exact multi-pattern string matching on the cell/b.e. processor.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	matching, string, cell processor
11	Xiwei Feng, Chuanying Jia, Jiaxuan Yang	Semantic Web Recommendation Model of Distributing Educational Resource.	CSSE (3)	2008	DBLP DOI BibTeX RDF
11	Ying-Liang Wu, Bo Zhou	A Fuzzy Information Retrieval Method Based on the Vector-Correlative Model.	FSKD (1)	2008	DBLP DOI BibTeX RDF
11	Chinmay R. Totekar, M. Vani, Sharath R. Palavalli	Search improvement in unstructured P2P network considering type of content.	ICON	2008	DBLP DOI BibTeX RDF
11	Michiko Yasukawa, Hidetoshi Yokoo	Clustering search results for mobile terminals.	SIGIR	2008	DBLP DOI BibTeX RDF	web search
11	Gang Xu, Jie Gao	A new method of weak signal detection based on improved matching pursuit algorithm.	IJCNN	2008	DBLP DOI BibTeX RDF
11	Matús Ondreicka, Jaroslav Pokorný	Extending Fagin's Algorithm for More Users Based on Multidimensional B-Tree.	ADBIS	2008	DBLP DOI BibTeX RDF
11	Wei Song, Ruixuan Li 0001, Zhengding Lu, Guangcan Yu	FAN: A Scalable Flabellate P2P Overlay Supporting Multi-Dimensional Attributes.	AINA	2008	DBLP DOI BibTeX RDF
11	Francisco Claude, Gonzalo Navarro 0001, Hannu Peltola, Leena Salmela, Jorma Tarhio	Speeding Up Pattern Matching by Text Sampling.	SPIRE	2008	DBLP DOI BibTeX RDF
11	Nieves R. Brisaboa, Antonio Fariña, Gonzalo Navarro 0001, Ángeles Saavedra Places, Eduardo Rodríguez	Self-indexing Natural Language.	SPIRE	2008	DBLP DOI BibTeX RDF
11	Ronald L. Hartung, Anne Håkansson	Using Meta-agents to Reason with Multiple Ontologies.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	Semantic Web 2.0, Ontology, multi-agent systems, intelligent agents, software agents, reasoning, ontology mapping, meta-agents
11	Nicholas B. Chang, Mingyan Liu	Controlled flooding search in a large network.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	best worst-case performance, controlled flooding search, query and search, wireless networks, competitive ratio, time-to-live (TTL), randomized strategy
11	Haoliang Jiang, Haixun Wang, Philip S. Yu, Shuigeng Zhou	GString: A Novel Approach for Efficient Search in Graph Databases.	ICDE	2007	DBLP DOI BibTeX RDF
11	Debajyoti Mukhopadhyay, Sounak Chakravorty, Sudarshan Nandy	An Algorithm for Hyper-Cube-Based Ontology Construction.	ICIT	2007	DBLP DOI BibTeX RDF
11	Jamal S. Rahhal, Mohammed Hawa, Dia I. Abu-Al-Nadi	Vieterbi decoder algorithm using quantum computing.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
11	Hui-Hua Ou-Yang	An exposure study of technology transaction.	SpringSim (2)	2007	DBLP BibTeX RDF	characteristic of technology, search, complexity adaption system
11	Ruichuan Chen, Wenjia Guo, Liyong Tang, Jian-bin Hu, Zhong Chen 0001	Hybrid Overlay Structure Based on Virtual Node.	ISCC	2007	DBLP DOI BibTeX RDF
11	Xuetao Tao, Bin Wang 0008, Liming Zhang 0001	A New Approach to Decomposition of Mixed Pixels Based on Orthogonal Bases of Data Space.	ICIC (1)	2007	DBLP DOI BibTeX RDF
11	Fujiang Ao, Yuejin Yan, Jian Huang, Kedi Huang	A Novel Pruning Technique for Mining Maximal Frequent Itemsets.	FSKD (3)	2007	DBLP DOI BibTeX RDF
11	Bo Chen, Qin Liao, Zhonghua Tang	A Clustering Based Bayesian Network Classifier.	FSKD (1)	2007	DBLP DOI BibTeX RDF
11	Yuhua Zheng, Yan Meng	Adaptive Object Tracking using Particle Swarm Optimization.	CIRA	2007	DBLP DOI BibTeX RDF
11	James Wells, Mark Truran, James Goulding	Search habits of the computer literate.	Hypertext	2007	DBLP DOI BibTeX RDF	transaction log analysis, query, users, search behaviour
11	Christina Theocharopoulou, Ioannis Partsakoulakis, George A. Vouros, Kostas Stergiou 0001	Overlay networks for task allocation and coordination in dynamic large-scale networks of cooperative agents.	AAMAS	2007	DBLP DOI BibTeX RDF	distributed constraint processing, coordination, cooperation, task and resource allocation
11	Xia Li, Jianlin Zhang, Tao Huang	A Standardized Learning Resources Retrieval System Based on Ontology Matching.	Edutainment	2007	DBLP DOI BibTeX RDF
11	Ching-Yeh Chen, Chao-Tsung Huang, Yi-Hau Chen, Liang-Gee Chen	Level C+ data reuse scheme for motion estimation with corresponding coding orders.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
11	Jan G. Bazan, Andrzej Skowron, Roman W. Swiniarski	Rough Sets and Vague Concept Approximation: From Sample Approximation to Adaptive Learning.	Trans. Rough Sets	2006	DBLP DOI BibTeX RDF	higher order vagueness, rough sets, constraints, reinforcement learning, intelligent systems, incremental learning, adaptive learning, Vagueness, approximation space
11	Taehee Lee 0001, Junho Shim, Hyunja Lee, Sang-goo Lee	A Pragmatic Approach to Model and Exploit the Semantics of Product Information.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
11	Katsumi Tanaka	Towards Next-Generation Search Engines and Browsers - Search Beyond Media Types and Places.	WISE	2006	DBLP DOI BibTeX RDF
11	Evgeny Ivanko	Fast Approximate Search in Strings with Rearrangements.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
11	Xin Du, Yueqiao Li, Datong Xie, Lishan Kang	A New Algorithm of Automatic Programming: GEGEP.	SEAL	2006	DBLP DOI BibTeX RDF	Gene Estimated Gene Expression Programming, Genetic Programming, Estimation of Distribution Algorithm, Gene Expression Programming
11	Theodor G. Wyeld, Robert M. Colomb	Using the Amazon Metric to Construct an Image Database based on what people do, not what they say.	IV	2006	DBLP DOI BibTeX RDF
11	Ming-Che Lee, Kun Hua Tsai, Ding Yen Ye, Tzone I. Wang	A Service-Based Framework for Personalized Learning Objects Retrieval and Recommendation.	ICWL	2006	DBLP DOI BibTeX RDF	Collaborative Feedback, Ontology, Recommendation, Retrieval, Learning Object, Preference, LOM
11	Yu Qiao 0001, Makoto Yasuhara	Recover Writing Trajectory from Multiple Stroked Image Using Bidirectional Dynamic Search.	ICPR (2)	2006	DBLP DOI BibTeX RDF
11	Feng Chu 0002, Lipo Wang	Active Mining Discriminative Gene Sets.	ICAISC	2006	DBLP DOI BibTeX RDF
11	Seung-Hee Jeong, Hyun-Jae Lee, Joon-Sung Lee, Chang-Heon Oh	Performance Analysis of Location Estimation Algorithm Using an Intelligent Coordination Scheme in RTLS.	KES (2)	2006	DBLP DOI BibTeX RDF
11	Javier Artiles, Julio Gonzalo, Fernando López-Ostenero, Víctor Peinado	Are Users Willing to Search Cross-Language? An Experiment with the Flickr Image Sharing Repository.	CLEF	2006	DBLP DOI BibTeX RDF
11	Denys Poshyvanyk, Maksym Petrenko, Andrian Marcus, Xinrong Xie, Dapeng Liu	Source Code Exploration with Google.	ICSM	2006	DBLP DOI BibTeX RDF
11	Bartolomeo Montrucchio, Davide Quaglia	New sorting-based lossless motion estimation algorithms and a partial distortion elimination performance analysis.	IEEE Trans. Circuits Syst. Video Technol.	2005	DBLP DOI BibTeX RDF
11	David Haccoun, Christian Cardinal, François Gagnon	Search and determination of convolutional self-doubly orthogonal codes for iterative threshold decoding.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
11	Michail Salampasis, John Tait	The Effect of Collection Fusion Strategies on Information Seeking Performance in Distributed Hypermedia Digital Libraries.	ECDL	2005	DBLP DOI BibTeX RDF
11	Qiang Ma 0001, Katsumi Tanaka	Context-Sensitive Complementary Information Retrieval for Text Stream.	DEXA	2005	DBLP DOI BibTeX RDF
11	Jun Lai, Ben Soh	Personalized Web Search Results with Profile Comparisons.	ICITA (1)	2005	DBLP DOI BibTeX RDF
11	Guangmei Zhang, Chen Rui, Xiaowei Li 0001, Congying Han	The Automatic Generation of Basis Set of Path for Path Testing.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
11	Yunfeng Wang, Jinian Bian, Xianlong Hong, Liu Yang, Qiang Zhou 0001, Qiang Wu	A New Methodology of Integrating High Level Synthesis and Floorplan for SoC Design.	ICESS	2005	DBLP DOI BibTeX RDF
11	Jaydev Mishra, Pinakpani Pal, Aditya Bagchi	SPEAR: Design of a Secured Peer-to-Peer Architecture .	ICISS	2005	DBLP DOI BibTeX RDF
11	Yinglei Song, Chunmei Liu, Russell L. Malmberg, Fangfang Pan, Liming Cai	Tree Decomposition Based Fast Search of RNA Structures Including Pseudoknots in Genomes.	CSB	2005	DBLP DOI BibTeX RDF	RNA secondary structure profiling, Pseudo-knot search, Covariance model, Tree decomposition
11	Zohar Naor	On-line search for mobile users.	INFOCOM	2005	DBLP DOI BibTeX RDF
11	Dongming Zhang, Yanfei Shen, Shouxun Lin, Yongdong Zhang 0001	Fast inter frame encoding based on modes pre-decision in H.264.	ICME	2005	DBLP DOI BibTeX RDF	variant test sequence, interframe encoding, tree-structured block partitioning, predecision modes, computational complexity, motion estimation, H.264, video coding standard
11	Beomseok Nam, Alan Sussman	Spatial indexing of distributed multidimensional datasets.	CCGRID	2005	DBLP DOI BibTeX RDF
11	Junliang Zhang, Gary Marchionini	Evaluation and evolution of a browse and search interface: relation browser.	DG.O	2005	DBLP BibTeX RDF	category overview, visualization, search, interface design, browse, interactive system, dynamic query
11	Sang-Cheol Park, Hwa Jeong Son, Chang Bu Jeong, Soo-Hyung Kim	Keyword Spotting on Hangul Document Images Using Two-Level Image-to-Image Matching.	IEA/AIE	2005	DBLP DOI BibTeX RDF
11	Nenad Stojanovic	An Approach for Defining Relevance in the Ontology-Based Information Retrieval.	Web Intelligence	2005	DBLP DOI BibTeX RDF
11	Tatiana A. S. Coelho, Pável Calado, Lamarque Vieira Souza, Berthier A. Ribeiro-Neto, Richard R. Muntz	Image Retrieval Using Multiple Evidence Ranking.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	text-based, World Wide Web, Bayesian networks, Image retrieval, evidence combination
11	Subhash Suri	Guest Editor's Foreword.	Discret. Comput. Geom.	2004	DBLP DOI BibTeX RDF
11	Marcus Raitner	Dynamic Tree Cross Products.	ISAAC	2004	DBLP DOI BibTeX RDF
11	Tun Li, Yang Guo 0003, Sikun Li	CLP Based Static Property Checking.	ATVA	2004	DBLP DOI BibTeX RDF