Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Carlos Viegas Damásio, Jesús Medina 0001, Manuel Ojeda-Aciego |
A Tabulation Proof Procedure for Residuated Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 808-812, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
22 | I-Shyan Hwang, I-Feng Huang |
The optimal testing in photonic switching networks using tabulation methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 149(1-3), pp. 83-111, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Kôiti Hasida, Takashi Miyata |
Parsing and Generation with Tabulation and Compilation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CL/0307030, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
22 | Gerald Penn, Cosmin Munteanu |
A Tabulation-Based Parsing Method that Reduces Copying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics, 7-12 July 2003, Sapporo Convention Center, Sapporo, Japan., pp. 200-207, 2003, ACL. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
22 | Takanori Shibata, Teruaki Mitsui, Kazuyoshi Wada, Kazuo Tanie |
Subjective Evaluation of Seal Robot: Paro -Tabulation and Analysis of Questionnaire Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics Mechatronics ![In: J. Robotics Mechatronics 14(1), pp. 13-19, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | I-Shyan Hwang, I-Feng Huang |
The Optimal Testing in Photonic Switching Networks Using Tabulation Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCIS ![In: Proceedings of the 6th Joint Conference on Information Science, March 8-13, 2002, Research Triangle Park, North Carolina, USA, pp. 1291-1295, 2002, JCIS / Association for Intelligent Machinery, Inc., 0-9707890-1-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
22 | Taisuke Sato, Yoshitaka Kameya |
Statistical Abduction with Tabulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 567-587, 2002, Springer, 3-540-43960-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Vítor Rocio, José Gabriel Pereira Lopes, Éric Villemonte de la Clergerie |
Tabulation for Multi-Purpose Partial Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grammars ![In: Grammars 4(1), pp. 41-65, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | S. R. Subramanya, Chaman L. Sabharwal |
A Tabulation-Based Fast Algorithm for 2-Dimensional Convolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAINE ![In: Proceedings of the 14th International Conference on Computer Applications in Industry and Engineering, November 27-29, 2001, Las Vegas, Nevada, USA, pp. 107-110, 2001, ISCA, 1-880843-40-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
22 | Miguel A. Alonso 0001, Mark-Jan Nederhof, Éric Villemonte de la Clergerie |
Tabulation of Automata for Tree-Adjoining Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grammars ![In: Grammars 3(2/3), pp. 89-110, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | |
Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![INRIA The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Juliana Freire, Terrance Swift, David Scott Warren |
Scheduling in SLG Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 62-66, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Víctor J. Díaz, Vicente Carrillo, Miguel Toro |
Elementary Tree Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 10-15, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Gerda Janssens, Konstantinos Sagonas |
On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 118-126, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Kazuhiko Ozeki |
A Tabular Method of Finding the Optimal Word String together with its Dependency Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 127-132, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Mark Hepple |
Linear Categorial Deduction via First-order Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 108-117, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | John Carroll 0001, Nicolas Nicolov, Olga Shaumyan, Martine Smets, David J. Weir |
Grammar Compaction and Computation Sharing in Automata-based Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 16-25, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Hans Leiß |
Bounded Fixed-Point Definability and Tabular Recognition of Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 96-107, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Hadar Shemtov |
A Method for Preserving Ambiguities in Chart Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 36-43, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | A. G. Manousopoulou, George K. Papakonstantinou, Panayotis Tsanakas |
A Chart-like Parser for Context Sensitive Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 89-95, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Manuel Vilares Ferro, Miguel A. Alonso 0001, Jorge Graña Gil, David Cabrero Souto |
GALENA: Tabular DCG Parsing for Natural Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 44-51, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Vítor Rocio, José Gabriel Lopes |
Partial Parsing, Deduction and Tabling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 52-61, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Jean-Cédric Chappelier, Martin Rajman |
A Generalized CYK Algorithm for Parsing Stochastic CFG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 133-137, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | José Júlio Alferes, Luís Moniz Pereira |
Tabling Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPD ![In: Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, TAPD'98, Paris, France, April 2-3, 1998, pp. 75-82, 1998, INRIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Richard F. Lukes, Renate Scheidler, Hugh C. Williams |
Further tabulation of the Erdös-Selfridge function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 66(220), pp. 1709-1717, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Stefan L. Hahn |
Comments on "A tabulation of Hilbert transforms for electrical engineers". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 44(7), pp. 768, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Wei-Ngan Chin, Masami Hagiya |
A Transformation Method for Dynamic-Sized Tabulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 32(2), pp. 93-115, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | R. Cohen-Adad, J. W. Lorimer, S. L. Phillips, M. Salomon |
A Consistent Approach to Tabulation of Evaluated Solubility Data: Application to the Binary Systems RbCl-H2O and UO2(NO3)2-H2O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Comput. Sci. ![In: J. Chem. Inf. Comput. Sci. 35(4), pp. 675-696, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide |
A Tabulation Transformation Tactic Using Haskell Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE ![In: 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995, pp. 485-496, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
22 | David Martin Luebke, Sybil Milton |
Locating the victim: An overview of census-taking, tabulation technology and persecution in nazi Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 16(3), pp. 25, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Robert L. Glass |
Editor's corner A tabulation of topics where software practice leads software theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 25(3), pp. 219-222, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Jonas Barklund |
Tabulation of Functions in Definite Clause Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 465-466, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Éric Villemonte de la Clergerie, Bernard Lang |
LPDA: Another look at Tabulation in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, pp. 470-486, 1994, MIT Press, 0-262-72022-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Roland N. Bol, Lars Degerstedt |
The Underlying Search for Magic Templates and Tabulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993, pp. 793-811, 1993, MIT Press, 0-262-73105-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
22 | Hikomaro Sano |
Facet tabulation of index terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 26(4), pp. 543-548, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Guy M. Cloutier, Maurice Bétemps |
"Tabulation of the Symbolic Midframe Jacobian of a Robot Manipulator" by Keith L. Doty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 9(1), pp. 145-146, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Hisao Tamaki, Taisuke Sato |
OLD Resolution with Tabulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings, pp. 84-98, 1986, Springer, 3-540-16492-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Richard S. Bird |
Tabulation Techniques for Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 12(4), pp. 403-417, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
22 | M. M. Alavi-Sereshki, J. C. Prabhakar |
A Tabulation of Hilbert Transforms for Electrical Engineers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 20(6), pp. 1194-1198, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
22 | C. F. Brennan |
Information retrieval I: DIGEST - DIebold GEnerator for Statistical Tabulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM National Conference ![In: Proceedings of the 1962 ACM national conference, Digest of technical papers, ACM 1962, USA, pp. 37, 1962, ACM, 978-1-4503-7496-5. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
17 | Makoto J. Hirayama, Toshiyuki Yamamoto |
Network response analyzer system for interactive lectures in classroom or distance learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 236-239, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
response analyzer, e-learning, local area network |
17 | Richard S. Bird |
Zippy Tabulations of Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, pp. 92-109, 2008, Springer, 978-3-540-70593-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Bruce A. Ralston, Joshua A. Streufert |
Efficient generation of area thematic maps in KML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2008, November 5-7, 2008, Irvine, California, USA, Proceedings, pp. 79, 2008, ACM, 978-1-60558-323-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
KMZ, United States census, SQL, mashups, Google maps, Google earth, TIGER, KML |
17 | Gary Blosser, Justin Zhan |
Privacy-Preserving Collaborative E-Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI Workshops ![In: Intelligence and Security Informatics, IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings, pp. 508-513, 2008, Springer, 978-3-540-69136-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Security, Privacy, E-Voting |
17 | Yu Zhang |
An Open Framework for Remote Electronic Elections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANS ![In: Cryptology and Network Security, 7th International Conference, CANS 2008, Hong-Kong, China, December 2-4, 2008. Proceedings, pp. 304-316, 2008, Springer, 978-3-540-89640-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Hiroki Hisamitsu, Keiji Takeda |
The Security Analysis of e-Voting in Japan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VOTE-ID ![In: E-Voting and Identity, First International Conference, VOTE-ID 2007, Bochum, Germany, October 4-5, 2007, Revised Selected Papers, pp. 99-110, 2007, Springer, 978-3-540-77492-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
e-voting system, e-voting operation, e-voting |
17 | Dietmar Wolfram |
Applications of SQL for informetric frequency distribution processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 67(2), pp. 301-313, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Lowell L. Hargens, Jerald R. Herting |
Analyzing the association between referees' recommendations and editors' decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 67(1), pp. 15-26, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Paul Massell, Laura Zayatz, Jeremy Funk |
Protecting the Confidentiality of Survey Tabular Data by Adding Noise to the Underlying Microdata: Application to the Commodity Flow Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Privacy in Statistical Databases ![In: Privacy in Statistical Databases, CENEX-SDC Project International Conference, PSD 2006, Rome, Italy, December 13-15, 2006, Proceedings, pp. 304-317, 2006, Springer, 3-540-49330-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Disclosure Avoidance, Noise Protection, Microdata, Tabular Data |
17 | Peter Y. A. Ryan, Steve A. Schneider |
Prêt à Voter with Re-encryption Mixes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings, pp. 313-326, 2006, Springer, 3-540-44601-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Gadi Aleksandrowicz, Gill Barequet |
Counting d-Dimensional Polycubes and Nonrectangular Planar Polyominoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings, pp. 418-427, 2006, Springer, 3-540-36925-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Polycubes, lattice animals, subgraph counting |
17 | Peter B. Borwein, R. A. Ferguson |
Polyphase sequences with low autocorrelation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(4), pp. 1564-1567, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Peter Y. A. Ryan |
A variant of the Chaum voter-verifiable scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WITS ![In: Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005, pp. 81-88, 2005, ACM, 1-58113-980-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Keith Rennolls |
An Architectural Design for a Forest Information and Communications Portal (FICP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 684-688, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
EFIS, NEFIS, incommensurate, FSCTK, FMA, FICP, communication, metadata, system, conversion, information, portal, platform, data, harmonization, forest, catalogue |
17 | Susan Pancho-Festin, Dieter Gollmann |
On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 5-15, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Keith Rennolls, Tim Richards, Alexander M. Fedorec, Mohamed T. Ibrahim, Kevin McManus, Alun Butler |
Models and Tools for an Integrated European Environmental Management and Decision Support System, (IEEMDSS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August - 3 September 2004, Zaragoza, Spain, pp. 615-619, 2004, IEEE Computer Society, 0-7695-2195-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Robert Gilmore Pontius Jr., Nicholas R. Malizia |
Effect of Category Aggregation on Map Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIScience ![In: Geographic Information Science, Third International Conference, GIScience 2004, Adelphi, MD, USA, October 20-23, 2004, Proceedings, pp. 251-268, 2004, Springer, 3-540-23558-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Menno Cuppen, Leon Willenborg |
Source Data Perturbation and consistent sets of safe tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 13(4), pp. 355-362, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
table protection, confidentiality, data warehousing, disclosure, noise addition |
17 | John E. Kolassa |
Algorithms for approximate conditional inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 13(2), pp. 121-126, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
exact conditional inference, saddlepoint approximations, canonical exponential family, linear programming, significance testing |
17 | Doug L. James, Kayvon Fatahalian |
Precomputing interactive dynamic deformable scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 22(3), pp. 879-887, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
natural phenomena animation, deformations, physically based modeling, physically based animation |
17 | Beata Sarna-Starosta, C. R. Ramakrishnan 0001 |
Constraint-Based Model Checking of Data-Independent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 579-598, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Zhengwei Gu, Xin Jin, Bipin C. Desai |
CONFSYS: The CINDI Conference Support System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 7th International Database Engineering and Applications Symposium (IDEAS 2003), 16-18 July 2003, Hong Kong, China, pp. 414-418, 2003, IEEE Computer Society, 0-7695-1981-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ivana Veljkovic, Paul E. Plassmann, Daniel C. Haworth |
A Scientific On-line Database for Efficient Function Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part I, pp. 643-653, 2003, Springer, 3-540-40155-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Giridhar Pemmasani, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 100-114, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Sarah Giessing, Dietz Repsilber |
Tools and Strategies to Protect Multiples Tables with the GHQUAR Cell Suppression Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inference Control in Statistical Databases ![In: Inference Control in Statistical Databases, From Theory to Practice, pp. 181-192, 2002, Springer, 3-540-43614-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Thom W. Frühwirth, Slim Abdennadher |
Tutorial: Reasoning with, about and for Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings, pp. 192, 2002, Springer, 3-540-43381-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Stefano Merler, Cesare Furlanello, Barbara Larcher, Andrea Sboner |
Tuning Cost-Sensitive Boosting and Its Application to Melanoma Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiple Classifier Systems ![In: Multiple Classifier Systems, Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001, Proceedings, pp. 32-42, 2001, Springer, 3-540-42284-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | James A. Given, Michael Mascagni, Chi-Ok Hwang |
Continuous Path Brownian Trajectories for Diffusion Monte Carlo via First- and Last-Passage Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSSC ![In: Large-Scale Scientific Computing, Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001, Revised Papers, pp. 46-57, 2001, Springer, 3-540-43043-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Vilares Ferro, Francisco J. Ribadas, Victor M. Darriba |
Approximate Pattern Matching in Shared-Forest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 322-333, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Ulf Nilsson, Johan Lübcke |
Constraint Logic Programming for Local and Symbolic Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 384-398, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Yanhong A. Liu, Scott D. Stoller |
Dynamic Programming via Static Incrementalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 288-305, 1999, Springer, 3-540-65699-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker |
Detecting Unsolvable Queries for Definite Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP/ALP ![In: Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings, pp. 118-133, 1998, Springer, 3-540-65012-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Wei-Ngan Chin, Masami Hagiya |
A Bounds Inference Method for Vector-Based Memoisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 176-187, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Codognet, Gilberto Filé |
Computations, abstractions and constraints in logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992, pp. 155-164, 1992, IEEE Computer Society, 0-8186-2585-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Richard J. Fateman |
Lookup Tables, Recurrences and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989, pp. 68-73, 1989, ACM, 0-89791-325-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Dale K. Hockensmith |
Conducting a survey of computer technology graduates (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 451, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Don Morrison |
Maps and descendant husband trees (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 418, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Albert L. Zobrist |
Mapping With Census Data And Landsat Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base Techniques for Pictorial Applications ![In: Data Base Techniques for Pictorial Applications, Florence, Italy, June 20-22, 1979, Proceedings, pp. 49-64, 1979, Springer, 3-540-09763-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|