Search results for "modules"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Meng Zhou 0001, Franz Winkler 0001	Gröbner bases in difference-differential modules.	ISSAC	2006	DBLP DOI BibTeX RDF	Gröbner basis, difference and differential operators
21	Anshul Kundaje, Manuel Middendorf, Feng Gao, Chris Wiggins 0001, Christina S. Leslie	Combining Sequence and Time Series Expression Data to Learn Transcriptional Modules.	IEEE ACM Trans. Comput. Biol. Bioinform.	2005	DBLP DOI BibTeX RDF	clustering, heterogeneous data, Gene regulation
21	Jerker Hammarberg, Simin Nadjm-Tehrani	Formal verification of fault tolerance in safety-critical reconfigurable modules.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
21	Gregor Engels, Reiko Heckel, Alexey Cherchago	Flexible Interconnection of Graph Transformation Modules.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
21	Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud	From multi-clocked synchronous processes to latency-insensitive modules.	EMSOFT	2005	DBLP DOI BibTeX RDF	compositional mapping, separate compilation
21	Joseph A. Goguen, Grigore Rosu	Composing Hidden Information Modules over Inclusive Institutions.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
21	Marc M. Triola, Mary Ann Hopkins, Matthew J. Weiner, William Holloway, Richard I. Levin, Martin S. Nachbar, Thomas S. Riles	Surgical Interactive Multimedia Modules: A novel, non-browser based architecture for medical education.	CBMS	2004	DBLP DOI BibTeX RDF
21	Gabriel Juhás, Robert Lorenz 0001, Christian Neumair	Modelling and Control with Modules of Signal Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
21	Alessandro Girardi, Fernando da Rocha Paixão Cortes, Eric E. Fabris, Sergio Bampi	Analog IC Modules Design Using Trapezoidal Association of MOS Transistors in 0.35µm Technology.	SBCCI	2003	DBLP DOI BibTeX RDF
21	Hyosup Kang, Bongku Lee, Hakil Kim, Daecheol Shin, Jaesung Kim	A Study on Performance Evaluation of the Liveness Detection for Various Fingerprint Sensor Modules.	KES	2003	DBLP DOI BibTeX RDF
21	Lan Guo, Bojan Cukic, Harshinder Singh	Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks.	ASE	2003	DBLP DOI BibTeX RDF
21	Tom Hirschowitz, Xavier Leroy	Mixin Modules in a Call-by-Value Setting.	ESOP	2002	DBLP DOI BibTeX RDF
21	Pawel T. Wojciechowski, Sergio Mena, André Schiper	Semantics of Protocol Modules Composition and Interaction.	COORDINATION	2002	DBLP DOI BibTeX RDF
21	Davide Ancona, Elena Zucca	True Modules for Java-like Languages.	ECOOP	2001	DBLP DOI BibTeX RDF
21	John W. Lockwood	Platform and Methodology for Teaching Design of Hardware Modules in Internet Routers and Firewalls.	MSE	2001	DBLP DOI BibTeX RDF
21	Yi-He Jiang, Jianbang Lai, Ting-Chi Wang	Module placement with pre-placed modules using the B*-tree representation.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
21	Walter Gilbert	Invited presentation: introns and modules in ancient conserved genes (abstract only).	RECOMB	2000	DBLP DOI BibTeX RDF
21	Hugo de Garis, Andrzej Buller, Thierry Dob, Jean Honlet, Padma Guttikonda, Derek Decesare	Building Multimodule Systems with Unlimited Evolvable Capacities from Modules with Limited Evolvable Capacities (MECs).	Evolvable Hardware	2000	DBLP DOI BibTeX RDF
21	V. Michele Abrusci	Modules in Non-communicative Logic.	TLCA	1999	DBLP DOI BibTeX RDF
21	Yuji Kukimoto, Robert K. Brayton	Timing-safe false path removal for combinational modules.	ICCAD	1999	DBLP DOI BibTeX RDF
21	Carine Fédèle, Emmanuel Kounalis	Automatic Proofs of Properties of Simple C- Modules.	ASE	1999	DBLP DOI BibTeX RDF	inductive theorem proving, automatic proof, equational logic, Algebraic semantics
21	Hugo de Garis, Norberto Eiji Nawa, Andrzej Buller, Michael Korkin, Felix A. Gers, Michael Hough	ATR's Artificial Brain ("Cam-Brain") Project a Sample of what Individual "CoDi-1Bit" Model Evolved Neural Net Modules can do with Digital and Analog I/O.	Evolvable Hardware	1999	DBLP DOI BibTeX RDF
21	Owen L. Astrachan, Robert F. Smith, James T. Wilkes	Application-based modules using apprentice learning for CS 2.	SIGCSE	1997	DBLP DOI BibTeX RDF
21	Sudhir Borra, Sudeep Sarkar	Experimental Performance Evaluation of Feature Grouping Modules.	CVPR	1997	DBLP DOI BibTeX RDF	Figure Ground Segmentation, Performance Evaluation, Grouping, Perceptual Organization
21	Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman	Extracting Reusable Modules from Legacy Code: Considering the Issues of Module Granularity.	WCRE	1996	DBLP DOI BibTeX RDF
21	Dominic Duggan, Constantinos Sourelis	Mixin Modules.	ICFP	1996	DBLP DOI BibTeX RDF
21	Vasco Pedro, Luís Monteiro	Modules and Specifications.	JELIA	1996	DBLP DOI BibTeX RDF
21	Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman	Analysing Large COBOL Programs: the extraction of reusable modules.	ICSM	1996	DBLP DOI BibTeX RDF
21	Sharath Pankanti, Anil K. Jain 0001	Integrating Vision Modules: Stereo, Shading, Grouping, and Line Labeling.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	integration, fusion, Stereo, shape from shading, perceptual organization, line labeling
21	Bill Lin 0001, Steven Vercauteren	Synthesis of concurrent system interface modules with automatic protocol conversion generation.	ICCAD	1994	DBLP DOI BibTeX RDF
21	Xiaoyang Sean Wang, Sushil Jajodia, V. S. Subrahmanian	Temporal Modules: An Approach Toward Federated Temporal Databases.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
21	Mads Tofte	Principal Signatures for Higher-Order Program Modules.	POPL	1992	DBLP DOI BibTeX RDF	ML
21	Mark A. Sheldon, David K. Gifford	Static Dependent Types for First Class Modules.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	LISP
21	Rainer Isle, Klaus-Peter Löhr	Modelling Concurrent Modules.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
21	Nandakumar N. Tendolkar	Analysis of timing failures due to random AC defects in VLSI modules.	DAC	1985	DBLP DOI BibTeX RDF
20	Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo	Declarative Debugging of Membership Equational Logic Specifications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Maude, functional modules, membership equational logic, declarative debugging
20	Ou He, Sheqin Dong, Jinian Bian, Satoshi Goto, Chung-Kuan Cheng	A novel fixed-outline floorplanner with zero deadspace for hierarchical design.	ICCAD	2008	DBLP DOI BibTeX RDF	floorplanner, soft modules, zero deadspace, fixed-outline
20	Venera Arnaoudova, Constantinos Constantinides	Adaptation of Refactoring Strategies to Multiple Axes of Modularity: Characteristics and Criteria.	SERA	2008	DBLP DOI BibTeX RDF	refactoring, maintenance, modules, aspects
20	Santonu Sarkar, Girish Maskeri Rama, Avinash C. Kak	API-Based and Information-Theoretic Metrics for Measuring the Quality of Software Modularization.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	modules and interfaces, maintenance and enhancement, distribution, information theory, coupling, maintainability, layered architecture, Metrics/measurement
20	Thomas Cottenier, Aswin van den Berg, Tzilla Elrad	Joinpoint Inference from Behavioral Specification to Implementation.	ECOOP	2007	DBLP DOI BibTeX RDF	Modules and Interfaces, Aspect-Oriented Software Development, Model-Driven Software Engineering
20	Andres Löh, Ralf Hinze	Open data types and open functions.	PPDP	2006	DBLP DOI BibTeX RDF	extensible data types, extensible exceptions, extensible functions, mutually recursive modules, functional programming, Haskell, generic programming, expression problem
20	Roberto Maieli, Quintijn Puite	Modularity of proof-nets.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Weak (or linear) distributivity, Modules, Linear logic, Proof-nets
20	Derek Dreyer	Recursive type generativity.	ICFP	2005	DBLP DOI BibTeX RDF	generativity, type systems, recursion, abstract data types, effect systems, recursive modules
20	Jan Scheffczyk, Christiane Stutz, Uwe M. Borghoff, Johannes Siedersleben	Formale Konsistenzsicherung in informellen Software-Spezifikationen.	Inform. Forsch. Entwickl.	2004	DBLP DOI BibTeX RDF	Analysis modules, Temporal logic heterogeneous repositories, Consistency, Software specification
20	Daniel Cabeza Gras, Manuel V. Hermenegildo	A New Module System for Prolog.	Computational Logic	2000	DBLP DOI BibTeX RDF	modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation
20	Jonathan S. Ostroff	Composition and Refinement of Discrte Real-Time Systems.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	timed logic, model-checking, temporal logic, refinement, abstraction, modules, state explosion
20	Taghi M. Khoshgoftaar, Edward B. Allen, Xiaojing Yuan, Wendell D. Jones, John P. Hudepohl	Experience Paper: Preparing Measurements of Legacy Software for Predicting Operational Faults.	ICSM	1999	DBLP DOI BibTeX RDF	TREEDISC, software quality, software metrics, telecommunications, classification trees, fault-prone modules
20	Hans-Peter Eich, Christian Ohmann, Konrad Lang	Decision support in acute abdominal pain using an expert system for different knowledge bases.	CBMS	1997	DBLP DOI BibTeX RDF	acute abdominal pain, documentation program, medical data dictionary, knowledge modules, clinical data, automatic rule generation, diagnostic scores, general knowledge module, knowledge-based system, decision support systems, decision support system, expert system, knowledge bases, rule sets
20	Vincenzo Auletta, Amelia De Vivo, Vittorio Scarano	Multiple Templates Access of Trees in Parallel Memory Systems.	IPPS	1997	DBLP DOI BibTeX RDF	multiple template access, node mapping algorithms, subtree templates, root-to-leaf path templates, preprocessing phase, data structure, time complexity, tree data structures, load, complete binary trees, conflict-free access, parallel access, memory modules, parallel memory systems
20	Parthasarathi Dasgupta, Anup K. Sen, Subhas C. Nandy, Bhargab B. Bhattacharya	Geometric bipartitioning problem and its applications to VLSI.	VLSI Design	1996	DBLP DOI BibTeX RDF	geometric bipartitioning problem, layout design, rectilinear modules, staircase, monotone increasing, classical graph bisection problem, weighted permutation graph, integer edge weights, designated nodes, absolute value, edge weights, routing, computational complexity, VLSI, VLSI, graph theory, NP-complete, branch-and-bound, floorplan, heuristic algorithm, search problems, geometry, network routing, circuit layout CAD, hierarchical decomposition
20	Quang-Tuan Luong, Joseph Weber, Daphne Koller, Jitendra Malik	An Integrated Stereo-Based Approach to Automatic Vehicle Guidance.	ICCV	1995	DBLP DOI BibTeX RDF	traffic engineering computing, integrated stereo-based approach, automatic vehicle guidance, vision based longitudinal vehicle control, vision based lateral vehicle control, binocular vision, domain-specific efficient binocular stereo algorithm, lane marker detection algorithm, distance detection, leading vehicles, locally planar road, camera views, image feature mapping, obstacle map, positional parameters, performance, computer vision, tracking, occlusion, modules, alignment, stereo image processing, distance measurement, traffic control, vibrations, vibrations, road vehicles, binocular stereo, camera geometry
20	C. P. Ravikumar, Hemant Joshi	HISCOAP: a hierarchical testability analysis tool.	VLSI Design	1995	DBLP DOI BibTeX RDF	HISCOAP, hierarchical testability analysis tool, SCOAP measure, gate-level netlist, SCOAP expression diagrams, VLSI, logic testing, controllability, controllability, sequential circuits, sequential circuits, combinational circuits, combinational circuits, observability, observability, circuit analysis computing, integrated logic circuits, VLSI circuits, functional modules, stuck at fault model
20	Stephen S. Yau, Haiqing Ying	A clustering algorithm for object-oriented development of distributed computing system software.	FTDCS	1995	DBLP DOI BibTeX RDF	distributed computing system software, intermodule communication, module execution, object-oriented programming, distributed processing, modules, clustering algorithm, network operating systems, object-oriented development
20	Chi-lok Chan, Gilbert H. Young	Scheduling Algorithms for a Chain-like Task System.	ISAAC	1993	DBLP DOI BibTeX RDF	bottleneck processor, chain-like task system, contiguity constraint, feasible length- schedule, layered graph, merged module, schedule length, un-mergeable modules, optimal schedule, completion time
20	R. Lanergan, B. Poynton	Software engineering with standard assemblies.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Re-usable code, Standard modules, Logic structures
20	Tamal K. Dey, Aman Timalsina, Cheng Xin	Computing Generalized Ranks of Persistence Modules via Unfolding to Zigzag Modules.	CoRR	2024	DBLP DOI BibTeX RDF
20	Xianglong Ruan, Xiaochuan Liu	A categorical equivalence between logical quantale modules and quantum B-modules.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
20	Saeed Yazdani, Jafar A'zami, Yasin Sadegh	Indecomposability of top local cohomology modules and Falting's finiteness dimension of modules.	Period. Math. Hung.	2023	DBLP DOI BibTeX RDF
20	Paul-Ambroise Duquenne, Hongyu Gong, Benoît Sagot, Holger Schwenk	T-Modules: Translation Modules for Zero-Shot Cross-Modal Machine Translation.	CoRR	2022	DBLP DOI BibTeX RDF
20	Paul-Ambroise Duquenne, Hongyu Gong, Benoît Sagot, Holger Schwenk	T-Modules: Translation Modules for Zero-Shot Cross-Modal Machine Translation.	EMNLP	2022	DBLP DOI BibTeX RDF
20	Gabriella Böhm	Crossed Modules of Monoids II: Relative Crossed Modules.	Appl. Categorical Struct.	2020	DBLP DOI BibTeX RDF
20	Huishan Wu	Reverse Mathematics, Projective Modules and Invertible Modules.	TAMC	2020	DBLP DOI BibTeX RDF
20	Ebrahim Mohammadi, Javad Khodabakhsh, Gerry Moschopoulos, Roohollah Fadaeinedjad	A Study on the Performance of PV Modules in Snowy Conditions Considering Orientation of Modules.	CCECE	2020	DBLP DOI BibTeX RDF
20	Philip-Dylan Gleonec	Design and implementation of power management strategies for long range radio modules with energy harvesting. (Conception et implémentation de stratégies de gestion d'énergie pour modules radio longue portée avec récupération d'énergie).		2019	RDF
20	Nikesh Man Shakya	Design and development of energy-efficient transmission for wireless IoT modules. (Conception et développement d'une transmission écoénergétique pour les modules IoT sans fil).		2019	RDF
20	Hajer Ben Rekhissa	Réduction de la consommation énergétique dans les modules M2M utilisant la technologie LTE/LTE-A. (Reducing energy consumption in M2M modules over LTE/LTE-A technologies).		2019	RDF
20	Victoria Lebed, Friedrich Wagemann	Representations of Crossed Modules and Other Generalized Yetter-Drinfel'd Modules.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
20	Francesco Cavazzani, Luca Moci	Geometric Realizations and Duality for Dahmen-Micchelli Modules and De Concini-Procesi-Vergne Modules.	Discret. Comput. Geom.	2016	DBLP DOI BibTeX RDF
20	Paul Bui-Quang, Brigitte Grau, Patrick Paroubek	AppFM, une plate-forme de gestion de modules de TAL (AppFM, a tool for managing NLP modules).	JEP-TALN-RECITAL (Demonstrations)	2016	DBLP BibTeX RDF
20	Marko Pavlov	Numerical modelling of the coupling of thermal and photoelectric effects for the photovoltaic modules under low concentration. (Modélisation numérique du couplage thermique-photoélectrique pour des modules photovoltaïques sous faible concentration).		2016	RDF
20	Dmitry Svetlichnyy	Identification of CIS-regulatory Modules and non-coding variation using Machine Learning Methods ; Identificatie van CIS-regulatorische Modules en niet-Coderende Variatie Door middel van Machine Learning methodes. (PDF / PS)		2016	RDF
20	Frank Kraemer, Steffen Wiese	Assessment of long term reliability of photovoltaic glass-glass modules vs. glass-back sheet modules subjected to temperature cycles by FE-analysis.	Microelectron. Reliab.	2015	DBLP DOI BibTeX RDF
20	Martina Balagovic	Irreducible modules for the degenerate double affine Hecke algebra of type A as submodules of Verma modules.	J. Comb. Theory, Ser. A	2015	DBLP DOI BibTeX RDF
20	Andreas Rossberg	1ML - core and modules united (F-ing first-class modules).	ICFP	2015	DBLP DOI BibTeX RDF
20	Jürgen Schönwälder	Translation of Structure of Management Information Version 2 (SMIv2) MIB Modules to YANG Modules.	RFC	2012	DBLP DOI BibTeX RDF
20	Amir Ghazvinian, Natalya Fridman Noy, Mark A. Musen	From mappings to modules: using mappings to identify domain-specific modules in large ontologies.	K-CAP	2011	DBLP DOI BibTeX RDF
20	Martin Kuhlemann	Refactoring feature modules: disciplined generation of reusable modules.		2011	RDF
20	Hong Sun	Computational Discovery of Cis-Regulatory Modules Based on Itemset Mining (Computationele detectie van cis-regulatorische modules gebaseerd op itemset mining). (PDF / PS)		2011	RDF
20	Benjamin Steinberg	What are Modules? An Overview of Bret Tilson's Paper "Modules" from a Geometric Viewpoint.	Int. J. Algebra Comput.	2010	DBLP DOI BibTeX RDF
20	Amir Ghazvinian, Natasha Fridman Noy, Mark A. Musen	From mappings to modules: using mappings to identify domain-specific modules in large ontologies.	OM	2010	DBLP BibTeX RDF
20	Benoît Montagu	Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types. (Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts).		2010	RDF
20	Marie-Jean Meurs	Approche stochastique bayésienne de la composition sémantique pour les modules de compréhension automatique de la parole dans les systèmes de dialogue homme-machine. (A Bayesian Approach of Semantic Composition for Spoken Language Understanding Modules in Spoken Dialog Systems).		2009	RDF
20	Zhanmin Zhu, Zhangsheng Xia, Zhisong Tan	Generalizations of principally quasi-injective modules and quasiprincipally injective modules.	Int. J. Math. Math. Sci.	2005	DBLP DOI BibTeX RDF
20	Edward E. Allen	Bitableaux Bases for some Garsia-Haiman Modules and Other Related Modules.	Electron. J. Comb.	2002	DBLP DOI BibTeX RDF
20	Shigetoshi Nakatake, Masahiro Furuya, Yoji Kajitani	Module Placement on BSG-Structure with Pre-Placed Modules and Rectilinear Modules.	ASP-DAC	1998	DBLP DOI BibTeX RDF
20	Mike Prest	Interpreting Modules in Modules.	Ann. Pure Appl. Log.	1997	DBLP DOI BibTeX RDF
20	Tsuneo Yoshikawa, Hitoshi Ueda	Construction of virtual world using dynamics modules and interaction modules.	ICRA	1996	DBLP DOI BibTeX RDF
20	Fred U. Rosenberger, Charles E. Molnar, Thomas J. Chaney, Ting-Pien Fang	Q-Modules: Internally Clocked Delay-Insensitive Modules.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF
20	Philipp Rothmaler	Some Model Theory of Modules. III. On Infiniteness of Sets Definable in Modules.	J. Symb. Log.	1984	DBLP DOI BibTeX RDF
20	Philipp Rothmaler	Some Model Theory of Modules. I. On Total Transcendence of Modules.	J. Symb. Log.	1983	DBLP DOI BibTeX RDF
20	Philipp Rothmaler	Some Model Theory of Modules. II. On Stability and Categoricity of Flat Modules.	J. Symb. Log.	1983	DBLP DOI BibTeX RDF
20	Samuel H. Fuller, Daniel P. Siewiorek, Richard J. Swan	Computer Modules: An Architecture for Large Digital Modules.	ISCA	1973	DBLP DOI BibTeX RDF
19	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
19	Cheng-Wu Lin, Jai-Ming Lin, Chun-Po Huang, Soon-Jyh Chang	Performance-driven analog placement considering boundary constraint.	DAC	2010	DBLP DOI BibTeX RDF	analog placement, boundary constraint, symmetry
19	Bithika Khargharia, Salim Hariri, Mazin S. Yousif	An Adaptive Interleaving Technique for Memory Performance-per-Watt Management.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
19	Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra	Introduction to Part I.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
19	Manji Bhadra, Surjit Kumar Singh, Sachin Kumar, Subash, Muktanand Agrawal, R. Chandrasekhar, Sudhir K. Mishra, Girish Nath Jha	Sanskrit Analysis System (SAS).	Sanskrit Computational Linguistics	2009	DBLP DOI BibTeX RDF	sandhi, subanta, ti?anta, k?danta, sam?sa, taddhita, str? pratyaya, k?raka, vibhakti, pr?tipadika, dh?tu, sup, ti?, avyaya, s?tra, v?rttika, ?k??k??, yogyat?, vivak??, li?ga, upadh?, ga?a, pada, lak?ra, vacana, vik?ra, upasarga, v?ddhi
19	Yisheng Guan, Li Jiang, Xianmin Zhang, Hong Zhang 0011, Xuefeng Zhou	Development of novel robots with modular methodology.	IROS	2009	DBLP DOI BibTeX RDF
19	Hwei-Jen Lin, I-Chun Pai, Fu-Wen Yang	An Integrated System of Face Recognition.	IEA/AIE	2009	DBLP DOI BibTeX RDF	two dimensional principle component analysis (2DPCA), genetic algorithms, Face recognition, discrete cosine transformation (DCT), frequency domain, principle component analysis (PCA), spatial domain, weighted voting
19	Pritha Banerjee 0001, Megha Sangtani, Susmita Sur-Kolay	Floorplanning for Partial Reconfiguration in FPGAs.	VLSI Design	2009	DBLP DOI BibTeX RDF