Search results for "fragment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Gerome Miklau, Dan Suciu	Containment and Equivalence for an XPath Fragment. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
19	Jan Hladik	Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment.	TABLEAUX	2002	DBLP DOI BibTeX RDF
19	Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny	Towards Bounded Model Checking for the Universal Fragment of TCTL.	FTRTFT	2002	DBLP DOI BibTeX RDF
19	Katerina Hlavácková-Schindler, Martin Kampel, Robert Sablatnig	Fitting of a closed planar curve representing a profile of an archaeological fragment.	Virtual Reality, Archeology, and Cultural Heritage	2001	DBLP DOI BibTeX RDF
19	Yuichi Inadomi, Tatsuya Nakano, Kazuo Kitaura, Umpei Nagashima	Increased Efficiency of Parallel Calculations of Fragment Molecular Orbitals by Using Fine-Grained Parallelization on a HITACHI SR8000 Supercomputer.	HPCN	2001	DBLP DOI BibTeX RDF
19	Regimantas Pliuskevicius	Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL.	IJCAR	2001	DBLP DOI BibTeX RDF
19	Carsten Lutz, Ulrike Sattler, Frank Wolter	Modal Logic and the Two-Variable Fragment.	CSL	2001	DBLP DOI BibTeX RDF
19	Geert Jan Bex, Sebastian Maneth, Frank Neven	A Formal Model for an Expressive Fragment of XSLT.	Computational Logic	2000	DBLP DOI BibTeX RDF
19	Domenico Cantone, Calogero G. Zarba	A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
19	Alfons Geser, Wolfgang Küchlin	Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip	FM-Trends	1998	DBLP DOI BibTeX RDF	List of Keywords propositional satisfiability, functional decision diagram (FDD), formal hardware verification, term rewriting, term graph rewriting
19	Erik Urland	Parallel Algorithm for Computing the Fragment Vector in Steiner Triple Systems.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
19	Romulo Goncalves, Martin L. Kersten	The Data Cyclotron query processing scheme.	EDBT	2010	DBLP DOI BibTeX RDF
19	Aminul Haque Chowdhury, Muhammad Ikram 0001, Hyon-Soo Cha, Hassen Redwan, S. M. Saif Shams, Ki-Hyung Kim, Seung-Wha Yoo	Route-over vs mesh-under routing in 6LoWPAN.	IWCMC	2009	DBLP DOI BibTeX RDF	WSN, routing, 6LoWPan
19	Pawel Parys	XPath evaluation in linear time with polynomial combined complexity.	PODS	2009	DBLP DOI BibTeX RDF	tree with data, xpath, xml
19	Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu	Single pass depth peeling via CUDA rasterizer.	SIGGRAPH Talks	2009	DBLP DOI BibTeX RDF
19	Tak-Lam Wong, Wai Lam, Bo Chen	Mining employment market via text block detection and adaptive cross-domain information extraction.	SIGIR	2009	DBLP DOI BibTeX RDF	text block detection, information extraction
19	Xiaoying Wu, Dimitri Theodoratos, Stefanos Souldatos, Theodore Dalamagas 0001, Timos K. Sellis	Efficient Evaluation of Generalized Tree-Pattern Queries with Same-Path Constraints.	SSDBM	2009	DBLP DOI BibTeX RDF
19	Sven Hartmann, Sebastian Link	Expressive, yet tractable XML keys.	EDBT	2009	DBLP DOI BibTeX RDF
19	Minzhu Xie, Jianxin Wang 0001	An Improved (and Practical) Parameterized Algorithm for the Individual Haplotyping Problem MFR with Mate-Pairs.	Algorithmica	2008	DBLP DOI BibTeX RDF	SNP (single-nucleotide polymorphism), NP-hardness, Haplotype, Genotype, Parameterized algorithm
19	Constantin Papaodysseus, Mihalis Exarhos, Mihalis Panagopoulos, Panayiotis Rousopoulos, C. Triantafillou, Thanasis Panagopoulos	Image and Pattern Analysis of 1650 B.C. Wall Paintings and Reconstruction.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
19	Peter Habermehl, Radu Iosif, Tomás Vojnar	A Logic of Singly Indexed Arrays.	LPAR	2008	DBLP DOI BibTeX RDF
19	Diego Magro, Anna Goy	The business knowledge for customer relationship management: an ontological perspective.	OBI	2008	DBLP DOI BibTeX RDF	customer relationship, management, enterprise ontology
19	Kuei-Ping Shih, San-Yuan Wang, Chien-Min Chou, Li-Jie Cheng	A dynamic rate adaptation with fragmentation MAC protocol against channel variation for wireless LANs.	ISCC	2008	DBLP DOI BibTeX RDF
19	Wei-Mou Zheng	The Use of a Conformational Alphabet for Fast Alignment of Protein Structures.	ISBRA	2008	DBLP DOI BibTeX RDF
19	Minzhu Xie, Jianxin Wang 0001, Jianer Chen	A Practical Exact Algorithm for the Individual Haplotyping Problem MEC.	BMEI (1)	2008	DBLP DOI BibTeX RDF	SNP (single-nucleotide polymorphism), MEC (Minimum Error Correction), NP-hardness, haplotype
19	Conrad Drescher, Michael Thielscher	A Fluent Calculus Semantics for ADL with Plan Constraints.	JELIA	2008	DBLP DOI BibTeX RDF
19	Oliver Kutz	Notes on Logics of Metric Spaces.	Stud Logica	2007	DBLP DOI BibTeX RDF	expressive completeness, Boolean modal logic, interpolation, Metric spaces, hybrid logic, axiomatisation
19	Shubhra Sankar Ray, Sanghamitra Bandyopadhyay, Sankar K. Pal	Genetic operators for combinatorial optimization in TSP and microarray gene ordering.	Appl. Intell.	2007	DBLP DOI BibTeX RDF	Gene analysis, Biocomputing, Data mining, Evolutionary algorithm, Microarray, Soft computing
19	Jon Hasselgren, Tomas Akenine-Möller	PCU: the programmable culling unit.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	hardware, rasterization, shaders, culling
19	James McCann, Nancy S. Pollard	Responsive characters from motion fragments.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	character control, motion graphs, motion generation
19	Yoshiki Higo, Yasushi Ueda, Shinji Kusumoto, Katsuro Inoue	Simultaneous Modification Support based on Code Clone Analysis.	APSEC	2007	DBLP DOI BibTeX RDF
19	Balder ten Cate, Johan van Benthem, Jouko A. Väänänen	Lindstrom theorems for fragments of first-order logic.	LICS	2007	DBLP DOI BibTeX RDF
19	Sergio Muñoz, Jorge Pérez 0001, Claudio Gutierrez 0001	Minimal Deductive Systems for RDF.	ESWC	2007	DBLP DOI BibTeX RDF
19	Jos de Bruijn, Stijn Heymans	RDF and Logic: Reasoning and Extension.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
19	Hisham M. Almasaeid, Ahmed E. Kamal 0001	Data delivery in fragmented wireless sensor networks using mobile agents.	MSWiM	2007	DBLP DOI BibTeX RDF	wireless sensor networks, mobile agents, closed queueing networks
19	Rémi Brochenin, Stéphane Demri, Étienne Lozes	Reasoning About Sequences of Memory States.	LFCS	2007	DBLP DOI BibTeX RDF
19	Shimon Ullman, Boris Epshtein	Visual Classification by a Hierarchy of Extended Fragments.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
19	Andrew R. Willis, David B. Cooper	Estimating a-priori Unknown 3D Axially Symmetric Surfaces from Noisy Measurements of Their Fragments.	3DPVT	2006	DBLP DOI BibTeX RDF
19	Steven P. Callahan, Milan Ikits, João Luiz Dihl Comba, Cláudio T. Silva	Hardware-Assisted Visibility Sorting for Unstructured Volume Rendering.	IEEE Trans. Vis. Comput. Graph.	2005	DBLP DOI BibTeX RDF	Volume visualization, graphics processors, visibility sorting
19	M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher 0001, Boris Konev	First-Order Temporal Verification in Practice.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	temporal logics of knowledge, theorem proving, resolution, first-order temporal logic
19	James Laird	The Elimination of Nesting in SPCF.	TLCA	2005	DBLP DOI BibTeX RDF
19	Enrique Alba 0001, Gabriel Luque, Sami Khuri	Assembling DNA fragments with parallel algorithms.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
19	Mouna Saad, Leila Jemni Ben Ayed	Introducing Dynamic Properties with Past Temporal Operators in the B Refinement.	ATVA	2005	DBLP DOI BibTeX RDF
19	Nadia Busi, Gianluigi Zavattaro	Deciding Reachability in Mobile Ambients.	ESOP	2005	DBLP DOI BibTeX RDF
19	Christoph Koch 0001	On the complexity of nonrecursive XQuery and functional query languages on complex values.	PODS	2005	DBLP DOI BibTeX RDF
19	Tomás Brázdil, Antonín Kucera 0001, Oldrich Strazovský	On the Decidability of Temporal Properties of Probabilistic Pushdown Automata.	STACS	2005	DBLP DOI BibTeX RDF
19	Witold Charatonik, Lilia Georgieva, Patrick Maier 0001	Bounded Model Checking of Pointer Programs.	CSL	2005	DBLP DOI BibTeX RDF
19	Martin Grohe, Nicole Schweikardt	The Succinctness of First-Order Logic on Linear Orders.	LICS	2004	DBLP DOI BibTeX RDF
19	Michael Fisher 0001, Alexei Lisitsa 0001	Monodic ASMs and Temporal Verification.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
19	Byung-Uck Kim, Woo-Chan Park, Sung-Bong Yang, Tack-Don Han	A Cost-Effective Supersampling for Full Scene AntiAliasing.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF	Graphics Hardware, Antialiasing, Supersampling, Rendering Algorithm
19	Krzysztof Kryszczuk, Patrice Morier, Andrzej Drygajlo	Study of the Distinctiveness of Level 2 and Level 3 Features in Fragmentary Fingerprint Comparison.	ECCV Workshop BioAW	2004	DBLP DOI BibTeX RDF
19	Helmut Schwichtenberg	Proof Search in Minimal Logic.	AISC	2004	DBLP DOI BibTeX RDF
19	Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev	Logics of metric spaces.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	expressive completeness, Decidability, spatial reasoning, metric spaces
19	Janne V. Kujala, Tuomas J. Lukka	Rendering recognizably unique textures.	IV	2003	DBLP DOI BibTeX RDF
19	Guangyuan Li, Zhisong Tang	Translating a Continuous-Time Temporal Logic into Timed Automata.	APLAS	2003	DBLP DOI BibTeX RDF
19	Frank D. Valencia	Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL.	ICLP	2003	DBLP DOI BibTeX RDF
19	Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar	On the Universal and Existential Fragments of the µ-Calculus.	TACAS	2003	DBLP DOI BibTeX RDF
19	Marko Samer, Helmut Veith	Validity of CTL Queries Revisited.	CSL	2003	DBLP DOI BibTeX RDF
19	Konstantin Biatov	Large Text and Audio Data Alignment for Multimedia Applications.	TSD	2003	DBLP DOI BibTeX RDF
19	Erich Grädel, Colin Hirsch, Martin Otto 0001	Back and forth between guarded and modal logics.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	guarded logic, modal logic, Bisimulation, model theory
19	Witold Charatonik, Andrew D. Gordon 0001, Jean-Marc Talbot	Finite-Control Mobile Ambients.	ESOP	2002	DBLP DOI BibTeX RDF
19	Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt	Computational Space Efficiency and Minimal Model Generation for Guarded Formulae.	LPAR	2001	DBLP DOI BibTeX RDF
19	Andrew D. Gordon 0001, Don Syme	Typing a multi-language intermediate code.	POPL	2001	DBLP DOI BibTeX RDF
19	Paolo Bottoni, Bernd Meyer 0001, Francesco Parisi-Presicce	On a Uniform Logical Framework for Diagrammatic Reasoning.	HCC	2001	DBLP DOI BibTeX RDF
19	Jean-Marc Talbot	On the Alternation-Free Horn Mu-calculus.	LPAR	2000	DBLP DOI BibTeX RDF
19	Michael Dierkes	An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas.	Computational Logic	2000	DBLP DOI BibTeX RDF
19	Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov	The Decidability of Simultaneous Rigid E-Unification with One Variable.	RTA	1998	DBLP DOI BibTeX RDF
19	Shashi Shekhar, Andrew Fetterer, Bjajesh Goyal	Materialization Trade-Offs in Hierarchical Shortest Path Algorithms.	SSD	1997	DBLP DOI BibTeX RDF
19	Ahmed Bouajjani, Peter Habermehl	Constrained Properties, Semilinear Systems, and Petri Nets.	CONCUR	1996	DBLP DOI BibTeX RDF
19	Michele Boreale, Luca Trevisan	On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract).	FSTTCS	1995	DBLP DOI BibTeX RDF
19	Pavel A. Pevzner, Robert J. Lipshutz	Towards DNA Sequencing Chips.	MFCS	1994	DBLP DOI BibTeX RDF
19	Ahmed Bouajjani, Rachid Echahed, Riadh Robbana	Verification of Nonregular Temporal Properties for Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
19	Klaus U. Schulz	On Existential Theories of List Concatenation.	CSL	1994	DBLP DOI BibTeX RDF
19	Sakti Pramanik, David T. Kao, David Vineyard	Fragmentation of Recursive Relations in Distributed Datbases.	EDBT	1992	DBLP DOI BibTeX RDF
16	Ali Safari Mamaghani, Mostafa Mahi, Mohammad Reza Meybodi	A Learning Automaton Based Approach for Data Fragments Allocation in Distributed Database Systems.	CIT	2010	DBLP DOI BibTeX RDF	Object migration learning automaton, Distributed Data fragment allocation, Distributed systems
16	Bernhard Haslhofer, Wolfgang Jochum, Ross King, Christian Sadilek, Karin Schellner	The LEMO annotation framework: weaving multimedia annotations with the web.	Int. J. Digit. Libr.	2009	DBLP DOI BibTeX RDF	Fragment identification, Multimedia, Semantics, Interoperability, Web, Annotations
16	Jun Liu 0027, Mark Roantree	Precomputing queries for personal health sensor environments.	MEDES	2009	DBLP DOI BibTeX RDF	XPath view, XPath view materialisation, multi-fragment, view adaptation
16	Gustavo Reis, Francisco Fernández 0001, Gustavo Olague	Cooperative and decomposable approaches on royal road functions: overcoming the random mutation hill-climber.	GECCO	2009	DBLP DOI BibTeX RDF	gene fragment competition, hitchhiking, parisian approach, royal road
16	Simon Winkelbach, Friedrich M. Wahl	Pairwise Matching of 3D Fragments Using Cluster Trees.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Fracture matching, 3D puzzle, Fragment alignment, Broken objects, Surface registration, Cluster tree
16	Bjorn De Sutter, Bertrand Anckaert, Jens Geiregat, Dominique Chanet, Koen De Bosschere	Instruction Set Limitation in Support of Software Diversity.	ICISC	2008	DBLP DOI BibTeX RDF	code fragment matching, diversity, software protection, binary rewriting
16	Ismail Omar Hababeh, Muthu Ramachandran, Nicholas Bowring	A high-performance computing method for data allocation in distributed database systems.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	High-performance data allocation, Fragment allocation, Simulation, Clustering, Performance evaluation, Communication cost
16	Degui Zhi, Uri Keich, Pavel A. Pevzner, Steffen Heber, Haixu Tang	Correcting Base-Assignment Errors in Repeat Regions of Shotgun Assembly.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	Fragment assembly, finishing, expectation maximization
16	Haiyan Kang, Jichang Wu, Guojun Li	Removable Edges of a Spanning Tree in 3-Connected 3-Regular Graphs.	FAW	2007	DBLP DOI BibTeX RDF	3-connected 3-regular graph, removable edge, edge-vertex-cut fragment
16	Zhigang Hua, Xing Xie 0001, Hao Liu 0007, Hanqing Lu, Wei-Ying Ma	Design and Performance Studies of an Adaptive Scheme for Serving Dynamic Web Content in a Mobile Computing Environment.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	small form factors, Web content adaptation, fragment caching, Mobile computing, dynamic content, adaptive content delivery
16	Balder ten Cate, Massimo Franceschet	Guarded Fragments with Constants.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	complexity, hybrid logic, guarded fragment
16	Jichang Wu, Xueliang Li 0001	Removable Edges in Longest Cycles of 4-Connected Graphs.	Graphs Comb.	2004	DBLP DOI BibTeX RDF	4-Connected graph, Removable edge, Contractible edge, Edge-vertex-cut fragment
16	Willem J. Blok, James G. Raftery	Fragments of R-Mingle.	Stud Logica	2004	DBLP DOI BibTeX RDF	Sugihara algebra, mingle, fragment, RM, relevance logic
16	Roman Kossak	A note on a theorem of Kanovei.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Fragment of arithmetic, Recursive saturation, Satisfaction class
16	Anindya Datta, Kaushik Dutta, Helen M. Thomas, Debra E. VanderMeer, Krithi Ramamritham	Proxy-based acceleration of dynamically generated content on the world wide web: An approach and implementation.	ACM Trans. Database Syst.	2004	DBLP DOI BibTeX RDF	caching dynamically generated content, fragment caching, world wide web, implementation, proxy caching, Edge caching
16	Wen-Syan Li, Wang-Pin Hsiung, Oliver Po, Koji Hino, K. Selçuk Candan, Divyakant Agrawal	Challenges and practices in deploying web acceleration solutions for distributed enterprise systems.	WWW	2004	DBLP DOI BibTeX RDF	edge server, web acceleration, reliability, scalability, fragment, j2ee, application server, dynamic content
16	Qingsong Wei, Xianliang Lu, Xu Zhou	DFTS: a novel distributed high fault-tolerance storage mechanism.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF	fault-tolerance, network, distributed, storage, fragment, XOR
16	Vijay Kumar 0002, Nitin Prabhu, Margaret H. Dunham, Ayse Yasemin Seydim	TCOT-A Timeout-Based Mobile Transaction Commitment Protocol.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	execution fragment, Mobile Database System, handoff, commit, compensation, Cell, timeout, mobile transaction
16	Jesse Anton, Lawrence Jacobs, Xiang Liu, Jordan Parker, Zheng Zeng, Tie Zhong	Web caching for database applications with Oracle Web Cache.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	partial-page caching, performance, personalization, caching, heuristics, consistency, template, fragment, ORACLE, disambiguation, session, dynamic content, invalidation
16	Thomas Eiter, Yuri Gurevich, Georg Gottlob	Existential second-order logic over strings.	J. ACM	2000	DBLP DOI BibTeX RDF	S1S, existential fragment, finite satisfiability, finite words, prefix classes, model checking, strings, regular languages, descriptive complexity, finite model theory, decision problem, NP, second-order logic
16	Badara Ali Kaba, Jean-Claude Derniame	Evolution of on-line process fragments families.	ISPW	1996	DBLP DOI BibTeX RDF	online process fragment family evolution, online product families, cooperative development process, access mechanism, transient update mechanism, configurable fragments, evolutionary process fragments, software reuse, software reusability, software development processes
16	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
16	Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar	Decision Problems for Propositional Linear Logic	FOCS	1990	DBLP DOI BibTeX RDF	noncommutative propositional linear logic, propositional linear logic, multiplicative fragment, unrestricted weakening, NP-completeness, undecidability, decision problem, PSPACE-complete
13	N. Umasankari, Balasundaram Muthukumar, C. Shanmuganathan	Performance Evaluation of Biometric Authentication Using Fragment Jaya Optimizer-Based Deep CNN with Multi-kernel SVM.	SN Comput. Sci.	2024	DBLP DOI BibTeX RDF
13	Yangjie Cao, Zheng Fang, Hui Tian, Ronghan Wei	2D Irregular Fragment Reassembly With Deep Learning Assistance.	IEEE Access	2024	DBLP DOI BibTeX RDF
13	Sota Matsuoka, Kota Sakakura, Yoshinobu Akinaga, Kazuki Akisawa, Koji Okuwaki, Hideo Doi, Yuji Mochizuki	Enhancement of energy decomposition analysis in fragment molecular orbital calculations.	J. Comput. Chem.	2024	DBLP DOI BibTeX RDF