Search results for "Comet"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Siriwan Suebnukarn, Peter Haddawy	COMET: A Collaborative Tutoring System for Medical Problem-Based Learning.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	Bayesian networks, intelligent tutoring systems, empirical evaluation, problem-based learning, computer-supported collaborative learning, medicine
101	Bogdan Smolka, Rastislav Lukac	Segmentation of the Comet Assay Images.	ICIAR (2)	2004	DBLP DOI BibTeX RDF
85	Alexandre Demeure, Gaëlle Calvary, Karin Coninx	COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces.	DSV-IS	2008	DBLP DOI BibTeX RDF	tailored UIs, Adaptation, exploration, context of use, plasticity, design alternatives, style sheets, interactors
81	Laurent D. Michel	Parallelizing constraint programs.	DAMP	2010	DBLP DOI BibTeX RDF	constraint-based local search, parallel programming, constraint programming
74	Hatem Boujemaa, Insaf Jaafar, Rim Amara, Mohamed Siala 0001	Joint azimuth, elevation, and time of arrival estimation of diffuse sources.	Ann. des Télécommunications	2008	DBLP DOI BibTeX RDF	Mots clés: Localisation de sources diffuses, BCR, Algorithme des projections alternées, MUSIC, COMET, MV
69	Laurent Michel, Pascal Van Hentenryck	The Comet Programming Language and System.	CP	2005	DBLP DOI BibTeX RDF
69	Gaëlle Calvary, Joëlle Coutaz, Olfa Dâassi, Lionel Balme, Alexandre Demeure	Towards a New Generation of Widgets for Supporting Software Plasticity: The "Comet".	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF
69	Johann Eder, Christian Koncilia, Tadeusz Morzy	The COMET Metamodel for Temporal Data Warehouses.	CAiSE	2002	DBLP DOI BibTeX RDF
65	Junhee Lee 0001, Sue J. Lee, Yeonchool Park, Sukhan Lee 0001	Object Recognition Architecture Using Distributed and Parallel Computing with Collaborator.	GrC	2007	DBLP DOI BibTeX RDF
65	Siriwan Suebnukarn, Peter Haddawy	A collaborative intelligent tutoring system for medical problem-based learning.	IUI	2004	DBLP DOI BibTeX RDF	bayesian networks, intelligent tutoring systems, collaborative environments, problem-based learning, multi-modal interfaces, medicine
58	William S. Mark, Sherman W. Tyler, James McGuire, Jon L. Schlossberg	Commitment-Based Software Development.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	data requirements, Comet system, explicit representation, sensor-based tracker software, software engineering, artificial intelligence, knowledge representation, constraints, software development, reuse, reasoning, software reusability, commitments, software modules, resource consumption
53	Mi-Yen Yeh, Bi-Ru Dai, Ming-Syan Chen	COMET: Event-Driven Clustering over Multiple Evolving Streams.	PAKDD	2006	DBLP DOI BibTeX RDF
49	Tyler J. Gunn, Pourang Irani, John Anderson 0001	An evaluation of techniques for selecting moving targets.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	moving target selection, fitts' law, target selection
49	Thomas Gustafsson, Aleksandra Tesanovic, Ying Du, Jörgen Hansson	Engineering active behavior of embedded software to improve performance and evolution: an aspect-oriented approach.	SAC	2007	DBLP DOI BibTeX RDF
49	Yifeng Sun, David Levy 0001	A Software Process for Modeling Complex Systems with UML-RT.	TASE	2007	DBLP DOI BibTeX RDF
49	Siriwan Suebnukarn, Peter Haddawy	Modeling individual and collaborative problem-solving in medical problem-based learning.	User Model. User Adapt. Interact.	2006	DBLP DOI BibTeX RDF	Medical problem-based learning, Bayesian networks, Intelligent tutoring systems, Student modeling, Computer-supported collaborative learning
49	Pascal Van Hentenryck, Laurent Michel	Scheduling Abstractions for Local Search.	CPAIOR	2004	DBLP DOI BibTeX RDF
41	Derya Dogan Durgun, Emre Niyazi Toprakkaya	Roman Domination of the Comet, Double Comet, and Comb Graphs.	CoRR	2021	DBLP BibTeX RDF
41	Eftal Sehirli, Muhammed Kamil Turan, Emrullah Demiral	A randomized automated thresholding method to identify comet objects on comet assay images.	ICCIP	2017	DBLP DOI BibTeX RDF
37	Kei Nakanishi, Jianhua Ma 0002, Bernady O. Apduhan, Runhe Huang	An Object-Oriented Framework for Common Abstraction and the Comet-Based Interaction of Physical u-Objects and Digital Services.	UIC	2008	DBLP DOI BibTeX RDF
32	Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon	Constraint-Based Graph Matching.	CP	2009	DBLP DOI BibTeX RDF
32	Mi-Yen Yeh, Bi-Ru Dai, Ming-Syan Chen	Clustering over Multiple Evolving Streams by Events and Correlations.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Data mining, data streams, data clustering
32	Aleksandra Tesanovic, Mehdi Amirijoo, Jörgen Hansson	Providing Configurable QoS Management in Real-Time Systems with QoS Aspect Packages.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
32	Minseong Kim, Suntae Kim, Sooyong Park, Mun-Taek Choi, Munsang Kim, Hassan Gomaa	UML-based service robot software development: a case study.	ICSE	2006	DBLP DOI BibTeX RDF	object-oriented analysis and design methods, service robot development, software engineering, UML
32	Pascal Van Hentenryck, Laurent Michel	Control Abstractions for Local Search.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	search, heuristic, constraint, control, abstraction, local search, meta-heuristic, incremental, neighborhood
32	Aleksandra Tesanovic, Mehdi Amirijoo, Kaj-Mikael Björk, Jörgen Hansson	Empowering configurable QoS management in real-time systems.	AOSD	2005	DBLP DOI BibTeX RDF
32	Hiroyuki Kamezawa, Makoto Nakamura, Junji Tamatsukuri, Nao Aoshima, Mary Inaba, Kei Hiraki	Inter-Layer Coordination for Parallel TCP Streams on Long Fat Pipe Networks.	SC	2004	DBLP DOI BibTeX RDF
32	Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström	Towards Aspectual Component-Based Development of Real-Time Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
32	Pascal Van Hentenryck, Laurent Michel	Control Abstractions for Local Search.	CP	2003	DBLP DOI BibTeX RDF
32	Frédéric Peschanski, Jean-Pierre Briot, Akinori Yonezawa	Fine-Grained Dynamic Adaptation of Distributed Components.	Middleware	2003	DBLP DOI BibTeX RDF	Fine-grain adaptations, Event-based Asynchronous Communications, Strong typing, Dynamic Adaptability, Component-based Middleware
31	Md. Rezaul Karim 0001, Lina Molinas Comet, Md Shajalal, Paola de Perthuis, Dietrich Rebholz-Schuhmann, Stefan Decker	From Large Language Models to Knowledge Graphs for Biomarker Discovery in Cancer.	HICSS	2024	DBLP BibTeX RDF
31	Romain Michelucci, Vincent Callegari, Jean-Paul Comet, Denis Pallez	Cellular Genetic Algorithms for Identifying Variables in Hybrid Gene Regulatory Networks.	EvoApplications@EvoStar	2024	DBLP DOI BibTeX RDF
31	Md. Rezaul Karim 0001, Lina Molinas Comet, Md Shajalal, Oya Beyan, Dietrich Rebholz-Schuhmann, Stefan Decker	From Large Language Models to Knowledge Graphs for Biomarker Discovery in Cancer.	CoRR	2023	DBLP DOI BibTeX RDF
31	Md. Rezaul Karim 0001, Lina Molinas Comet, Oya Beyan, Dietrich Rebholz-Schuhmann, Stefan Decker	A Biomedical Knowledge Graph for Biomarker Discovery in Cancer.	CoRR	2023	DBLP DOI BibTeX RDF
31	Honglu Sun, Jean-Paul Comet, Maxime Folschette, Morgan Magnin	Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks.	BIOINFORMATICS	2023	DBLP DOI BibTeX RDF
31	Florian Barthélemy, Michael Cochez, Iraklis Dimitriadis, Naila Karim, Nikolaos Loutas, Ioannis Magnisalis, Lina Molinas Comet, Vassilios Peristeras, Brecht Wyns	Towards a standard-based open data ecosystem: analysis of DCAT-AP use at national and European level.	Electron. Gov. an Int. J.	2022	DBLP DOI BibTeX RDF
31	Romain Michelucci, Jean-Paul Comet, Denis Pallez	Evolutionary Continuous Optimization of Hybrid Gene Regulatory Networks.	EA	2022	DBLP DOI BibTeX RDF
31	Francisco J. Rodríguez-Sanchez, Jorge Carrillo-de-Albornoz, Laura Plaza, Julio Gonzalo, Paolo Rosso, Miriam Comet, Trinidad Donoso	Overview of EXIST 2021: sEXism Identification in Social neTworks.	Proces. del Leng. Natural	2021	DBLP BibTeX RDF
31	Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet	TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism.	BIOINFORMATICS	2021	DBLP DOI BibTeX RDF
31	Laetitia Gibart, Hélène Collavizza, Jean-Paul Comet	Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach.	CMSB	2021	DBLP DOI BibTeX RDF
31	Fernando de Goes, Patrick Coleman, Michael Comet, Alonso Martinez	Sculpt Processing for Character Rigging.	SIGGRAPH Talks	2020	DBLP DOI BibTeX RDF
31	Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet	What is a Cell Cycle Checkpoint? The TotemBioNet Answer.	CMSB	2020	DBLP DOI BibTeX RDF
31	Ingrid Grenet, Kevin Merlo, Jean-Paul Comet, Romain Tertiaux, David Rouquié, Frédéric Dayan	Stacked Generalization with Applicability Domain Outperforms Simple QSAR on in Vitro Toxicological Data.	J. Chem. Inf. Model.	2019	DBLP DOI BibTeX RDF
31	Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux	A genetically modified Hoare logic.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
31	Ingrid Grenet, Yonghua Yin, Jean-Paul Comet	G-Networks to Predict the Outcome of Sensing of Toxicity.	Sensors	2018	DBLP DOI BibTeX RDF
31	Jonathan Behaegel, Jean-Paul Comet, Marie Pelleau	Identification of Dynamic Parameters for Gene Networks.	ICTAI	2018	DBLP DOI BibTeX RDF
31	Fernando de Goes, William Sheffler, Michael Comet, Alonso Martinez, Aimei Kutt	Patch-based surface relaxation.	SIGGRAPH Talks	2018	DBLP DOI BibTeX RDF
31	Ingrid Grenet, Yonghua Yin, Jean-Paul Comet, Erol Gelenbe	Machine Learning to Predict Toxicity of Compounds.	ICANN (1)	2018	DBLP DOI BibTeX RDF
31	Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney	A Qualitative Framework Dedicated to Toxicology.	BIOINFORMATICS	2017	DBLP DOI BibTeX RDF
31	Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette	Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks.	TIME	2017	DBLP DOI BibTeX RDF
31	Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney	Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes.	CMSB	2017	DBLP DOI BibTeX RDF
31	Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette	A Hybrid Hoare Logic for Gene Network Models.	CoRR	2016	DBLP BibTeX RDF
31	Jonathan Behaegel, Jean-Paul Comet, Gilles Bernot, Emilien Cornillon, Franck Delaunay	A hybrid model of cell cycle in mammals.	J. Bioinform. Comput. Biol.	2016	DBLP DOI BibTeX RDF
31	Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux	A Genetically Modified Hoare Logic.	CoRR	2015	DBLP BibTeX RDF
31	Gilles Bernot, Jean-Paul Comet, Olivier F. Roux	A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network.	CMSB	2015	DBLP DOI BibTeX RDF
31	Soumya Ghose, Arnau Oliver, Jhimli Mitra, Robert Marti, Xavier Lladó, Jordi Freixenet, Desire Sidibé, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau	A supervised learning framework of statistical shape and probability priors for automatic prostate segmentation in ultrasound images.	Medical Image Anal.	2013	DBLP DOI BibTeX RDF
31	Jhimli Mitra, Zoltan Kato, Robert Marti, Arnau Oliver, Xavier Lladó, Desire Sidibé, Soumya Ghose, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau	A spline-based non-linear diffeomorphism for multimodal prostate registration.	Medical Image Anal.	2012	DBLP DOI BibTeX RDF
31	Jean-Paul Comet, Gilles Bernot, Aparna Das, Francine Diener, Camille Massot, Amélie Cessieux	Simplified Models for the Mammalian Circadian Clock.	CSBio	2012	DBLP DOI BibTeX RDF
31	Soumya Ghose, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Jhimli Mitra, Joan Carles Vilanova, Josep Comet-Batlle, Fabrice Mériaudeau	Statistical shape and texture model of quadrature phase information for prostate segmentation.	Int. J. Comput. Assist. Radiol. Surg.	2012	DBLP DOI BibTeX RDF
31	Jhimli Mitra, Soumya Ghose, Desire Sidibé, Arnau Oliver, Robert Marti, Xavier Lladó, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau	Weighted likelihood function of multiple statistical parameters to retrieve 2D TRUS-MR slice correspondence for prostate biopsy.	ICIP	2012	DBLP DOI BibTeX RDF
31	Jhimli Mitra, Abhilash Srikantha, Désiré Sidibé, Robert Marti, Arnau Oliver, Xavier Lladó, Soumya Ghose, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau	A shape-based statistical method to retrieve 2D TRUS-MR slice correspondence for prostate biopsy.	Medical Imaging: Image Processing	2012	DBLP DOI BibTeX RDF
31	Soumya Ghose, Jhimli Mitra, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Joan Carles Vilanova, Josep Comet, Désiré Sidibé, Fabrice Mériaudeau	Spectral clustering of shape and probability prior models for automatic prostate segmentation.	EMBC	2012	DBLP DOI BibTeX RDF
31	Jhimli Mitra, Soumya Ghose, Désiré Sidibé, Robert Marti, Arnau Oliver, Xavier Lladó, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau	Joint probability of shape and image similarities to retrieve 2D TRUS-MR slice correspondence for prostate biopsy.	EMBC	2012	DBLP DOI BibTeX RDF
31	Soumya Ghose, Jhimli Mitra, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Joan Carles Vilanova, Josep Comet, Desire Sidibé, Fabrice Mériaudeau	A Mumford-Shah functional based variational model with contour, shape, and probability prior information for prostate segmentation.	ICPR	2012	DBLP BibTeX RDF
31	Soumya Ghose, Jhimli Mitra, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Joan Carles Vilanova, Josep Comet, Desire Sidibé, Fabrice Mériaudeau	Graph cut energy minimization in a probabilistic learning framework for 3D prostate segmentation in MRI.	ICPR	2012	DBLP BibTeX RDF
31	Soumya Ghose, Jhimli Mitra, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Joan Carles Vilanova, Josep Comet, Desire Sidibé, Fabrice Mériaudeau	A Supervised Learning Framework for Automatic Prostate Segmentation in Trans Rectal Ultrasound Images.	ACIVS	2012	DBLP DOI BibTeX RDF
31	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard	Embedding of Biological Regulatory Networks and Property Preservation.	Math. Comput. Sci.	2011	DBLP DOI BibTeX RDF
31	Soumya Ghose, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Jhimli Mitra, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau	Multiple Mean Models of Statistical Shape and Probability Priors for Automatic Prostate Segmentation.	Prostate Cancer Imaging	2011	DBLP DOI BibTeX RDF
31	Soumya Ghose, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Jhimli Mitra, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau	Statistical Shape and Probability Prior Model for Automatic Prostate Segmentation.	DICTA	2011	DBLP DOI BibTeX RDF
31	Jean-Paul Comet, Jonathan Fromentin, Gilles Bernot, Olivier F. Roux	A Formal Model for Gene Regulatory Networks with Time Delays.	CSBio	2010	DBLP DOI BibTeX RDF
31	Sylvie Troncale, Jean-Paul Comet, Gilles Bernot	Enzymatic competition: Modeling and verification with timed hybrid petri nets.	Pattern Recognit.	2009	DBLP DOI BibTeX RDF
31	Gilles Bernot, Jean-Paul Comet	On the Use of Temporal Formal Logic to Model Gene Regulatory Networks.	CIBB	2009	DBLP DOI BibTeX RDF
31	Jamil Ahmad, Olivier F. Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard	Analysing formal models of genetic regulatory networks with delays.	Int. J. Bioinform. Res. Appl.	2008	DBLP DOI BibTeX RDF
31	Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, François Képès	Topology-based abstraction of complex biological systems: application to the Golgi apparatus.	Theory Biosci.	2008	DBLP DOI BibTeX RDF
31	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall	Property Preservation along Embedding of Biological Regulatory Networks.	AB	2008	DBLP DOI BibTeX RDF	Biological regulatory networks, mathematical modeling, computational tree logic, network embedding, property preservation
31	Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall	Graph Transformation for Topology Modelling.	ICGT	2008	DBLP DOI BibTeX RDF	topology-based geometric modelling, graph transformation, generalized map
31	Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall	Symbolic Modeling of Genetic Regulatory Networks.	J. Bioinform. Comput. Biol.	2007	DBLP DOI BibTeX RDF
31	Adrien Richard, Jean-Paul Comet	Necessary conditions for multistationarity in discrete dynamical systems.	Discret. Appl. Math.	2007	DBLP DOI BibTeX RDF
31	Daniel Mateus, Jean-Paul Comet, Jean-Pierre Gallois, Pascale Le Gall	Modelling genetic regulatory networks from specified behaviours.	BMC Syst. Biol.	2007	DBLP DOI BibTeX RDF
31	Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure	Topology-based Geometric Modelling for Biological Cellular Processes.	LATA	2007	DBLP BibTeX RDF
31	Didier Filopon, Annabelle Mérieau, Gilles Bernot, Jean-Paul Comet, Rozenne LeBerre, Benoit Guery, Benoit Polack, Janine Guespin-Michel	Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa.	BMC Bioinform.	2006	DBLP DOI BibTeX RDF
31	Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux	Delays in Biological Regulatory Networks (BRN).	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
31	Adrien Richard, Jean-Paul Comet, Gilles Bernot	R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics.	Fundam. Informaticae	2005	DBLP BibTeX RDF
31	Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu	Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
31	Adrien Richard, Jean-Paul Comet, Gilles Bernot	Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States.	CMSB	2004	DBLP DOI BibTeX RDF
31	Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux	Semantics of Biological Regulatory Networks.	BioConcur@CONCUR	2003	DBLP DOI BibTeX RDF
31	Jean-Paul Comet	Application of Max-Plus algebra to biological sequence comparisons.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
31	Sabine Pérès, Jean-Paul Comet	Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa.	CMSB	2003	DBLP DOI BibTeX RDF
31	Jean-Paul Comet, Jacques Henry	Pairwise Sequence Alignment using a PROSITE Pattern-derived Similarity Score.	Comput. Chem.	2002	DBLP DOI BibTeX RDF
31	Jean-Noël Bacro, Jean-Paul Comet	Sequence Alignment: An Approximation Law for the Z-value with Applications to Databank Scanning.	Comput. Chem.	2001	DBLP DOI BibTeX RDF
31	Jean-Paul Comet, Jean-Christophe Aude, Eric Glémet, Jean-Loup Risler, Alain Hénaut, Piotr P. Slonimski, Jean-Jacques Codani	Significance of Z-value Statistics of Smith-Waterman Scores for Protein Alignments.	Comput. Chem.	1999	DBLP DOI BibTeX RDF
31	Stig Comét	Über die Anwendung von Binärmodellen in der Theorie der Charaktere der symmetrischen Gruppen.	Numerische Mathematik	1959	DBLP DOI BibTeX RDF
25	Jiyun Xie	A New Flex Real-Time Messaging Framework.	NCM	2009	DBLP DOI BibTeX RDF	real-time messaging, HTTP, Comet
25	Suntae Kim, Jintae Kim, Sooyong Park, Dae-Kyoo Kim	GARDIAN: A Tool for Validating Rule-Based Modeling Methods.	QSIC	2009	DBLP DOI BibTeX RDF	Model, UML, Rule, COMET
25	Jonathan P. Bowen, Tim Bergin, Christopher H. Sterling	Reviews.	IEEE Ann. Hist. Comput.	2006	DBLP DOI BibTeX RDF	Halley's Comet, Work Projects Administration, time line, origins of the Internet, Silicon Valley, General Electric, Litton Industries, Shockley Semiconductor, Fairchild Semiconductor, human computers
25	Alexandre Demeure, Gaëlle Calvary, Joëlle Coutaz, Jean Vanderdonckt	The Comets Inspector: Towards Run Time Plasticity Control Based on a Semantic Network.	TAMODIA	2006	DBLP DOI BibTeX RDF	Concrete user interface, Ambient intelligence, Task modeling, Semantic network, Plasticity, Active model, Model-based approach, Abstract user interface, User interface eXtensible Markup Language, Comet
25	Alexandre Demeure, Gaëlle Calvary, Joëlle Coutaz, Jean Vanderdonckt	The Comets Inspector.	CADUI	2006	DBLP DOI BibTeX RDF	Abstract user interface model, Conceptual representation, Plasticity of user interfaces, Model-based design, Internal representation, External representation, Comet
25	Robert G. Pettit IV, Hassan Gomaa	Modeling behavioral design patterns of concurrent objects.	ICSE	2006	DBLP DOI BibTeX RDF	behavioral design patterns, software architecture, colored petri nets, COMET
25	Antonio Di Nola, Ada Lettieri	Finiteness based results in BL-algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF	BL-comet, Strong duality, Duality, BL-algebra
25	Manoj Kumar	Measuring Parallelism in Computation-Intensive Scientific/Engineering Applications.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	concurrency measurement tool, measuring parallelism, scientific/engineering applications, FORTRAN listings, parallel programming, parallel programming, parallelism, software tool, software tools, COMET, Fortran programs