Search results for "OCCAM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Dan Fay, Li Shang, Dirk Grunwald	A platform for developing adaptable multicore applications.	CASES	2009	DBLP DOI BibTeX RDF	parallelization, multicore, run-time systems, frequency scaling, application adaptation
80	Manuel Núñez 0001, Ismael Rodríguez, Fernando Rubio 0001	Applying Occam's Razor to FSMs.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	Occam´s razor, Chomsky´s classification, Cognitive Informatics
80	Domenico Talia	Notes on termination of OCCAM processes.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	OCCAM
80	Nikola B. Serbedzija	Asynchronous communication on Occam.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	OCCAM
67	R. M. S. Ralha	Parallel QR algorithm for the complete eigensystem of symmetric matrices.	PDP	1995	DBLP DOI BibTeX RDF	parallel QR algorithm, symmetric matrices, Occam versions, sequential implementations, symmetric tridiagonal matrix, dense symmetric matrix, parallel algorithms, parallel algorithm, scalability, matrix algebra, eigenvalues and eigenfunctions, Occam, eigensystem
67	Sandeep Pagey, Ajay Khoche, Erik Brunvand	DFT for fast testing of self-timed control circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	fast testing, self-timed control circuits, execution paths, simultaneous testing, OCCAM based circuit compiler, OCCAM program, self-timed macro-modules, modified modules, macromodules, fault diagnosis, logic testing, delays, design for testability, DFT, logic CAD, asynchronous circuits, translation, program compilers, automatic test software
67	Colin J. Fidge	A Formal Definition of Priority in CSP.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	Ada, Ada, CSP, Priority, Communicating Sequential Processes, occam, OCCAM, real-time programming
59	Peter Tröger, Martin von Löwis, Andreas Polze	The Grid-Occam Project.	GSEM	2004	DBLP DOI BibTeX RDF
59	Ming Li 0001, John Tromp, Paul M. B. Vitányi	Sharpening Occam's Razor.	COCOON	2002	DBLP DOI BibTeX RDF
59	Pedro M. Domingos	Beyond Occam's Razor: Process-Oriented Evaluation.	ECML	2000	DBLP DOI BibTeX RDF
59	Edna Barros, Augusto Sampaio	Towards provably correct hardware/software partitioning using occam.	CODES	1994	DBLP DOI BibTeX RDF
59	Kang Zhang 0001, Gaurav Marwaha	Visputer - an Occam program visualisation tool.	SAC	1994	DBLP DOI BibTeX RDF	parallel program visualisation, transputer, Occam, OCCAM
54	Richard Nock, Pascal Jappy, Jean Sallantin	Generalized Graph Colorability and Compressibility of Boolean Formulae.	ISAAC	1998	DBLP DOI BibTeX RDF
54	Georgios Theodoropoulos 0001, J. V. Woods	Simulating Asynchronous Architectures on Transputer Networks.	PDP	1996	DBLP DOI BibTeX RDF	asynchronous architecture simulation, asynchronous design techniques, clock related timing problems, CSP based parallel language, asynchronous architectural simulation models, parallel architectures, logic design, asynchronous circuits, circuit analysis computing, parallel languages, Occam, Occam, asynchronous logic, transputer systems, transputer networks
53	Christian L. Jacobsen, Matthew C. Jadud	Towards concrete concurrency: occam-pi on the LEGO mindstorms.	SIGCSE	2005	DBLP DOI BibTeX RDF	occam ?, parallelism, concurrency, CSP, fun, LEGO
53	Haim Schweitzer	Occam Algorithms for Computing Visual Motion.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	Occam algorithms, machine learning, optic flow, video compression, Image motion
53	David May 0001, Roger Shepherd	Occam and the transputer.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	parallel processing, CSP, VLSI architecture, transputer, occam
47	Lipo Wang, Hou Chai Quek, Keng Hoe Tee, Nina Zhou, Chunru Wan	Optimal Size of a Feedforward Neural Network: How Much does it Matter?.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF	Occam’s Razor, Hidden neurons, Neural networks, Learning
47	Leila Silva, Augusto Sampaio, Edna Barros	A Constructive Approach to Hardware/Software Partitioning.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	formal verification, co-design, hardware/software partitioning, occam, algebraic laws
46	Gilles Blanchard, François Fleuret	Occam's Hammer.	COLT	2007	DBLP DOI BibTeX RDF
46	Dragan Gamberger, Nada Lavrac	Conditions for Occam's Razor Applicability and Noise Elimination.	ECML	1997	DBLP DOI BibTeX RDF
46	Byoung-Tak Zhang	Effects of Occam's Razor in Evolving Sigma-Pi Neural Nets.	PPSN	1994	DBLP DOI BibTeX RDF
46	Geoff Barrett	The Semantics of Priority and Fairness in occam.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
46	A. W. Roscoe 0001	Denotational Semantics for occam.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
41	Jian Yu	General C-Means Clustering Model.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
41	Juliano Iyoda, Augusto Sampaio, Leila Silva	ParTS: A Partitioning Transformation System.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
40	Aditi Dhagat, Lisa Hellerstein	PAC Learning with Irrelevant Attributes	FOCS	1994	DBLP DOI BibTeX RDF	polynomial-time Occam algorithm, irrelevant attributes, Occam algorithm, decision lists, greedy set cover, polynomial-time, PAC learning
38	Heinrich Dietsch, Roya Ulrich	OCCAM - Eine Sprache für die Programmierung paralleler Prozesse / OCCAM - A Parallel Programming Language.	it Inf. Technol.	1987	DBLP DOI BibTeX RDF
38	Michel Riveill	CONKER : un modèle de répartition pour processus communicants. Application à OCCAM. (CONKER : a model for distributed communicating processes. Application to OCCAM).		1987	RDF
38	Dick Pountain	A tutorial introduction to Occam programming - including a specification section defining the extended Occam language.		1986	RDF
38	D. Q. M. Fay	OCCAM manual gives programming guidance to users at various levels: Inmos Ltd 'OCCAM programming manual' Prentice-Hall International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ, USA (January 1984) £9.95 pp 92.	Microprocess. Microsystems	1984	DBLP DOI BibTeX RDF
34	John Langford 0001, Avrim Blum	Microchoice Bounds and Self Bounding Learning Algorithms.	Mach. Learn.	2003	DBLP DOI BibTeX RDF	Occam's razor, self-bounding algorithms, PAC bounds, sample complexity
34	Neil Garner, David M. Howard 0001, P. A. Barrett, Andrew M. Tyrrell	A Parallel Processing Environment for Speech Signal Processing Applications.	PDP	1996	DBLP DOI BibTeX RDF	parallel processing environment, speech signal processing applications, 1 dimensional signal processing problem, multiple inputs, multiple outputs, interconnected signal processing functions, MIMD format, user defined structure, communication based parallel processing format, serial machine, vocoders, filterbank speech analysis, T800 transputers, parallel programming, software tool, speech recognition, pipeline processing, speech processing, transputers, transputers, Occam, speech enhancement, transputer systems, pipeline parallelism
34	Peter B. Ladkin, Barbara B. Simons	Static analysis of multiway synchronization.	CASCON	1994	DBLP BibTeX RDF	Lotos, OCCAM
34	Michael P. Wellman, Max Henrion	Explaining 'Explaining Away'.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	causal explanation, general qualitative probabilistic analysis, intercausal reasoning, product synergy, qualitative probabilistic network, probabilistic belief, Occam's razor, probability, inference, inference mechanisms, explanation, uncertainty handling, belief maintenance
32	Dimitri Marinakis, Gregory Dudek	Occam's Razor Applied to Network Topology Inference.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
32	Adrian N. Cockcroft	Simulation of Skype Peer-to-peer Web Services Choreography Using Occam-Pi.	CEC/EEE	2006	DBLP DOI BibTeX RDF
32	David May 0001	CSP, occam and Transputers.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
32	Karl Tuyls, Katja Verbeeck, Sam Maes	On a Dynamical Analysis of Reinforcement Learning in Games: Emergence of Occam's Razor.	CEEMAS	2003	DBLP DOI BibTeX RDF
32	Georgios K. Theodoropoulos 0001, G. Tsakogiannis, J. V. Woods	Occam: An Asynchronous Hardware Description Language?	EUROMICRO	1997	DBLP DOI BibTeX RDF
32	Lichen Zhang, Michel Galindo, Daniel Marquie, Yves Raynaud	Generating Physical Channel Access Protocol Data Unit of CCSDS Recommendation by Use of the Transputers and OCCAM.	CONPAR	1992	DBLP DOI BibTeX RDF
32	Yuri Gurevich, Lawrence S. Moss	Algebraic Operational Semantics and Occam.	CSL	1989	DBLP DOI BibTeX RDF
32	Cornelis Huizing, Rob Gerth, Willem P. de Roever	Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.	POPL	1987	DBLP DOI BibTeX RDF
27	Fred R. M. Barnes, Carl G. Ritson	Checking process-oriented operating system behaviour using CSP and refinement.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
27	Peter H. Welch, Fred R. M. Barnes	Communicating Mobile Processes.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
27	Leila Silva, Augusto Sampaio, Geraint Jones	Serialising Parallel Processes in a Hardware/Software Partitioning Context.	FME	2001	DBLP DOI BibTeX RDF
27	Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda	An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.	AMAST	1998	DBLP DOI BibTeX RDF
27	Leila Silva, Augusto Sampaio, Edna Barros	A Normal Form Reduction Strategy for Hardware/Software Partitioning.	FME	1997	DBLP DOI BibTeX RDF
27	Jifeng He 0001	Hybrid Parallel Programming and Implementation of Synchronised Communication.	MFCS	1993	DBLP DOI BibTeX RDF
27	Amit Gupta, Anindo Banerjea, Vikas Jha, Vineet Bafna, P. C. P. Bhatt	Parallel Implementation of Logic Languages.	CONPAR	1990	DBLP DOI BibTeX RDF
27	Andrew Cheese	Multi-Moded Relations in Parlog.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	PARLOG, PARLOG
27	Jean-Luc Gaudiot, Liang-Teh Lee	Multiprocessor Systems Programming in a High-Level Data-Flow Language.	PARLE (1)	1987	DBLP DOI BibTeX RDF
20	Matthew C. Jadud, Jon Simpson, Christian L. Jacobsen	Patterns for programming in parallel, pedagogically.	SIGCSE	2008	DBLP DOI BibTeX RDF	occam-?, parallelism, concurrency, CSP, fun, LEGO
20	Ted Mims, Andrzej Hoppe	Utilizing a transputer laboratory and Occam2 in an undergraduate operating systems course.	SIGCSE	1991	DBLP DOI BibTeX RDF	OCCAM
20	Yves Bertot	Occurences in Debugger Specifications.	PLDI	1991	DBLP DOI BibTeX RDF	OCCAM
20	Hester Bakewell, Donna J. Quammen, Pearl Y. Wang	Mapping Concurrent Programs to VLIW Processors.	PPoPP	1991	DBLP DOI BibTeX RDF	OCCAM
20	Leonardo Campanale, Mario De Blasi, Anna Gentile, F. Greco	Topologies for the parallel backtracking Prolog engine.	MICRO	1990	DBLP BibTeX RDF	Prolog machines, backup or-parallelism, distributed systems, topologies, coprocessors, transputers, Occam, multicomputer networks
20	David J. Aldous, Umesh V. Vazirani	A Markovian Extension of Valiant's Learning Model (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	weaker probabilistic model, Valiant learning model, Markovian extension, Occam algorithms, performance, classification, random walk
20	George S. Davidson	TWIST-TOP: Transputers with I-Stores Test Out Processor.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	OCCAM
20	Steve Bailey	An overview of parallel processing languages.	ACM Southeast Regional Conference	1990	DBLP DOI BibTeX RDF	Ada, OCCAM
20	Philip M. Long, Manfred K. Warmuth	Composite Geometric Concepts and Polynomial Predictability.	COLT	1990	DBLP BibTeX RDF	OCCAM
20	B. Bütler, Rob Esser, R. Mattmann	A distributed simulator for high order Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Embedded Systems, Petri nets, CSP, Distributed Simulator, Executable Specification, Transputer, Occam, Interconnection Architecture
19	Rayen Dhahri, Alexander Immer, Bertrand Charpentier, Stephan Günnemann, Vincent Fortuin	Shaving Weights with Occam's Razor: Bayesian Sparsification for Neural Networks Using the Marginal Likelihood.	CoRR	2024	DBLP DOI BibTeX RDF
19	Andrea Mattia Garavagno, Daniele Leonardis, Antonio Frisoli	ColabNAS: Obtaining lightweight task-specific convolutional neural networks following Occam's razor.	Future Gener. Comput. Syst.	2024	DBLP DOI BibTeX RDF
19	Jiarong Xing, Kuo-Feng Hsu, Yiting Xia, Yan Cai 0018, Yanping Li, Ying Zhang, Ang Chen	Occam: A Programming System for Reliable Network Management.	EuroSys	2024	DBLP DOI BibTeX RDF
19	Ashish Gondimalla, Jianqiao Liu, Mithuna Thottethodi, T. N. Vijaykumar	Occam: Optimal Data Reuse for Convolutional Neural Networks.	ACM Trans. Archit. Code Optim.	2023	DBLP DOI BibTeX RDF
19	Marco Cuturi, Michal Klein, Pierre Ablin	Monge, Bregman and Occam: Interpretable Optimal Transport in High-Dimensions with Feature-Sparse Maps.	CoRR	2023	DBLP DOI BibTeX RDF
19	Chris Mingard, Henry Rees, Guillermo Valle Pérez, Ard A. Louis	Do deep neural networks have an inbuilt Occam's razor?	CoRR	2023	DBLP DOI BibTeX RDF
19	Zaman Keinath-Esmail	On the equivalence of Occam algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
19	Tom F. Sterkenburg	Statistical learning theory and Occam's razor: The argument from empirical risk minimization.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jorge A. Navas, Ashish Gehani	OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization.	Commun. ACM	2023	DBLP DOI BibTeX RDF
19	Marco Cuturi, Michal Klein, Pierre Ablin	Monge, Bregman and Occam: Interpretable Optimal Transport in High-Dimensions with Feature-Sparse Maps.	ICML	2023	DBLP BibTeX RDF
19	Fan Li, Kai Lu, Zhenyu Li	Occam's Inversion of Magnetic Resonance Sounding Data Incorporating Groundwater Directional Information.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
19	Falco J. Bargagli Stoffi, Gustavo Cevolani, Giorgio Gnecco	Simple Models in Complex Worlds: Occam's Razor and Statistical Learning Theory.	Minds Mach.	2022	DBLP DOI BibTeX RDF
19	Yabin Wang, Zhiwu Huang, Xiaopeng Hong	S-Prompts Learning with Pre-trained Transformers: An Occam's Razor for Domain Incremental Learning.	CoRR	2022	DBLP DOI BibTeX RDF
19	Rongrong Xie, Matteo Marsili	Occam learning.	CoRR	2022	DBLP DOI BibTeX RDF
19	Andrea Mattia Garavagno, Daniele Leonardis, Antonio Frisoli	Colab NAS: Obtaining lightweight task-specific convolutional neural networks following Occam's razor.	CoRR	2022	DBLP DOI BibTeX RDF
19	David Schinagl, Georg Krispel, Horst Possegger, Peter M. Roth, Horst Bischof	OccAM's Laser: Occlusion-based Attribution Maps for 3D Object Detectors on LiDAR Data.	CoRR	2022	DBLP DOI BibTeX RDF
19	Richard D. Gill	Schrödinger's Cat Meets Occam's Razor.	Entropy	2022	DBLP DOI BibTeX RDF
19	Jorge A. Navas, Ashish Gehani	OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-program Specialization: Leveraging scalable pointer analysis, value analysis, and dynamic analysis.	ACM Queue	2022	DBLP DOI BibTeX RDF
19	Justin Talbot, Daniel Ting	Statistical Schema Learning with Occam's Razor.	SIGMOD Conference	2022	DBLP DOI BibTeX RDF
19	David Schinagl, Georg Krispel, Horst Possegger, Peter M. Roth, Horst Bischof	OccAM's Laser: Occlusion-based Attribution Maps for 3D Object Detectors on LiDAR Data.	CVPR	2022	DBLP DOI BibTeX RDF
19	Yabin Wang, Zhiwu Huang, Xiaopeng Hong	S-Prompts Learning with Pre-trained Transformers: An Occam's Razor for Domain Incremental Learning.	NeurIPS	2022	DBLP BibTeX RDF
19	Ruyi Ji, Jingtao Xia, Yingfei Xiong 0001, Zhenjiang Hu	Occam Learning Meets Synthesis Through Unification.	CoRR	2021	DBLP BibTeX RDF
19	Benoit Dherin, Michael Munn, David G. T. Barrett	The Geometric Occam's Razor Implicit in Deep Learning.	CoRR	2021	DBLP BibTeX RDF
19	Ashish Gondimalla, Jianqiao Liu, T. N. Vijaykumar, Mithuna Thottethodi	OCCAM: Optimal Data Reuse for Convolutional Neural Networks.	CoRR	2021	DBLP BibTeX RDF
19	David May 0001	CSP, Occam, and Inmos.	Theories of Programming	2021	DBLP DOI BibTeX RDF
19	Tianyuan Teng, Hang Zhang 0006	Humans violate Occam's razor in learning Gaussian mixture models.	CogSci	2021	DBLP BibTeX RDF
19	Jie Xu 0031, Yingying Cheng, Cong Wang 0001, Xiaohua Jia	Occam: A Secure and Adaptive Scaling Scheme for Permissionless Blockchain.	ICDCS	2021	DBLP DOI BibTeX RDF
19	Gonzalo Jaimovitch-Lopez, David Castellano Falcón, César Ferri, José Hernández-Orallo	Think Big, Teach Small: Do Language Models Distil Occam's Razor?	NeurIPS	2021	DBLP BibTeX RDF
19	Rohan Ghosh, Mehul Motani	Network-to-Network Regularization: Enforcing Occam's Razor to Improve Generalization.	NeurIPS	2021	DBLP BibTeX RDF
19	Fabio Ribeiro Cerqueira, Ana Tereza Ribeiro de Vasconcelos	OCCAM: prediction of small ORFs in bacterial genomes by means of a target-decoy database approach and machine learning techniques.	Database J. Biol. Databases Curation	2020	DBLP DOI BibTeX RDF
19	Ben Goertzel	Grounding Occam's Razor in a Formal Theory of Simplicity.	CoRR	2020	DBLP BibTeX RDF
19	Peter Kövesarki	Occam's Ghost.	CoRR	2020	DBLP BibTeX RDF
19	Antônio H. Ribeiro, Johannes N. Hendriks, Adrian G. Wills, Thomas B. Schön	Beyond Occam's Razor in System Identification: Double-Descent when Modeling Dynamics.	CoRR	2020	DBLP BibTeX RDF
19	Iaakov Exman, Harel Wallach	Linear Software Models: An Occam's Razor Set of Algebraic Connectors Integrates Modules into a Whole Software System.	Int. J. Softw. Eng. Knowl. Eng.	2020	DBLP DOI BibTeX RDF
19	Joachim Van den Bogaert, Arne Defauw, Frederic Everaert, Koen Van Winckel, Alina Kramchaninova, Anna Bardadym, Tom Vanallemeersch, Pavel Smrz, Michal Hradis	OCR, Classification& Machine Translation (OCCAM).	EAMT	2020	DBLP BibTeX RDF
19	Oliver Schulte	Causal Learning with Occam's Razor.	Stud Logica	2019	DBLP DOI BibTeX RDF
19	Ke Sun 0001, Frank Nielsen	Lightlike Neuromanifolds, Occam's Razor and Deep Learning.	CoRR	2019	DBLP BibTeX RDF
19	Wenjun Mei, Francesco Bullo, Ge Chen 0001, Florian Dörfler	Occam's Razor in Opinion Dynamics: The Weighted-Median Influence Process.	CoRR	2019	DBLP BibTeX RDF