Search results for "Comet"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Kei Nakanishi, Jianhua Ma, 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
2	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
2	Hatem Boujemaa, Insaf Jaafar, Rim Amara, Mohamed Siala	Joint azimuth, elevation, and time of arrival estimation of diffuse sources.	Annales 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
2	Siriwan Suebnukarn, Peter Haddawy	COMET: A Collaborative Tutoring System for Medical Problem-Based Learning.	IEEE Intelligent Systems	2007	DBLP DOI BibTeX RDF	Bayesian networks, intelligent tutoring systems, empirical evaluation, problem-based learning, computer-supported collaborative learning, medicine
2	Mi-Yen Yeh, Bi-Ru Dai, Ming-Syan Chen	COMET: Event-Driven Clustering over Multiple Evolving Streams.	PAKDD	2006	DBLP DOI BibTeX RDF
2	Laurent Michel, Pascal Van Hentenryck	The Comet Programming Language and System.	CP	2005	DBLP DOI BibTeX RDF
2	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
2	Bogdan Smolka, Rastislav Lukac	Segmentation of the Comet Assay Images.	ICIAR	2004	DBLP DOI BibTeX RDF
2	Johann Eder, Christian Koncilia, Tadeusz Morzy	The COMET Metamodel for Temporal Data Warehouses.	CAiSE	2002	DBLP BibTeX RDF
2	William S. Mark, Sherman Tyler, James McGuire, Jon 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
1	Mario Sansone, Olga Zeni, Giovanni Esposito	Automated segmentation of comet assay images using Gaussian filtering and fuzzy clustering.	Med. Biol. Engineering and Computing	2012	DBLP DOI BibTeX RDF
1	Soumya Ghose, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Jhimli Mitra, Joan Carles Vilanova, Josep Comet-Batlle, Fabrice Meriaudeau	Statistical shape and texture model of quadrature phase information for prostate segmentation.	Int. J. Computer Assisted Radiology and Surgery	2012	DBLP DOI BibTeX RDF
1	Justin D. Basilico, M. Arthur Munson, Tamara G. Kolda, Kevin R. Dixon, W. Philip Kegelmeyer	COMET: A Recipe for Learning and Using Large Ensembles on Massive Data	CoRR	2011	DBLP BibTeX RDF
1	Thomas Lingner, Kathrin Petra Aßhauer, Fabian Schreiber, Peter Meinicke	CoMet - a web server for comparative functional profiling of metagenomes.	Nucleic Acids Research	2011	DBLP DOI BibTeX RDF
1	Musfiq Rahman, Bruce R. Childers, Sangyeun Cho	COMeT: Continuous Online Memory Test.	PRDC	2011	DBLP DOI BibTeX RDF
1	Justin D. Basilico, M. Arthur Munson, Tamara G. Kolda, Kevin R. Dixon, W. Philip Kegelmeyer	COMET: A Recipe for Learning and Using Large Ensembles on Massive Data.	ICDM	2011	DBLP DOI BibTeX RDF
1	Sohaib Ahmed, David Parsons	COMET: Context Ontology for Mobile Education Technology.	AIED	2011	DBLP DOI BibTeX RDF
1	Khalad Hasan, Tovi Grossman, Pourang Irani	Comet and target ghost: techniques for selecting moving targets.	CHI	2011	DBLP DOI BibTeX RDF
1	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard	Embedding of Biological Regulatory Networks and Property Preservation.	Mathematics in Computer Science	2011	DBLP DOI BibTeX RDF
1	Soumya Ghose, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Jhimli Mitra, Joan Carles Vilanova, Josep Comet, Fabrice Meriaudeau	Statistical Shape and Probability Prior Model for Automatic Prostate Segmentation.	DICTA	2011	DBLP DOI BibTeX RDF
1	Soumya Ghose, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Jhimli Mitra, Joan Carles Vilanova, Josep Comet, Fabrice Meriaudeau	Multiple Mean Models of Statistical Shape and Probability Priors for Automatic Prostate Segmentation.	Prostate Cancer Imaging	2011	DBLP DOI BibTeX RDF
1	Sen Zhang, Jinsong Tang, Ming Chen, San-wen Zhu, Hailiang Yang	Image Autocoregistration and Interferogram Estimation Using Extended COMET-EXIP Method.	IEEE T. Geoscience and Remote Sensing	2010	DBLP DOI BibTeX RDF
1	Bingsheng He, Mao Yang, Zhenyu Guo, Rishan Chen, Bing Su, Wei Lin, Lidong Zhou	Comet: batched stream processing for data intensive distributed computing.	SoCC	2010	DBLP DOI BibTeX RDF
1	Roxana Geambasu, Amit A. Levy, Tadayoshi Kohno, Arvind Krishnamurthy, Henry M. Levy	Comet: An active distributed key-value store.	OSDI	2010	DBLP BibTeX RDF
1	Laurent D. Michel	Parallelizing constraint programs.	DAMP	2010	DBLP DOI BibTeX RDF	constraint-based local search, parallel programming, constraint programming
1	Laurent D. Michel, Andrew See, Pascal Van Hentenryck	Parallel and distributed local search in COMET.	Computers & OR	2009	DBLP DOI BibTeX RDF
1	Walter Balzano, Maria Rosaria Del Sorbo, Luca Di Liberto	A Scheme of Strategies for Real-time Web Collaboration based on AJAX/Comet Techniques for Live RIA.	ICEIS	2009	DBLP BibTeX RDF
1	Moustapha Ould El Aoun, Hatem Boujemaa, Mohamed Siala	Performance of MUSIC and COMET Algorithms in the Presence of Scatterers in a 3-D Hemispheroid Surrounding the Source.	VTC Spring	2009	DBLP DOI BibTeX RDF
1	Jiyun Xie	A New Flex Real-Time Messaging Framework.	NCM	2009	DBLP DOI BibTeX RDF	real-time messaging, HTTP, Comet
1	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
1	Tyler J. Gunn, Pourang Irani, John Anderson	An evaluation of techniques for selecting moving targets.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	moving target selection, fitts' law, target selection
1	Pierre Schaus, Pascal Van Hentenryck, Jean-Charles Régin	Scalable Load Balancing in Nurse to Patient Assignment Problems.	CPAIOR	2009	DBLP DOI BibTeX RDF
1	Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon	Constraint-Based Graph Matching.	CP	2009	DBLP DOI BibTeX RDF
1	Sylvie Troncale, Jean-Paul Comet, Gilles Bernot	Enzymatic competition: Modeling and verification with timed hybrid petri nets.	Pattern Recognition	2009	DBLP DOI BibTeX RDF
1	Gilles Bernot, Jean-Paul Comet	On the Use of Temporal Formal Logic to Model Gene Regulatory Networks.	CIBB	2009	DBLP DOI BibTeX RDF
1	Yasuhiro Ito, Yutaka Sugawara, Mary Inaba, Kei Hiraki	CVC: The C to RTL compiler for callback-based verification model.	FPL	2008	DBLP DOI BibTeX RDF
1	Jamil Ahmad, Olivier Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard	Analysing formal models of genetic regulatory networks with delays.	IJBRA	2008	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Junhee Lee, Sue J. Lee, Yeonchool Park, Sukhan Lee	Object Recognition Architecture Using Distributed and Parallel Computing with Collaborator.	GrC	2007	DBLP DOI BibTeX RDF
1	Robert G. Pettit IV, Hassan Gomaa	Analyzing Behavior of Concurrent Software Designs for Embedded Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Yifeng Sun, David Levy	A Software Process for Modeling Complex Systems with UML-RT.	TASE	2007	DBLP DOI BibTeX RDF
1	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
1	Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux	Semantics of Biological Regulatory Networks.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall	Symbolic Modeling of Genetic Regulatory Networks.	J. Bioinformatics and Computational Biology	2007	DBLP DOI BibTeX RDF
1	Adrien Richard, Jean-Paul Comet	Necessary conditions for multistationarity in discrete dynamical systems.	Discrete Applied Mathematics	2007	DBLP DOI BibTeX RDF
1	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
1	Ahmed Zoubir, Yide Wang, Pascal Chargé	A modified COMET-EXIP method for estimating a scattered source.	Signal Processing	2006	DBLP DOI BibTeX RDF
1	Hamdan Msheik, Alain Abran, Hamid Mcheick, Dimitrios Touloumis, Adel Khelifi	CoMet: A Tool Using CUMM to Measure Unused Component Members.	AICCSA	2006	DBLP DOI BibTeX RDF
1	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
1	Jonathan P. Bowen, Tim Bergin, Christopher H. Sterling	Reviews.	IEEE Annals of the History of Computing	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
1	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
1	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
1	Hassan Gomaa	Designing concurrent, distributed, and real-time applications with UML.	ICSE	2006	DBLP DOI BibTeX RDF
1	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
1	Zhen Li, Manish Parashar	An Infrastructure for Dynamic Composition of Grid Services.	GRID	2006	DBLP DOI BibTeX RDF
1	Vladimir Spinko, Daming Shi, Wan Sing Ng	Endoscope Tracking Using Wavelet-Gravitation Network Incorporated with Kalman Filter.	ICTAI	2006	DBLP DOI BibTeX RDF
1	Ranjit Kumar Barai, Kenzo Nonami	Robust Adaptive Fuzzy Control Law for Locomotion Control of a Hexapod Robot Actuated by Hydraulic Actuators with Dead Zone.	IROS	2006	DBLP DOI BibTeX RDF
1	Laurent Michel, Andrew See, Pascal Van Hentenryck	Distributed Constraint-Based Local Search.	CP	2006	DBLP DOI BibTeX RDF
1	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
1	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
1	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 Bioinformatics	2006	DBLP DOI BibTeX RDF
1	Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux	Delays in Biological Regulatory Networks (BRN).	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Hatem Boujemâa	Signal Processing Extension of COMET algorithm to multiple diffuse source localization in azimuth and elevation.	European Transactions on Telecommunications	2005	DBLP DOI BibTeX RDF
1	Laurent Michel, Pascal Van Hentenryck	Parallel Local Search in Comet.	CP	2005	DBLP DOI BibTeX RDF
1	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
1	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
1	Pascal Van Hentenryck, Laurent Michel	Control Abstractions for Local Search.	Constraints	2005	DBLP DOI BibTeX RDF	search, heuristic, constraint, control, abstraction, local search, meta-heuristic, incremental, neighborhood
1	Adrien Richard, Jean-Paul Comet, Gilles Bernot	R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics.	Fundam. Inform.	2005	DBLP BibTeX RDF
1	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
1	Alexander Nyßen, Peter Müller, Jan Suchotzki, Horst Lichter	Erfahrungen bei der systematischen Entwicklung kleiner eingebetteter Systeme mit der COMET-Methode.	Modellierung	2004	DBLP BibTeX RDF
1	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
1	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
1	Takashi Masuyama, Frédéric Peschanski, Yoshihiro Oyama, Akinori Yonezawa	MobileScope: A Programming Language with Objective Mobility.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Laurent Michel	Scheduling Abstractions for Local Search.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Andreas Ekenbäck, Mats Holmström	MHD Modeling of the Interaction Between the Solar Wind and Solar System Objects.	PARA	2004	DBLP DOI BibTeX RDF
1	Adrien Richard, Jean-Paul Comet, Gilles Bernot	Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States.	CMSB	2004	DBLP DOI BibTeX RDF
1	Olfa Dâassi, Gaëlle Calvary, Joëlle Coutaz, Alexandre Demeure	Comet: a new generation of widget for supporting user interface plasticity.	IHM	2003	DBLP DOI BibTeX RDF	multi-targeting, plasticity of user interfaces, adaptation, widget, context of use, interactor
1	Laurent Michel, Pascal Van Hentenryck	Comet in Context.	PCK50	2003	DBLP BibTeX RDF
1	Zoltán Turányi, András Gergely Valkó, Andrew T. Campbell	4+4: an architecture for evolving the Internet address space back toward transparency.	Computer Communication Review	2003	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Laurent Michel	Control Abstractions for Local Search.	CP	2003	DBLP DOI BibTeX RDF
1	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
1	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
1	Sabine Peres, Jean-Paul Comet	Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa.	CMSB	2003	DBLP DOI BibTeX RDF
1	Laurent Michel, Pascal Van Hentenryck	A constraint-based architecture for local search.	OOPSLA	2002	DBLP DOI BibTeX RDF	optimization, constraint, local search, incrementality
1	Frédéric Peschanski	A Versatile Event-Based Communication Model for Generic Distributed Interactions.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	Asynchronous computation models, Publish/Subscribe protocols, Dynamic adaptability, Event-Based Systems
1	Jean-Paul Comet, Jacques Henry	Pairwise Sequence Alignment using a PROSITE Pattern-derived Similarity Score.	Computers & Chemistry	2002	DBLP DOI BibTeX RDF
1	Xiaowei Zhang, Javier Gomez Castellanos, Andrew T. Campbell	P-MIP: paging in mobile IP.	WOWMOM	2001	DBLP DOI BibTeX RDF	Internet, IP
1	Jean-Noël Bacro, Jean-Paul Comet	Sequence Alignment: An Approximation Law for the Z-value with Applications to Databank Scanning.	Computers & Chemistry	2001	DBLP DOI BibTeX RDF
1	Andrew Edie Johnson, A. Miguel San Martin	Motion Estimation from Laser Ranging for Autonomous Comet Landing.	ICRA	2000	DBLP BibTeX RDF
1	Hassan Gomaa	Designing real-time and distributed applications with the UML (tutorial session).	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, real-time, software design, distributed application
1	Steve A. Chien, Russell Knight, Gregg Rabideau	An Empirical Evaluation of the Effectiveness of Local Search for Replanning.	Local Search for Planning and Scheduling	2000	DBLP DOI BibTeX RDF
1	William C. Regli, Xiaochun Hu, Michael Atwood, Wei Sun 0003	A Survey of Design Rationale Systems: Approaches, Representation, Capture and Retrieval.	Eng. Comput. (Lond.)	2000	DBLP BibTeX RDF	Design history, Design rationale capture, Engineering design process, Knowledge management, User interface design, software design, Design intent
1	Gregory O. Khanlarov, German A. Lukianov	DSMC of the Inner Atmosphere of a Comet on Shared Memory Multiprocessors.	HPCN	1999	DBLP DOI BibTeX RDF
1	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.	Computers & Chemistry	1999	DBLP DOI BibTeX RDF
1	C. Harrison, J. D. Pearson, R. F. Bilton, D. R. Burton, J. Roberts	The Comet Moment Ratio and other Parameters obtained by Applying Image Processing Techniques and Feature Extraction to the SCGE Assay. (PDF / PS)	CBMS	1998	DBLP DOI BibTeX RDF
1	Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv	User Defined Coverage - A Tool Supported Methodology for Design Verification.	DAC	1998	DBLP DOI BibTeX RDF	high-level synthesis, telecommunication
1	Steven Feiner, Kathleen McKeown	An analysis of COMET and MAGIC using the standard reference model for intelligent multimedia presentation systems.	Computer Standards & Interfaces	1997	DBLP DOI BibTeX RDF
1	Robert Nado, Melanie Chams, Jeff Delisio, Walter Hamscher	COMET: An Application of Model-Based Reasoning to Accounting Systems.	AI Magazine	1996	DBLP BibTeX RDF