|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1710 occurrences of 1136 keywords
|
|
|
Results
Found 3162 publication records. Showing 3162 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Chad E. Brown, Gert Smolka |
Terminating Tableaux for the Basic Fragment of Simple Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 138-151, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Aleksy Schubert |
The Existential Fragment of the One-Step Parallel Rewriting Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings, pp. 78-92, 2009, Springer, 978-3-642-02347-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Vamsi Kundeti, Sanguthevar Rajasekaran |
A local structural alignment algorithm with Variable Length Alignment Fragment Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2008, October 8-10, 2008, Athens, Greece, pp. 1-7, 2008, IEEE, 978-1-4244-2845-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Hongwei Wu |
PCA-based linear combinations of oligonucleotide frequencies for metagenomic DNA fragment binning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBCB ![In: Proceedings of the 2008 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2008, Sun Valley Resort, Sun Valley, Idaho, USA, September 15-17, 2008, pp. 46-53, 2008, IEEE, 978-1-4244-1778-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Gaëlle Fontaine |
Continuous Fragment of the mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 139-153, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Scott continuity, constructive fixpoints, preservation results, automata, mu-calculus |
26 | Jianhua Feng, Yuguo Liao, Yong Zhang 0002 |
HCH for Checking Containment of XPath Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(5), pp. 736-748, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
conditioned homomorphism, XML, XPath, query containment, computer software, tree pattern |
26 | Roberto Maieli |
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, pp. 363-377, 2007, Springer, 978-3-540-75558-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Emanuel Kieronski, Lidia Tendera |
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, pp. 318-332, 2007, Springer, 978-3-540-75558-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Junchang Ma, Zhimin Gu |
Fragment-Based Delta Encoding: A New Scheme for Efficient Delivery of Dynamic Web Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 101, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Ashkan Bayati, Pedram Ghodsnia, Maseud Rahgozar, Reza Basseda |
A Novel Way of Determining the Optimal Location of a Fragment in a DDBS: BGBR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSNC ![In: Proceedings of the International Conference on Systems and Networks Communications (ICSNC 2006), October 29 - November 3, 2006, Papeete, Tahiti, French Polynesia, pp. 64, 2006, IEEE Computer Society, 0-7695-2699-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Linh Anh Nguyen |
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 346-358, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Binglong Li, QingXian Wang, Junyong Luo |
Forensic Analysis of Document Fragment Based on SVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: Second International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2006), Pasadena, California, USA, December 18-20, 2006, Proceedings, pp. 236-239, 2006, IEEE Computer Society, 0-7695-2745-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jan Meseth, Michael Guthe, Reinhard Klein |
Interactive fragment tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 21(8-10), pp. 591-600, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Interactive reflections, GPU-based rendering, Ray tracing |
26 | Hidetaka Matsumura, Keishi Tajima |
Incremental evaluation of a monotone XPath fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 245-246, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
XML, query, XPath, continuous, view, materialized view, view maintenance, incremental evaluation |
26 | Stefano Aguzzoli, Brunella Gerla |
Normal Forms for the One-Variable Fragment of Hájek's Basic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada, pp. 284-289, 2005, IEEE Computer Society, 0-7695-2336-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Regimantas Pliuskevicius, Aida Pliuskeviciene |
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, pp. 112-128, 2005, Springer, 3-540-33996-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Zohra Bellahsene |
View Adaptation in the Fragment-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(11), pp. 1441-1455, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
data warehouse evolution, view redefinition, Materialized views, view synchronization, view adaptation |
26 | Alberto Trombetta, Danilo Montesi |
Equivalences and Optimizations in an Expressive XSLT Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 8th International Database Engineering and Applications Symposium (IDEAS 2004), 7-9 July 2004, Coimbra, Portugal, pp. 171-180, 2004, IEEE Computer Society, 0-7695-2168-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | In-Yee Lee, Ta-tsen Soong, Jan-Ming Ho, Ming-Jing Hwang |
Derivation and Analysis of Fragment Libraries of Protein Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 19-21 March 2004, Taichung, Taiwan, pp. 516-521, 2004, IEEE Computer Society, 0-7695-2173-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Theresa Foley, Mike Houston, Pat Hanrahan |
Efficient partitioning of fragment shaders for multiple-output hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphics Hardware ![In: Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Symposium on Graphics Hardware 2004, Grenoble, France, August 29-30, 2004, pp. 45-53, 2004, Eurographics Association, 3-905673-15-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Ki-Chang Kim, Jin Soo Hwang, Byung Yong Kim, Soo Duk Kim |
Tagged Fragment Marking Scheme with Distance-Weighted Sampling for a Fast IP Traceback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings, pp. 442-452, 2003, Springer, 3-540-02354-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Filippo Mignosi, Antonio Restivo, Marinella Sciortino |
Forbidden Factors and Fragment Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers, pp. 349-358, 2001, Springer, 3-540-43453-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Hans de Nivelle, Ian Pratt-Hartmann |
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 211-225, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Shimon Ullman, Erez Sali |
Object Classification Using a Fragment-Based Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biologically Motivated Computer Vision ![In: Biologically Motivated Computer Vision, First IEEE International Workshop, BMVC 2000, Seoul, Korea, May 15-17, 2000, Proceedings, pp. 73-87, 2000, Springer, 3-540-67560-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Harald Ganzinger, Hans de Nivelle |
A Superposition Decision Procedure for the Guarded Fragment with Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 295-303, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu |
Efficient depth peeling via bucket sort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High Performance Graphics ![In: Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Conference on High Performance Graphics 2009, New Orleans, Louisiana, USA, August 1-3, 2009, pp. 51-57, 2009, Eurographics Association, 978-1-60558-603-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
depth peeling, max/min blending, multiple render target (MRT), order independent transparency (OIT), graphics hardware, histogram equalization, bucket sort |
26 | Rose H. Abdul Rauf, Ulrich Berger 0001, Anton Setzer |
A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 298-321, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Simply typed lambda-calculus, Kripke-style logical relation, Object-oriented programming, Functional programming, Inheritance, Denotational semantics, Correctness proof |
26 | Felipe G. Dias, Eber A. Schmitz, Maria Luiza Machado Campos, Alexandre L. Correa, Antonio J. Alencar |
Elaboration of use case specifications: an approach based on use case fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 614-618, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
information systems specification, use case fragments, use cases |
26 | Minzhu Xie, Jianxin Wang 0001, Jianer Chen |
A Practical Parameterized Algorithm for the Individual Haplotyping Problem MLF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings, pp. 433-444, 2008, Springer, 978-3-540-79227-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SNP (single-nucleotide polymorphism), MLF (Minimum Letter Flip), NP-hardness, haplotype, parameterized algorithm |
26 | Joe Dundas, T. Andrew Binkowski, Bhaskar DasGupta, Jie Liang 0002 |
Topology Independent Protein Structural Alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings, pp. 171-182, 2007, Springer, 978-3-540-74125-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Anatoli Degtyarev, Michael Fisher 0001, Boris Konev |
Monodic temporal resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(1), pp. 108-150, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Temporal logic, resolution, automated theorem proving |
26 | Félix Bou, Àngel García-Cerdaña, Ventura Verdú |
On two fragments with negation and without implication of the logic of residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(5), pp. 615-647, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B47, 03F99, 06D15, 06B99, 03B50 |
26 | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
What's Decidable About Arrays? ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings, pp. 427-442, 2006, Springer, 3-540-31139-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Rajeev Alur, Salvatore La Torre |
Deterministic generators and games for Ltl fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(1), pp. 1-25, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Games, Temporal Logic, Automata |
26 | Ian Pratt-Hartmann |
Fragments of Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(2), pp. 207-223, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
decidable fragments, computational complexity, semantics, logic |
26 | Benjamin N. Grosof, Ian Horrocks 0001, Raphael Volz, Stefan Decker |
Description logic programs: combining logic programs with description logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, Budapest, Hungary, May 20-24, 2003, pp. 48-57, 2003, ACM, 1-58113-680-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ontologies, XML, semantic web, interoperability, knowledge representation, logic programs, RDF, description logic, rules, information integration, translation, model-theoretic semantics, inferencing |
26 | Romeo Rizzi, Vineet Bafna, Sorin Istrail, Giuseppe Lancia |
Practical Algorithms and Fixed-Parameter Tractability for the Single Individual SNP Haplotyping Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings, pp. 29-43, 2002, Springer, 3-540-44211-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Markus Graswald, Hendrik Rothe |
Terminal ballistics of intercept ammunition against mortar targets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 720-728, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ammunition consumption, blast effect, fragment impact, physical modeling, statistical approach |
23 | Satoshi Fujishima, Yoshimasa Takahashi, Katsumi Nishikori, Hiroaki Kato, Takashi Okada |
Extended Study of the Classification of Dopamine Receptor Agonists and Antagonists using a TFS-based Support Vector Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 25(3), pp. 203-212, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Topological Fragment Spectra, Dopamine Agonists, Dopamine Antagonists, Support Vector Machine, Pattern Classification |
23 | Guan-Chun Luh, Chung-Huei Chueh |
Job Shop Scheduling Optimization Using Multi-modal Immune Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings, pp. 1127-1137, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multi-modal immune algorithm, clonal proliferation, Gene fragment recombination, antibody diversification, job-shop scheduling problem |
23 | Natarajan Kannan, Toufeeq Hussain |
Live URLs: breathing life into URLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 879-880, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fragment identifier, web addressing, HTML, HTTP, browsers, web content, ACM proceedings, URL |
23 | Takashi Kanai, Yutaka Ohtake, Hiroaki Kawata, Kiwamu Kase |
GPU-based rendering of sparse low-degree implicit surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2006, Kuala Lumpur, Malaysia, November 29 - December 2, 2006, pp. 165-171, 2006, ACM, 1-59593-564-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SLIM, fragment program, GPU, implicit surface, ray casting |
23 | Joachim Biskup, Piero A. Bonatti |
Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings, pp. 43-62, 2006, Springer, 3-540-31782-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation |
23 | Nick Lowe, Amitava Datta |
A New Technique for Rendering Complex Portals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 11(1), pp. 81-90, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Portal-based rendering, fragment-culling, dual-depth-buffer, scene composition, complex portals |
23 | Chun Yuan, Yu Chen, Zheng Zhang 0001 |
Evaluation of Edge Caching/Offloading for Dynamic Content Delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(11), pp. 1411-1423, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fragment caching, page composition, dynamic content, offloading, Edge caching |
23 | Colleen Shannon, David Moore 0001, Kimberly C. Claffy |
Beyond folklore: observations on fragmented traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 10(6), pp. 709-720, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Internet, measurement, TCP/IP, IP, fragment, fragmentation, traffic measurement |
23 | Ron Steinfeld, Laurence Bull, Yuliang Zheng 0001 |
Content Extraction Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2001, 4th International Conference Seoul, Korea, December 6-7, 2001, Proceedings, pp. 285-304, 2001, Springer, 3-540-43319-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fragment-extraction, content blinding, fact verification, content verification, digital signatures, provable security, Content-extraction |
23 | Colleen Shannon, David Moore 0001, Kimberly C. Claffy |
Characteristics of fragmented IP traffic on internet links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Workshop ![In: Proceedings of the 1st ACM SIGCOMM Internet Measurement Workshop, IMW 2001, San Francisco, California, USA, November 1-2, 2001, pp. 83-97, 2001, ACM, 1-58113-435-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
CoralReef, Internet, TCP/IP, fragment, fragmentation |
23 | Song Ci, Hamid Sharif |
Adaptive Approaches to Enhance Throughput of IEEE 802.11 Wireless LAN with Bursty Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 44-45, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
bursty channel, back-off based fragment adaptive algorithms, channel throughput, system end-to-end delay reduction, wireless LAN, delays, throughput, noise, adaptive systems, simulation results, telecommunication standards, IEEE standards, telecommunication channels, IEEE 802.11 wireless LAN, noisy channel |
23 | Hideo Nagumo, Mi Lu, Karan L. Watson |
Parallel Parsing Algorithms for Static Dictionary Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(12), pp. 1241-1251, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
dictionary techniques, optimal parsing, longest fragment first parsing, parallel algorithms, Data compression, PRAM |
23 | Phan Hong Giang |
Representation of Uncertain Belief Using Interval Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 111-116, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
uncertain belief representation, interval probability, representation equivalence, probabilistic closures, consequence relations, non-tautological fragment, probability distribution, uncertainty handling, convex set |
23 | Maria Letizia Jaccheri |
Reusing software process models in E3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPW ![In: 10th International Software Process Workshop, ISPW 1996, June 17-19, 1996, Dijon, France, pp. 86-88, 1996, IEEE Computer Society, 0-8186-7725-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
software process model reuse, E/sup 3/, Environment for Experimenting and Evolving software processes, process elicitation, process reuse, fragment storage, graphical user interface, software tool, object-oriented database, software reusability, object oriented language, associations, consistency management, process modeling language, process specification |
23 | Tatsuya Akutsu, Kentaro Onizuka, Masato Ishikawa |
New hashing techniques and their application to a protein structure database system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 197-206, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
protein structure database system, hash vector, fixed length fragment, three dimensional protein structure, true hash vectors, root mean square deviation, PDB data, PROTEIX, database management systems, database management system, file organisation, biology computing, proteins, protein structures, structural similarity, molecular configurations, molecular biophysics, hashing techniques |
23 | Darren M. Platt, Trevor I. Dix |
A model for comparing genomic restriction maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 24-31, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
genomic restriction map comparison, genetic physical maps, genomic extracts, plausible maps, minimum message length principles, fragment length data, clone fingerprinting, sequence tagged sites, map structure, mapping program, error parameters, mapping process, uncertainties, statistical analysis, errors, DNA, DNA, genetics, biology computing, objective function, optimal solution |
23 | Eric Platt, Barry Robson |
Practical use of a fully automatic homology-based protein modelling protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 325-334, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fully automatic homology-based protein modelling protocol, tertiary structure prediction, HOM FOLD, fragment-based approach, GLOBAL language, energy refinement, X-ray crystallographic data, reproducibilty, 1.80 angstrom, rule based system, interactive modelling, biology computing, proteins, algorithm performance, molecular configurations, molecular biophysics |
23 | Chengwen Liu, Clement T. Yu |
Performance Issues in Distributed Query Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(8), pp. 889-905, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
pipeline strategies, fragment and replicate strategy, partition and replicate strategy, queryexecution, queryprocessing, performance evaluation, distributed databases, database theory, response times, distributed query processing, local reduction, performance issues |
19 | Mark Menor, Kyungim Baek, Mahdi Belcaid, Yannick Gingras, Guylaine Poisson |
Virus DNA-fragment classification using taxonomic hidden Markov model profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1567-1571, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
machine learning, annotation, viruses, metagenomics |
19 | |
HTML Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1323, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang |
Improved Bounded Model Checking for the Universal Fragment of CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(1), pp. 96-109, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking algorithm, ACTL, SAT, software verification, bounded model checking |
19 | Francesco Belardinelli, Alessio Lomuscio |
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 140-154, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Wei Zheng 0009, Karl E. Griswold, Chris Bailey-Kellogg |
Protein Fragment Swapping: A Method for Asymmetric, Selective Site-Directed Recombination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Research in Computational Molecular Biology, 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings, pp. 321-338, 2009, Springer, 978-3-642-02007-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Jian Gong, David W. Cheung, Nikos Mamoulis, Ben Kao |
XML Data Integration Using Fragment Join. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 14th International Conference, DASFAA 2009, Brisbane, Australia, April 21-23, 2009. Proceedings, pp. 334-338, 2009, Springer, 978-3-642-00886-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Andrea Masini, Luca Viganò 0001, Marco Volpe 0001 |
A Labeled Natural Deduction System for a Fragment of CTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 338-353, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | André O. Falcão, Daniel Faria, António E. N. Ferreira |
Peptide programs: applying fragment programs to protein classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DTMBIO ![In: Proceeding of the 2nd International Workshop on Data and Text Mining in Bioinformatics, DTMBIO 2008, Napa Valley, California, USA, October 30, 2008, pp. 37-44, 2008, ACM, 978-1-60558-251-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
machine learning, classification, bioinformatics, proteins |
19 | Márcio Dorn, Osmar Norberto de Souza |
CReF: a central-residue-fragment-based method for predicting approximate 3-D polypeptides structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1261-1267, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
3-D protein structure prediction, CReF, ab initio, de novo, knowledge-based methods, scientific data bases |
19 | Viswanathan Srikrishnan, Tadinada Nagaraj, Subhasis Chaudhuri |
Fragment Based Tracking for Scale and Orientation Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVGIP ![In: Sixth Indian Conference on Computer Vision, Graphics & Image Processing, ICVGIP 2008, Bhubaneswar, India, 16-19 December 2008, pp. 328-335, 2008, IEEE Computer Society, 978-0-7695-3476-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Sylvain Hallé, Roger Villemaire |
Satisfying a Fragment of XQuery by Branching-Time Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Montréal, Canada, 16-18 June 2008, pp. 72-76, 2008, IEEE Computer Society, 978-0-7695-3181-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Jacques Duparc, Alessandro Facchini |
Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 186-195, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wadge games, topological complexity, parity games, weakly alternating automata, ?-calculus |
19 | Lin-Wang Wang, Byounghak Lee, Hongzhang Shan, Zhengji Zhao, Juan C. Meza, Erich Strohmaier, David H. Bailey |
Linearly scaling 3D fragment method for large-scale electronic structure calculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE Conference on High Performance Computing, SC 2008, November 15-21, 2008, Austin, Texas, USA, pp. 65, 2008, IEEE/ACM, 978-1-4244-2835-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Benny Kimelfeld, Yehoshua Sagiv |
Revisiting redundancy and minimization in an XPath fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2008, 11th International Conference on Extending Database Technology, Nantes, France, March 25-29, 2008, Proceedings, pp. 61-72, 2008, ACM, 978-1-59593-926-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Duane Merrill, Kim M. Hazelwood |
Trace fragment selection within method-based JVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008, pp. 41-50, 2008, ACM, 978-1-59593-796-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
region selection, JVM, traces, JIT compilation |
19 | Roland Axelsson, Martin Lange |
Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, pp. 62-76, 2007, Springer, 978-3-540-75558-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler |
Conjunctive Queries for a Tractable Fragment of OWL 1.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC/ASWC ![In: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007., pp. 310-323, 2007, Springer, 978-3-540-76297-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Chin-Fu Kuo, Hsueh-Wen Tseng, Ai-Chun Pang |
A fragment-based retransmission scheme with QoS considerations for wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing, IWCMC 2007, Honolulu, Hawaii, USA, August 12-16, 2007, pp. 225-230, 2007, ACM, 978-1-59593-695-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
QoS, wireless networks, retransmission |
19 | Michael Lawrence, Frank K. H. A. Dehne, Andrew Rau-Chaplin |
Implementing OLAP Query Fragment Aggregation and Recombination for the OLAP Enabled Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sangwook Lee, Jin Kim, Hyunchul Kang |
XFLab: A Technique of Query Processing over XML Fragment Stream. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Data Management. Data, Data Everywhere, 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007, Proceedings, pp. 185-189, 2007, Springer, 978-3-540-73389-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | José Baiocchi, Bruce R. Childers, Jack W. Davidson, Jason Hiser, Jonathan Misurda |
Fragment cache management for dynamic binary translators in embedded systems with scratchpad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 75-84, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
embedded systems, dynamic binary translation, scratchpad |
19 | Enrique Alba 0001, Gabriel Luque |
Performance of Distributed GAs on DNA Fragment Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Evolutionary Computations ![In: Parallel Evolutionary Computations, pp. 97-115, 2006, Springer, 978-3-540-32837-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Junchang Ma, Zhimin Gu |
Finding Shared Fragments in Large Collections of Web Pages for Fragment-Based Web Caching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Fifth IEEE International Symposium on Network Computing and Applications, NCA 2006, 24-26 July 2006, Cambridge, Massachusetts, USA, pp. 251-254, 2006, IEEE Computer Society, 0-7695-2640-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Hans-Michael Kaltenbach, Sebastian Böcker, Sven Rahmann |
Markov Additive Chains and Applications to Fragment Statistics for Peptide Mass Fingerprinting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Systems Biology and Computational Proteomics ![In: Systems Biology and Computational Proteomics, Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers, pp. 29-41, 2006, Springer, 978-3-540-73059-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Damiano Zanardini |
Abstract non-interference in a fragment of Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1822-1826, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Erqing Xu |
Extending HPSG Towards HDS as a Fragment of pCLL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings, pp. 1130-1134, 2006, Springer, 3-540-36667-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Yuguo Liao, Jianhua Feng, Yong Zhang 0002, Lizhu Zhou |
Hidden Conditioned Homomorphism for XPath Fragment Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 11th International Conference, DASFAA 2006, Singapore, April 12-15, 2006, Proceedings, pp. 454-467, 2006, Springer, 3-540-33337-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Prawee Sriplakich, Xavier Blanc 0001, Marie-Pierre Gervais |
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 631-645, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Herzig, Ivan José Varzinczak |
A Modularity Approach for a Fragment of ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 216-228, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Knowledge representation, modularity, description logics |
19 | Andreas Opelt, Axel Pinz, Andrew Zisserman |
A Boundary-Fragment-Model for Object Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part II, pp. 575-588, 2006, Springer, 3-540-33834-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Klaus Aehlig, Jan Johannsen |
An elementary fragment of second-order lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 468-480, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Elementary recursive functions, complexity, lambda calculus, second order logic |
19 | Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche |
The Semijoin Algebra and the Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 14(3), pp. 331-343, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
guarded logic, databases, relational algebra, semijoin |
19 | Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata |
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 34(1), pp. 49-72, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
semantic tableau, set theory, decision procedure |
19 | Jim Challenger, Paul Dantzig, Arun Iyengar, Karen Witting |
A fragment-based approach for efficiently creating dynamic web content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Internet Techn. ![In: ACM Trans. Internet Techn. 5(2), pp. 359-389, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Caching, Web, fragments, publishing, dynamic content, Web performance |
19 | Domenico Cantone, Calogero G. Zarba |
A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, pp. 93-107, 2005, Springer, 3-540-28931-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Gerome Miklau, Dan Suciu |
Containment and equivalence for a fragment of XPath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 51(1), pp. 2-45, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
XPath expressions, query containment, Tree pattern matching, query equivalence |
19 | Pavel A. Pevzner, Haixu Tang, Glenn Tesler |
De novo repeat classification and fragment assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Eighth Annual International Conference on Computational Molecular Biology, 2004, San Diego, California, USA, March 27-31, 2004, pp. 213-222, 2004, ACM, 1-58113-755-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
repeat analysis, sequence assembly, multiple alignment |
19 | Yevgeny Kazakov, Hans de Nivelle |
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 122-136, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Anuj Dawar, David Janin |
On the Bisimulation Invariant Fragment of Monadic S1 in the Finite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings, pp. 224-236, 2004, Springer, 3-540-24058-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Iddo Drori, Daniel Cohen-Or, Hezy Yeshurun |
Fragment-based image completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 22(3), pp. 303-312, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
digital matting, example-based synthesis, compositing, image completion |
19 | Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker 0001 |
A Concurrent Logical Framework: The Propositional Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, pp. 355-377, 2003, Springer, 3-540-22164-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Nick Lowe, Amitava Datta |
A Fragment Culling Technique for Rendering Arbitrary Portals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I, pp. 915-924, 2003, Springer, 3-540-40194-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | G. S. Athwal, S. Leclaire, Randy E. Ellis, David R. Pichora |
Two Bone Fragment Manipulation in Computer-Assisted Preoperative Planning: Restoration of the Radial Bow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003, 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part II, pp. 955-956, 2003, Springer, 3-540-20464-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Daniele Masotti |
DNA-Tract Curvature Profile Reconstruction: A Fragment Flipping Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, pp. 275-282, 2002, Springer, 3-540-00188-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 3162 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|