Search results for "DCM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Bin He 0001, Kevin Chen-Chuan Chang	Automatic complex schema matching across Web query interfaces: A correlation mining approach.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	bagging predictors, Data integration, ensemble, schema matching, deep Web, correlation mining
95	Kamran Sedig, Maria M. Klawe, Marvin Westrom	Role of interface manipulation style and scaffolding on cognition and concept learning in learnware.	ACM Trans. Comput. Hum. Interact.	2001	DBLP DOI BibTeX RDF	learnware, transformation geometry, human-computer interaction, learning, education, reflection, problem solving, direct manipulation, cognition
79	Charles Elkan	Clustering documents with an exponential-family approximation of the Dirichlet compound multinomial distribution.	ICML	2006	DBLP DOI BibTeX RDF
79	Charles Elkan	Deriving TF-IDF as a Fisher Kernel.	SPIRE	2005	DBLP DOI BibTeX RDF
79	Rasmus Elsborg Madsen, David Kauchak, Charles Elkan	Modeling word burstiness using the Dirichlet distribution.	ICML	2005	DBLP DOI BibTeX RDF
63	Zuobing Xu, Ram Akella	A new probabilistic retrieval model based on the dirichlet compound multinomial distribution.	SIGIR	2008	DBLP DOI BibTeX RDF	probabilistic retrieval model, language model, dirichlet distribution, multinomial distribution
63	A. Prasad Vinod 0001, Ankita Singla, Chip-Hong Chang	Improved differential coefficients-based low power FIR filters. Part I. Fundamentals.	ISCAS	2006	DBLP DOI BibTeX RDF
63	A. Prasad Vinod 0001, Chip-Hong Chang, Pramod Kumar Meher, Ankita Singla	Low Power FIR Filter Realization using Minimal Difference Coefficients: Part I - Complexity Analysis.	APCCAS	2006	DBLP DOI BibTeX RDF
63	Norihiro Ishikawa, Hironori Fujiwara, Hidetoshi Ueno, Hideharu Suzuki, Osamu Takahashi	Domain Constrained Multicast: A New Approach for IP Multicast Routing.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	Internet, TCP/IP, multicast routing, IP multicast
63	Hyokyung Bahn, Sam H. Noh	Characterization of Web Reference Behavior Revisited: Evidence for Dichotomized Cache Management.	ICOIN	2003	DBLP DOI BibTeX RDF
61	Sigvat Eide, Terje Kristensen, Yngve Lamo	A model for dynamic content based e-learning systems.	EATIS	2008	DBLP DOI BibTeX RDF	DCM, learning map, student map, knowledge map
51	Sinisa Srbljic, Dalibor F. Vrsalovic, Ivan Skuliber	Analytical Performance Prediction of WWW Distributed Cache Management (DCM) Protocols.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
48	Ching-Nung Yang, Chi-Sung Laih	DCm Codes for Constructing t-EC/AUED Codes.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Descending tail matrix, DCm codes, unidirectional errors, balanced codes
47	W. John Wilbur, Won Kim 0003	The ineffectiveness of within-document term frequency in text classification.	Inf. Retr.	2009	DBLP DOI BibTeX RDF	Within-document frequency, Word burstiness, Bag-of-words
47	Hongliang Guo, Yan Meng	Dynamic correlation matrix based multi-Q learning for a multi-robot system.	IROS	2008	DBLP DOI BibTeX RDF
47	Mohammad Firouzmand, Laurent Girin	Long-term flexible 2D cepstral modeling of speech spectral amplitudes.	ICASSP	2008	DBLP DOI BibTeX RDF
47	Baijayanta Ray, P. K. Venkataraghavan, Sriram Balasubramanian	Equalization for Multiband OFDM based UWB Systems.	VTC Spring	2007	DBLP DOI BibTeX RDF
47	Ching-Ting Tu, Jenn-Jier James Lien	Facial Occlusion Reconstruction: Recovering Both the Global Structure and the Local Detailed Texture Components.	PSIVT	2007	DBLP DOI BibTeX RDF	Facial reconstruction, facial synthesis, facial occlusion, eigenspace
47	Paul Kemppi, Sami Nousiainen	Database Correlation Method for Multi-System Positioning.	VTC Spring	2006	DBLP DOI BibTeX RDF
47	Gianluca Antonini, Matteo Sorci, Michel Bierlaire, Jean-Philippe Thiran	Discrete Choice Models for Static Facial Expression Recognition.	ACIVS	2006	DBLP DOI BibTeX RDF
47	A. Prasad Vinod 0001, Chip-Hong Chang, Pramod Kumar Meher, Ankita Singla	Low Power FIR Filter Realization Using Minimal Difference Coefficients: Part II - Algorithm.	APCCAS	2006	DBLP DOI BibTeX RDF
47	Archana Sekhar, B. S. Manoj 0001, C. Siva Ram Murthy	Dynamic Coverage Maintenance Algorithms for Sensor Networks with Limited Mobility.	PerCom	2005	DBLP DOI BibTeX RDF
47	Haipeng Ren, Chunfeng Jin, Tamotsu Ninomiya	Low-frequency bifurcation behaviors of PFC converter.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
44	Drew Guckenberger, Kevin T. Kornegay	Integrated DC-DC converter design for improved WCDMA power amplifier efficiency in SiGe BiCMOS technology.	ISLPED	2003	DBLP DOI BibTeX RDF	CCM-DCM, W-switching, power amplifier, efficiency, WCDMA, DC-DC converter
43	César A. Muñoz, Jorge A. Pérez 0001 (eds.)	Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015.	DCM	2016	DBLP DOI BibTeX RDF
43	Ugo Dal Lago, Russ Harmer (eds.)	Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014.	DCM	2015	DBLP DOI BibTeX RDF
43	Pawel Sobocinski 0001	Compositional model checking of concurrent systems, with Petri nets.	DCM	2015	DBLP DOI BibTeX RDF
43	Mauricio Ayala-Rincón	Formalising Confluence in PVS.	DCM	2015	DBLP DOI BibTeX RDF
43	Adrien Basso-Blandin, Walter Fontana, Russ Harmer	A knowledge representation meta-model for rule-based modelling of signalling networks.	DCM	2015	DBLP DOI BibTeX RDF
43	Edward Hermann Haeusler	Finiteness and Computation in Toposes.	DCM	2015	DBLP DOI BibTeX RDF
43	Pablo Arrighi, Gilles Dowek	Free fall and cellular automata.	DCM	2015	DBLP DOI BibTeX RDF
43	Mahdi Amani, Abbas Nowzari-Dalini	Generation, Ranking and Unranking of Ordered Trees with Degree Bounds.	DCM	2015	DBLP DOI BibTeX RDF
43	Mauricio Toro, Anna Philippou, Sair Arboleda, María Puerta, Carlos M. Vélez S.	Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models.	DCM	2015	DBLP DOI BibTeX RDF
43	Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie (eds.)	Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013.	DCM	2014	DBLP DOI BibTeX RDF
43	Benedikt Löwe, Glynn Winskel (eds.)	Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012.	DCM	2014	DBLP DOI BibTeX RDF
43	Nachum Dershowitz, Evgenia Falkovich	Cellular Automata are Generic.	DCM	2014	DBLP DOI BibTeX RDF
43	Edward Hermann Haeusler	Propositional Logics Complexity and the Sub-Formula Property.	DCM	2014	DBLP DOI BibTeX RDF
43	Wolfram Kahl	A Simple Parallel Implementation of Interaction Nets in Haskell.	DCM	2014	DBLP DOI BibTeX RDF
43	Carlos Alberto Ramírez Restrepo, Jorge A. Pérez 0001, Jesús Aranda, Juan Francisco Díaz	Towards Formal Interaction-Based Models of Grid Computing Infrastructures.	DCM	2013	DBLP DOI BibTeX RDF
43	Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma 0001	A Calculus of Located Entities.	DCM	2013	DBLP DOI BibTeX RDF
43	Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev	Proof-graphs for Minimal Implicational Logic.	DCM	2013	DBLP DOI BibTeX RDF
43	Pablo Arrighi, Simon Martiel, Zizhu Wang	Causal Dynamics of Discrete Surfaces.	DCM	2013	DBLP DOI BibTeX RDF
43	Alejandro Díaz-Caro, Gilles Dowek	The probability of non-confluent systems.	DCM	2013	DBLP DOI BibTeX RDF
43	Mario R. F. Benevides, Isaque Lima 0001, Rafael Nader, Pedro Rougemont	Using HMM in Strategic Games.	DCM	2013	DBLP DOI BibTeX RDF
43	Aleks Kissinger, Alex Merry, Matvey Soloviev	Pattern Graph Rewrite Systems	DCM	2012	DBLP DOI BibTeX RDF
43	Abeer S. Al-Humaimeedy, Maribel Fernández	General dynamic recovery for compensating CSP.	DCM	2012	DBLP DOI BibTeX RDF
43	Benedek Nagy, Sándor Vályi	Computing discrete logarithm by interval-valued paradigm.	DCM	2012	DBLP DOI BibTeX RDF
43	Ed Blakey	Ray tracing - computing the incomputable?	DCM	2012	DBLP DOI BibTeX RDF
43	Elvira Mayordomo	Effective dimension in some general metric spaces.	DCM	2012	DBLP DOI BibTeX RDF
43	Arno Pauly, Matthew de Brecht	Non-deterministic computation and the Jayne-Rogers Theorem.	DCM	2012	DBLP DOI BibTeX RDF
43	Miklós Bartha	Quantum Turing automata.	DCM	2012	DBLP DOI BibTeX RDF
43	Eugen Jiresch	Towards a GPU-based implementation of interaction nets.	DCM	2012	DBLP DOI BibTeX RDF
43	Sam Sanders	Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis.	DCM	2012	DBLP DOI BibTeX RDF
43	Elham Kashefi, Jean Krivine, Femke van Raamsdonk (eds.)	Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011.	DCM	2011	DBLP DOI BibTeX RDF
43	Ali Assaf 0002, Simon Perdrix	Completeness of algebraic CPS simulations	DCM	2011	DBLP DOI BibTeX RDF
43	Nachum Dershowitz, Evgenia Falkovich	A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-	DCM	2011	DBLP DOI BibTeX RDF
43	Manfred Kudlek	On the Existence of Universal Finite or Pushdown Automata	DCM	2011	DBLP DOI BibTeX RDF
43	Nachum Dershowitz	The Generic Model of Computation	DCM	2011	DBLP DOI BibTeX RDF
43	Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron	Subject reduction in a Curry-style polymorphic type system with a vectorial structure	DCM	2011	DBLP DOI BibTeX RDF
43	Michael W. Mislove	Probabilistic Monads, Domains and Classical Information	DCM	2011	DBLP DOI BibTeX RDF
43	David Balduzzi	On the information-theoretic structure of distributed measurements	DCM	2011	DBLP DOI BibTeX RDF
43	Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina	A Calculus of Looping Sequences with Local Rules	DCM	2011	DBLP DOI BibTeX RDF
43	S. Barry Cooper, Prakash Panangaden, Elham Kashefi (eds.)	Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010.	DCM	2010	DBLP DOI BibTeX RDF
43	Janet Anders, Saroosh Shabbir, Stefanie Hilt, Eric Lutz	Landauer's principle in the quantum domain	DCM	2010	DBLP DOI BibTeX RDF
43	Miklós Bartha	Turing Automata and Graph Machines	DCM	2010	DBLP DOI BibTeX RDF
43	Bas Spitters	The space of measurement outcomes as a spectrum for non-commutative algebras	DCM	2010	DBLP DOI BibTeX RDF
43	James Cheney	Causality and the Semantics of Provenance	DCM	2010	DBLP DOI BibTeX RDF
43	Vincent Danos, Nicolas Oury	Equilibrium and Termination	DCM	2010	DBLP DOI BibTeX RDF
43	Luca Cardelli	Two-Domain DNA Strand Displacement	DCM	2010	DBLP DOI BibTeX RDF
43	Alastair A. Abbott, Cristian S. Calude	Understanding the Quantum Computational Speed-up via De-quantisation	DCM	2010	DBLP DOI BibTeX RDF
43	Germán Terrazas, Dario Landa-Silva, Natalio Krasnogor	Towards the Design of Heuristics by Means of Self-Assembly	DCM	2010	DBLP DOI BibTeX RDF
43	Dominik F. Floess, Erika Andersson, Mark Hillery	Quantum algorithms for testing Boolean functions	DCM	2010	DBLP DOI BibTeX RDF
43	Akihito Soeda, Mio Murao	Classification of delocalization power of global unitary operations in terms of LOCC one-piece relocalization	DCM	2010	DBLP DOI BibTeX RDF
43	Lucas Dixon, Ross Duncan, Aleks Kissinger	Open Graphs and Computational Reasoning	DCM	2010	DBLP DOI BibTeX RDF
43	Benoît Valiron	Semantics of a Typed Algebraic Lambda-Calculus	DCM	2010	DBLP DOI BibTeX RDF
43	Arthur Steven Younger, Emmett Redd	Computing by Means of Physics-Based Optical Neural Networks	DCM	2010	DBLP DOI BibTeX RDF
43	Abolfazl Bayat, Pasquale Sodano, Sougato Bose	Engineering Long Range Distance Independent Entanglement through Kondo Impurities in Spin Chains	DCM	2010	DBLP DOI BibTeX RDF
43	Vedran Dunjko, Elham Kashefi	Algebraic characterisation of one-way patterns	DCM	2010	DBLP DOI BibTeX RDF
43	Damian Markham, Janet Anders, Michal Hajdusek, Vlatko Vedral	Measurement Based Quantum Computation on Fractal Lattices	DCM	2010	DBLP DOI BibTeX RDF
43	S. Barry Cooper, Vincent Danos (eds.)	Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009.	DCM	2009	DBLP DOI BibTeX RDF
43	Amin Coja-Oghlan	Random Constraint Satisfaction Problems	DCM	2009	DBLP DOI BibTeX RDF
43	Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix	Information Flow in Secret Sharing Protocols.	DCM	2009	DBLP DOI BibTeX RDF
43	Luca Bernardinello, Lucia Pomello, Stefania Rombolà	Orthomodular Lattices Induced by the Concurrency Relation	DCM	2009	DBLP DOI BibTeX RDF
43	Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina	A Type System for Required/Excluded Elements in CLS	DCM	2009	DBLP DOI BibTeX RDF
43	Paola Bonizzoni, Clelia de Felice, Rosalba Zizza	Circular Languages Generated by Complete Splicing Systems and Pure Unitary Languages	DCM	2009	DBLP DOI BibTeX RDF
43	Stefan Leijnen, Liane Gabora	How Creative Should Creators Be To Optimize the Evolution of Ideas? A Computational Model	DCM	2009	DBLP DOI BibTeX RDF
43	Martin Fürer	Deterministic Autopoietic Automata	DCM	2009	DBLP DOI BibTeX RDF
43	Russ Harmer	Rule-based Modelling and Tunable Resolution	DCM	2009	DBLP DOI BibTeX RDF
43	Walid Gomaa 0001	Characterizing Polynomial Time Computability of Rational and Real Functions	DCM	2009	DBLP DOI BibTeX RDF
43	Zoran Konkoli	Diffusion Controlled Reactions, Fluctuation Dominated Kinetics, and Living Cell Biochemistry	DCM	2009	DBLP DOI BibTeX RDF
43	Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron	An Intuitive Automated Modelling Interface for Systems Biology	DCM	2009	DBLP DOI BibTeX RDF
43	Farid M. Ablayev, Alexander Vasiliev	Algorithms for Quantum Branching Programs Based on Fingerprinting	DCM	2009	DBLP DOI BibTeX RDF
42	Michele Pagani, Sandra Alves (eds.)	Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018.	DCM/ITRS	2019	DBLP DOI BibTeX RDF
42	Pawel Parys	Intersection Types for Unboundedness Problems.	DCM/ITRS	2018	DBLP DOI BibTeX RDF
42	Olivier Laurent 0001	Intersection Subtyping with Constructors.	DCM/ITRS	2018	DBLP DOI BibTeX RDF
42	Joseph Razavi, Andrea Schalk	A Category Theoretic Interpretation of Gandy's Principles for Mechanisms.	DCM/ITRS	2018	DBLP DOI BibTeX RDF
42	Giulio Guerrieri	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus.	DCM/ITRS	2018	DBLP DOI BibTeX RDF
42	Federico Aschieri	Natural Deduction and Normalization Proofs for the Intersection Type Discipline.	DCM/ITRS	2018	DBLP DOI BibTeX RDF
42	Paola Giannini, Marco Servetto, Elena Zucca	A Syntactic Model of Mutation and Aliasing.	DCM/ITRS	2018	DBLP DOI BibTeX RDF
42	Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger (eds.)	Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008	QPL/DCM@ICALP	2011	DBLP BibTeX RDF