|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7000 occurrences of 3406 keywords
|
|
|
Results
Found 18100 publication records. Showing 18100 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Michel Habib, Fabien de Montgolfier, Christophe Paul |
A Simple Linear-Time Modular Decomposition Algorithm for Graphs, Using Order Extension. |
SWAT |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Corina Cîrstea, Dirk Pattinson |
Modular Construction of Modal Logics. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
16 | John A. Crowe, Barrie Hayes-Gill, Mark Sumner, Carl Barratt, Ben Palethorpe, Chris Greenhalgh, Oliver Storz, Adrian Friday, Jan Humble, Chris Setchell, Cliff Randell, Henk L. Muller |
Modular Sensor Architecture for Unobtrusive Routine Clinical Diagnosis. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Augusto Ciuffoletti, Tiziana Ferrari |
Experiences in Designing a Modular Resource Monitoring System. |
WETICE |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Hai Zhao 0001, Bao-Liang Lu |
A Modular k-Nearest Neighbor Classification Method for Massively Parallel Text Categorization. |
CIS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | JeongYon Shim |
Knowledge Retrieval Using Bayesian Associative Relation in the Three Dimensional Modular System. |
APWeb |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Daniel L. Rosenband, Arvind |
Modular scheduling of guarded atomic actions. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
Design, Algorithms, Verification, Languages |
16 | Tyng-Ruey Chuang, Jan-Li Lin |
On modular transformation of structural content. |
ACM Symposium on Document Engineering |
2004 |
DBLP DOI BibTeX RDF |
bird-meertens formalism, document transformation and validation, XML, functional programming, ML, modules |
16 | Jack B. Dennis |
Fresh Breeze: a multiprocessor chip architecture guided by modular programming principles. |
SIGARCH Comput. Archit. News |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Sankar K. Pal, Sushmita Mitra, Pabitra Mitra |
Rough-Fuzzy MLP: Modular Evolution, Rule Generation, and Evaluation. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
knowledge-based fuzzy networks, rule extraction/evaluation, genetic algorithms, data mining, pattern recognition, rough sets, knowledge discovery, Soft computing |
16 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer |
Thread-Modular Abstraction Refinement. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Constantin B. Zamfirescu, Paul Valckenaers, Karuna Hadeli, Hendrik Van Brussel, Bart Saint Germain |
A Case Study for Modular Plant Control. |
HoloMAS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Moshe Deutsch, Martin C. Henson, Besnik Kajtazi |
Modular refinement in novel schema calculi. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Martin Spengler, Bernt Schiele |
Multi-object Tracking Based on a Modular Knowledge Hierarchy. |
ICVS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Kiran Puttegowda, Peter Athanas |
RSA encryption using Extended Modular Arithmetic on the Quicksilver COSM Adaptive Computing Machine. |
FCCM |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Hyun-Sung Kim, Hee-Joo Park, Sung-Ho Hwang |
Parallel Modular Multiplication Algorithm in Residue Number System. |
PPAM |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Sergey A. Inutin |
Parallel Square Modular Computer Algebra. |
PPAM |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Vasudevan Janarthanan, Purnendu Sinha |
Modular Composition and Verification of Transaction Processing Protocols. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Ricardo Staciarini Puttini, Jean-Marc Percher, Ludovic Mé, Olivier Camp, Rafael Timóteo de Sousa Júnior, Cláudia J. Barenco Abbas, L. Javier García-Villalba |
A Modular Architecture for Distributed IDS in MANET. |
ICCSA (3) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Eddie Cooke, Peter Kauff, Oliver Schreer |
A Scalable and Modular Solution for Virtual View Creation in Image-Based Rendering Systems. |
VLBV |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Márk Jelasity, Alberto Montresor, Özalp Babaoglu |
A Modular Paradigm for Building Self-Organizing Peer-to-Peer Applications. |
Engineering Self-Organising Systems |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Andrey V. Nikitin, Ludmila I. Nikitina |
Evolutionary Model of Optimization of Modular Associative Memory for Dataflow Machines Based on Genetic Algorithm. |
Program. Comput. Softw. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | David Decotigny, Isabelle Puaut |
ARTISST: An Extensible and Modular Simulation Tool for Real-Time Systems. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Scheduler, Real-time, Operating System, Discrete Events Simulator, Extensibility |
16 | Aleksey Nogin |
Quotient Types: A Modular Approach. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Iain Bate, Tim Kelly |
Architectural Considerations in the Certification of Modular Systems. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Jean Marc Couveignes, Thierry Henocq |
Action of Modular Correspondences around CM Points. |
ANTS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Weihai Chen, Guilin Yang, Kiah Mok Goh |
Kinematic control for fault-tolerant modular robots based on joint angle increment redistribution. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Rajarathinam Arangarasan, George N. Phillips Jr. |
Modular Approach of Multimodal Integration in a Virtual Environment. |
ICMI |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Moira C. Norrie, Alexios Palinginis |
A Modelling Approach to the Realisation of Modular Information Spaces. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Natalino G. Busá, Ghiath Alkadi, Michael J. Verberne, Rafael Peset Llopis, Sethuraman Ramanatha |
RAPIDO: A Modular, Multi-Board, Heterogeneous Multi-Processor, PCI Bus Based Prototyping Framework for the Validation of SoC VLSI Designs. |
IEEE International Workshop on Rapid System Prototyping |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Hazem M. El-Bakry |
Fast cooperative modular neural nets for human face detection. |
ICIP (1) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Hazem M. El-Bakry |
Fast Iris Detection for Personal Verification Using Modular Neural Nets. |
Fuzzy Days |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Tanja Lang, Daniel Floreani |
Modular TCP Design and Its Application in Performance Evaluation of Different TCP Versions for Wireless Environments. |
ISCC |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Kathi Fisler, Shriram Krishnamurthi |
Modular verification of collaboration-based software designs. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
model checking, software architecture, aspect-oriented programming, compositional reasoning, computer-aided verification, collaboration-based design |
16 | Hazem M. El-Bakry |
Fast iris detection for personal identification using modular neural networks. |
ISCAS (3) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Hazem M. El-Bakry |
Human Face Detection Using Fast Co-operative Modular Neural Nets. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Luiz E. Soares de Oliveira, Robert Sabourin, Flávio Bortolozzi, Ching Y. Suen |
A Modular System to Recognize Numerical Amounts on Brazilian Bank Checks. |
ICDAR |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Eddie Kohler, Robert Tappan Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek |
The click modular router. |
ACM Trans. Comput. Syst. |
2000 |
DBLP DOI BibTeX RDF |
software router performance, routers, component systems |
16 | Khaldoun Ateyeh, Jutta A. Mülle, Peter C. Lockemann |
Modular Development of Multimedia Courseware. |
WISE (2) |
2000 |
DBLP DOI BibTeX RDF |
Reusable courseware, courseware development, Hypermedia |
16 | Rajeev Alur, Radu Grosu |
Modular Refinement of Hierarchic Reactive Machines. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Ben-Chung Cheng, Wen-mei W. Hwu |
Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Ig-Tae Um, Jong-Jin Won, Moon-Hyun Kim |
Text Independent Speaker Verification Using Modular Neural Network. |
IJCNN (6) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Hazem M. El-Bakry, M. A. Abo-Elsoud, Mohamed S. Kamel |
Fast Modular Neural Nets for Human Face Detection. |
IJCNN (3) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel |
A Theory of Consistency for Modular Synchronous Systems. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Takehiko Kato, Satoru Ito, Jun Anzai, Natsume Matsuzaki |
A Design for Modular Exponentiation Coprocessor in Mobile Telecommunication Terminals. |
CHES |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Augustin Baziramwabo, Pierre McKenzie, Denis Thérien |
Modular Temporal Logic. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
semigroup theory, temporal logic, finite model theory |
16 | David Power, Russell J. Bradford |
A Library for Parallel Modular Arithmetic. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Todd D. Millstein, Craig Chambers |
Modular Statically Typed Multimethods. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Sung-Woo Lee, Hyun-Sung Kim 0001, Jung-Joon Kim, Tae-Geun Kim, Kee-Young Yoo |
Efficient Fixed-Size Systolic Arrays for the Modular Multiplication. |
COCOON |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Lin-Cheng Wang, Syed A. Rizvi, Nasser M. Nasrabadi |
A modular neural network vector predictor for predictive image coding. |
IEEE Trans. Image Process. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Omar Cherkaoui, Ylian Saint-Hilaire, Hafedh Mili, Ahmed Serhrouchni |
Towards a modular and interoperable SNMPv3. |
NOMS |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Dan Stoianovici, Louis L. Whitcomb, James H. Anderson, Russell H. Taylor, Louis R. Kavoussi |
A Modular Surgical Robotic System for Image Guided Percutaneous Procedures. |
MICCAI |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Micah Adler, Yair Bartal, John W. Byers, Michael Luby, Danny Raz |
A Modular Analysis of Network Transmission Protocols. |
ISTCS |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Michel, Virginie Wiels |
A Framework for Modular Formal Specification and Verification. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Di Cosmo, Neil Ghani |
On Modular Properties of Higher Order Extensional Lambda Calculi. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Bernd Finkbeiner, Zohar Manna, Henny Sipma |
Deductive Verification of Modular Systems. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Laura Recalde, Enrique Teruel, Manuel Silva Suárez |
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Sheng Liang, Paul Hudak |
Modular Denotational Semantics for Compiler Construction. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Michael S. Lew |
Information Theoretic View-Based and Modular Face Detection. |
FG |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Yves Cheneval |
Packlib, an Interactive Environment to Develop Modular Software for Data Processing. |
IWANN |
1995 |
DBLP DOI BibTeX RDF |
|
16 | O. Vermesan |
A Modular VLSI Architecture for Neural Networks Implementation. |
IWANN |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Elias Dahlhaus |
Efficient Parallel Modular Decomposition (Extended Abstract). |
WG |
1995 |
DBLP DOI BibTeX RDF |
Parallel algorithms, graph theory, graph algorithms |
16 | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
Modular Logic Programming. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations |
16 | Ralph-Johan Back, Kaisa Sere |
From Action Systems to Modular Systems. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Hoon Hong, Hans-Wolfgang Loidl |
Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. |
CONPAR |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Olaf Müller, Franz Weber |
Theory and Practice of Minimal Modular Higher-Order E-Unification. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Alain Cournier, Michel Habib |
A New Linear Algorithm for Modular Decomposition. |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
autonomous subsets, clans, graph decomposition trees, vertex-splitting. cotrees, Graphs, modules, substitution, cographs, prime graphs |
16 | Mark J. Encarnación |
On a Modular Algorithm for Computing GCDs of Polynomials over Algebraic Number Fields. |
ISSAC |
1994 |
DBLP DOI BibTeX RDF |
|
16 | A. S. Krishnakumar |
Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Yves Lecourtier, Bernadette Dorizzi, Philippe Sebire, Abdel Ennaji |
MLP Modular Versus YPREL Classifiers. |
IWANN |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Jean Frédéric Myoupo, Anne-Cécile Fabret |
Designing Modular Linear Systolic Arrays Using Dependance Graph Regular Partitions. |
CONPAR |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Szabolcs Ferenczi |
Concepts for a Modular and Distributed Prolog Language. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Angelo Morzenti, Pierluigi San Pietro |
An Object-Oriented Logic Language for Modular System Specification. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Kenneth A. Ross |
Modular Stratification and Magic Sets for DATALOG Programs with Negation. |
PODS |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
16 | Hikaru Morita |
A Fast Modular-multiplication Module for Smart Cards. |
AUSCRYPT |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Shimon Even |
Systolic Modular Multiplication. |
CRYPTO |
1990 |
DBLP DOI BibTeX RDF |
|
16 | John H. Muller, Jeremy P. Spinrad |
Incremental modular decomposition. |
J. ACM |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Shin-ichi Kawamura, Kyoko Hirano |
A Fast Modular Arithmetic Algorithm Using a Residue Table (Extended Abstract). |
EUROCRYPT |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard Quatember |
Modular crossbar switch for large-scale multiprocessor systems: structure and implementation. |
AFIPS National Computer Conference |
1981 |
DBLP DOI BibTeX RDF |
|
16 | Paulo T. de Sousa, Francis P. Mathur |
Modular redundancy without voters decreases complexity of restoring organ. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
16 | Harold H. Shlevin |
An adaptable, modular data - collection system suitable for scientific experimentation: analog to digital transformation, short - term digital storage, formatted digital tape - recording, and computer entry of experimental data. |
AFIPS National Computer Conference |
1976 |
DBLP DOI BibTeX RDF |
|
15 | Faezeh Ensan, Ebrahim Bagheri |
A framework for handling revisions in distributed ontologies. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
modular ontologies, description logic, revision |
15 | Marc D. Riedel, Soha Hassoun, Ron Weiss, Pamela Silver, J. Christopher Anderson, Richard M. Murray |
Joint DAC/IWBDA special session engineering biology: fundamentals and applications. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
bio-design automation, biological circuits, cellular programming, robustness, control, feedback, computational biology, system biology, modular designs, synthetic biology |
15 | Christoforos E. Economakos, Fotis N. Koumboulis |
Efficient robust supervisors for discrete event systems. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
robust supervisory control, uncertain discrete event systems, modular supervisory control, on-line supervisory controller |
15 | Bao-Liang Lu, Xiaolin Wang 0002, Masao Utiyama |
Incorporating prior knowledge into learning by dividing training data. |
Frontiers Comput. Sci. China |
2009 |
DBLP DOI BibTeX RDF |
patent classification, min-max modular network, support vector machine, prior knowledge, task decomposition |
15 | Meiqin Wang, Jorge Nakahara Jr., Yue Sun |
Cryptanalysis of the Full MMB Block Cipher. |
Selected Areas in Cryptography |
2009 |
DBLP DOI BibTeX RDF |
MMB block cipher, square cryptanalysis, differential cryptanalysis, modular multiplication, linear cryptanalysis |
15 | Angelo Paolo Castellani, Paolo Casari, Michele Zorzi |
TinyNET: a tiny network framework for TinyOS. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
modular networking framework, TinyOS, 6LowPAN |
15 | Jaewan Seo, Moonseong Kim, In Hur, Hyunseung Choo |
Delay-based reliable data transmission for lossy wireless sensor networks. |
MoMM |
2009 |
DBLP DOI BibTeX RDF |
reliable data transmission, wireless sensor networks, protocol, energy-efficiency, modular approach |
15 | Serguei A. Mokhov, Emil Vassev |
Autonomic specification of self-protection for distributed MARF with ASSL. |
C3S2E |
2009 |
DBLP DOI BibTeX RDF |
autonomic system specification language (ASSL), distributed modular audio recognition framework (DMARF), pattern recognition, autonomic computing, self-protection |
15 | Laura Cleofas, Rosa Maria Valdovinos, Vicente García 0001, Roberto Alejo |
Use of Ensemble Based on GA for Imbalance Problem. |
ISNN (2) |
2009 |
DBLP DOI BibTeX RDF |
Genetic Algorithm, Modular Neural Network, Nearest Neighbor Rule, Imbalance |
15 | Luca Sterpone |
Timing Driven Placement for Fault Tolerant Circuits Implemented on SRAM-Based FPGAs. |
ARC |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, FPGA, Single Event Upset, Triple Modular Redundancy, Timing-driven Placement |
15 | Luigi Nardi, Charles Sorror, Fouad Badran, Sylvie Thiria |
YAO: A Software for Variational Data Assimilation Using Numerical Models. |
ICCSA (2) |
2009 |
DBLP DOI BibTeX RDF |
modular graph, backpropagation, automatic differentiation, Data assimilation, numerical model, adjoint model |
15 | Phokion G. Kolaitis, Swastik Kopparty |
Random graphs and the parity quantifier. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
0-1 law, AC0, modular convergence, first-order logic |
15 | Jing Zhu, Xiang Li 0070, Lin Du |
Spatio-temporal Model Based on Back Propagation Neural Network for Regional Data in GIS. |
ISICA |
2009 |
DBLP DOI BibTeX RDF |
Regional data, Modular BP network, Regional spatio-temporal neural network model (RSTN model), Spatio-temporal analysis |
15 | Philip M. Wells, Koushik Chakraborty, Gurindar S. Sohi |
Mixed-mode multicore reliability. |
ASPLOS |
2009 |
DBLP DOI BibTeX RDF |
dual-modular redundancy, multicore |
15 | David Fick, Andrew DeOrio, Jin Hu, Valeria Bertacco, David T. Blaauw, Dennis Sylvester |
Vicis: a reliable network for unreliable silicon. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
hard faults, fault tolerance, built-in-self-test, Network-on-Chip, reconfiguration, torus, N-modular redundancy |
15 | Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki |
WWW Business Applications Based on the Cellular Model. |
J. Comput. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
incrementally modular abstraction hierarchy, formula expression, adjunction space, presentation level, topological space, cellular space, cyberworlds |
15 | Jinguo Liu, Shugen Ma, Yuechao Wang, Bin Li 0001 |
Network-based reconfiguration routes for a self-reconfigurable robot. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
reconfiguration route, network-based reconfiguration, configuration network, modular robot, self-reconfigurable robot |
15 | Rajab Ali Borzooei, Mahmood Bakhshi, Mashaallah Mashinchi |
Lattice structure on some fuzzy algebraic systems. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Distributive (Modular) lattice, (BCC) BCK-algebra, Fuzzy (normal) subgroup, G-fuzzy subgroup, Fuzzy hyperideal |
|
|