Search results for "tabulation"

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.	ECAI	2004	DBLP BibTeX RDF
22	I-Shyan Hwang, I-Feng Huang	The optimal testing in photonic switching networks using tabulation methodology.	Inf. Sci.	2003	DBLP DOI BibTeX RDF
22	Kôiti Hasida, Takashi Miyata	Parsing and Generation with Tabulation and Compilation	CoRR	2003	DBLP BibTeX RDF
22	Gerald Penn, Cosmin Munteanu	A Tabulation-Based Parsing Method that Reduces Copying.	ACL	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.	J. Robotics Mechatronics	2002	DBLP DOI BibTeX RDF
22	I-Shyan Hwang, I-Feng Huang	The Optimal Testing in Photonic Switching Networks Using Tabulation Methodology.	JCIS	2002	DBLP BibTeX RDF
22	Taisuke Sato, Yoshitaka Kameya	Statistical Abduction with Tabulation.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
22	Vítor Rocio, José Gabriel Pereira Lopes, Éric Villemonte de la Clergerie	Tabulation for Multi-Purpose Partial Parsing.	Grammars	2001	DBLP DOI BibTeX RDF
22	S. R. Subramanya, Chaman L. Sabharwal	A Tabulation-Based Fast Algorithm for 2-Dimensional Convolution.	CAINE	2001	DBLP BibTeX RDF
22	Miguel A. Alonso 0001, Mark-Jan Nederhof, Éric Villemonte de la Clergerie	Tabulation of Automata for Tree-Adjoining Languages.	Grammars	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	TAPD	1998	DBLP BibTeX RDF
22	Juliana Freire, Terrance Swift, David Scott Warren	Scheduling in SLG Revisited.	TAPD	1998	DBLP BibTeX RDF
22	Víctor J. Díaz, Vicente Carrillo, Miguel Toro	Elementary Tree Representation.	TAPD	1998	DBLP BibTeX RDF
22	Gerda Janssens, Konstantinos Sagonas	On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems.	TAPD	1998	DBLP BibTeX RDF
22	Kazuhiko Ozeki	A Tabular Method of Finding the Optimal Word String together with its Dependency Structure.	TAPD	1998	DBLP BibTeX RDF
22	Mark Hepple	Linear Categorial Deduction via First-order Compilation.	TAPD	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.	TAPD	1998	DBLP BibTeX RDF
22	Hans Leiß	Bounded Fixed-Point Definability and Tabular Recognition of Languages.	TAPD	1998	DBLP BibTeX RDF
22	Hadar Shemtov	A Method for Preserving Ambiguities in Chart Generation.	TAPD	1998	DBLP BibTeX RDF
22	A. G. Manousopoulou, George K. Papakonstantinou, Panayotis Tsanakas	A Chart-like Parser for Context Sensitive Grammars.	TAPD	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.	TAPD	1998	DBLP BibTeX RDF
22	Vítor Rocio, José Gabriel Lopes	Partial Parsing, Deduction and Tabling.	TAPD	1998	DBLP BibTeX RDF
22	Jean-Cédric Chappelier, Martin Rajman	A Generalized CYK Algorithm for Parsing Stochastic CFG.	TAPD	1998	DBLP BibTeX RDF
22	José Júlio Alferes, Luís Moniz Pereira	Tabling Abduction.	TAPD	1998	DBLP BibTeX RDF
22	Richard F. Lukes, Renate Scheidler, Hugh C. Williams	Further tabulation of the Erdös-Selfridge function.	Math. Comput.	1997	DBLP DOI BibTeX RDF
22	Stefan L. Hahn	Comments on "A tabulation of Hilbert transforms for electrical engineers".	IEEE Trans. Commun.	1996	DBLP DOI BibTeX RDF
22	Wei-Ngan Chin, Masami Hagiya	A Transformation Method for Dynamic-Sized Tabulation.	Acta Informatica	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.	J. Chem. Inf. Comput. Sci.	1995	DBLP DOI BibTeX RDF
22	Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide	A Tabulation Transformation Tactic Using Haskell Arrays.	GULP-PRODE	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.	IEEE Ann. Hist. Comput.	1994	DBLP DOI BibTeX RDF
22	Robert L. Glass	Editor's corner A tabulation of topics where software practice leads software theory.	J. Syst. Softw.	1994	DBLP DOI BibTeX RDF
22	Jonas Barklund	Tabulation of Functions in Definite Clause Programs.	PLILP	1994	DBLP DOI BibTeX RDF
22	Éric Villemonte de la Clergerie, Bernard Lang	LPDA: Another look at Tabulation in Logic Programming.	ICLP	1994	DBLP BibTeX RDF
22	Roland N. Bol, Lars Degerstedt	The Underlying Search for Magic Templates and Tabulation.	ICLP	1993	DBLP BibTeX RDF
22	Hikomaro Sano	Facet tabulation of index terms.	Inf. Process. Manag.	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.	Int. J. Robotics Res.	1990	DBLP DOI BibTeX RDF
22	Hisao Tamaki, Taisuke Sato	OLD Resolution with Tabulation.	ICLP	1986	DBLP DOI BibTeX RDF
22	Richard S. Bird	Tabulation Techniques for Recursive Programs.	ACM Comput. Surv.	1980	DBLP DOI BibTeX RDF
22	M. M. Alavi-Sereshki, J. C. Prabhakar	A Tabulation of Hilbert Transforms for Electrical Engineers.	IEEE Trans. Commun.	1972	DBLP DOI BibTeX RDF
22	C. F. Brennan	Information retrieval I: DIGEST - DIebold GEnerator for Statistical Tabulation.	ACM National Conference	1962	DBLP DOI BibTeX RDF
17	Makoto J. Hirayama, Toshiyuki Yamamoto	Network response analyzer system for interactive lectures in classroom or distance learning.	ICIS	2009	DBLP DOI BibTeX RDF	response analyzer, e-learning, local area network
17	Richard S. Bird	Zippy Tabulations of Recursive Functions.	MPC	2008	DBLP DOI BibTeX RDF
17	Bruce A. Ralston, Joshua A. Streufert	Efficient generation of area thematic maps in KML.	GIS	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.	ISI Workshops	2008	DBLP DOI BibTeX RDF	Security, Privacy, E-Voting
17	Yu Zhang	An Open Framework for Remote Electronic Elections.	CANS	2008	DBLP DOI BibTeX RDF
17	Hiroki Hisamitsu, Keiji Takeda	The Security Analysis of e-Voting in Japan.	VOTE-ID	2007	DBLP DOI BibTeX RDF	e-voting system, e-voting operation, e-voting
17	Dietmar Wolfram	Applications of SQL for informetric frequency distribution processing.	Scientometrics	2006	DBLP DOI BibTeX RDF
17	Lowell L. Hargens, Jerald R. Herting	Analyzing the association between referees' recommendations and editors' decisions.	Scientometrics	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.	Privacy in Statistical Databases	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.	ESORICS	2006	DBLP DOI BibTeX RDF
17	Gadi Aleksandrowicz, Gill Barequet	Counting d-Dimensional Polycubes and Nonrectangular Planar Polyominoes.	COCOON	2006	DBLP DOI BibTeX RDF	Polycubes, lattice animals, subgraph counting
17	Peter B. Borwein, R. A. Ferguson	Polyphase sequences with low autocorrelation.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
17	Peter Y. A. Ryan	A variant of the Chaum voter-verifiable scheme.	WITS	2005	DBLP DOI BibTeX RDF
17	Keith Rennolls	An Architectural Design for a Forest Information and Communications Portal (FICP).	DEXA Workshops	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.	Formal Aspects in Security and Trust	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).	DEXA Workshops	2004	DBLP DOI BibTeX RDF
17	Robert Gilmore Pontius Jr., Nicholas R. Malizia	Effect of Category Aggregation on Map Comparison.	GIScience	2004	DBLP DOI BibTeX RDF
17	Menno Cuppen, Leon Willenborg	Source Data Perturbation and consistent sets of safe tables.	Stat. Comput.	2003	DBLP DOI BibTeX RDF	table protection, confidentiality, data warehousing, disclosure, noise addition
17	John E. Kolassa	Algorithms for approximate conditional inference.	Stat. Comput.	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.	ACM Trans. Graph.	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.	ICFEM	2003	DBLP DOI BibTeX RDF
17	Zhengwei Gu, Xin Jin, Bipin C. Desai	CONFSYS: The CINDI Conference Support System.	IDEAS	2003	DBLP DOI BibTeX RDF
17	Ivana Veljkovic, Paul E. Plassmann, Daniel C. Haworth	A Scientific On-line Database for Efficient Function Approximation.	ICCSA (1)	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.	ICLP	2002	DBLP DOI BibTeX RDF
17	Sarah Giessing, Dietz Repsilber	Tools and Strategies to Protect Multiples Tables with the GHQUAR Cell Suppression Engine.	Inference Control in Statistical Databases	2002	DBLP DOI BibTeX RDF
17	Thom W. Frühwirth, Slim Abdennadher	Tutorial: Reasoning with, about and for Constraint Handling Rules.	FroCoS	2002	DBLP DOI BibTeX RDF
17	Stefano Merler, Cesare Furlanello, Barbara Larcher, Andrea Sboner	Tuning Cost-Sensitive Boosting and Its Application to Melanoma Diagnosis.	Multiple Classifier Systems	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.	LSSC	2001	DBLP DOI BibTeX RDF
17	Manuel Vilares Ferro, Francisco J. Ribadas, Victor M. Darriba	Approximate Pattern Matching in Shared-Forest.	DEXA	2000	DBLP DOI BibTeX RDF
17	Ulf Nilsson, Johan Lübcke	Constraint Logic Programming for Local and Symbolic Model-Checking.	Computational Logic	2000	DBLP DOI BibTeX RDF
17	Yanhong A. Liu, Scott D. Stoller	Dynamic Programming via Static Incrementalization.	ESOP	1999	DBLP DOI BibTeX RDF
17	Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker	Detecting Unsolvable Queries for Definite Logic Programs.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
17	Wei-Ngan Chin, Masami Hagiya	A Bounds Inference Method for Vector-Based Memoisation.	ICFP	1997	DBLP DOI BibTeX RDF
17	Philippe Codognet, Gilberto Filé	Computations, abstractions and constraints in logic programs.	ICCL	1992	DBLP DOI BibTeX RDF
17	Richard J. Fateman	Lookup Tables, Recurrences and Complexity.	ISSAC	1989	DBLP DOI BibTeX RDF
17	Dale K. Hockensmith	Conducting a survey of computer technology graduates (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
17	Don Morrison	Maps and descendant husband trees (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
17	Albert L. Zobrist	Mapping With Census Data And Landsat Imagery.	Data Base Techniques for Pictorial Applications	1979	DBLP DOI BibTeX RDF